| Атрибут | Ограничение | КРИТИЧЕСКИЙ / Нефатальный | Проверка совместимости |
|---|---|---|---|
| Несвязанные объекты | Не должно быть несвязанных строк, входных портов или выходных портов в модели или подсистеме. Это помогает предотвратить мертвый код и скрытые наземные блоки. | Нефатальный | Check for unconnected objects in the model |
| Функциональные спецификации | Модель не может задать пользовательских образцовых прототипов функции записи. Установка Configure arguments for Step function prototype в диалоговом окне Configure C Step Function Interface должна быть очищена. | Нефатальный | Check C Step Function Interface setting |
| Условное входное выполнение ответвления | При использовании условного входного выполнения ответвления:
| Нефатальный | Check conditional input branch execution setting |
| Неподдерживаемые блоки | Не должно быть блоков в модели, которые не поддержаны Simulink® Code Inspector™. | Нефатальный | Check for unsupported blocks |
| Классы памяти для переменных рабочей области |
Модель не может сослаться на переменные рабочей области, которые не поддержаны ни по одной из этих причин:
| Нефатальный | Check storage class for workspace variables |
| GetSet пользовательские классы памяти для переменных рабочей области |
Для переменных рабочей области, которые используют
| Нефатальный | Check GetSet storage class for workspace variables |
| Использование шагов расчета | Модель не может использовать непрерывный, асинхронный, явный дискретный раздел, управляемый данными, объединение, экспортировал дискретные, или переменные шаги расчета. | КРИТИЧЕСКИЙ | Check for sample times in the model> Check sample times |
| Явные разделы | Модель не должна содержать явные разделы. | КРИТИЧЕСКИЙ | Check for sample times in the model> Check for explicit partitions |
| Автоматическая вставка Преобразования Сигнала блокируется на сигналах, вводящих импорт блока | Автоматическая вставка блока Signal Conversion на сигнале, вводящем импорт блока, не поддержана для инспекции кода. Это создает скрытый блок Signal Conversion, который не поддержан для инспекции кода. | Нефатальный | Check for Signal Conversion blocks automatically inserted on signals entering block input ports> Verify no Signal Conversion blocks are automatically inserted on signals entering block inports |
| Инструментирование фиксированной точки и сокращение блока оба выбранные | Одновременное использование инструментирования фиксированной точки и сокращение блока не поддержаны для инспекции кода. | Нефатальный | Check for usage of fixed-point instrumentation> Verify usage of fixed-point instrumentation |
| Условное присвоение корневых блоков Выходного порта | Если корневой класс памяти выходного порта установлен в Auto, когда это использовало в модели, на которую ссылаются, это не может быть непосредственно соединено с условно выполняемыми подсистемами. | Нефатальный | Check for root Outport blocks being conditionally assigned |
| Корневые шаги расчета блока Outport | Корневые блоки Выходного порта не должны быть постоянными. Это ограничение препятствует тому, чтобы корневое присвоение выходного порта было перемещено в модель, инициализируют функцию, которая заставила бы образцовые функции приводить валидацию к сбою. | Нефатальный | Check usage of root Outport blocks> Verify sample times |
| Корневая шина блока Output передающий метод | Корневой блок Outport, который передает шину родительской модели, должен передать шину как структуру. В противном случае программное обеспечение Simulink может вставить скрытый блок Signal Conversion в родительскую модель, которая не поддержана для инспекции кода. Для каждого экземпляра параметры блоков Выходного порта должен быть выбран Output as nonvirtual bus in parent model (BusOutputAsStruct). | Нефатальный | Check usage of root Outport blocks> Verify root Outports pass buses to parent models as structures |
| Автоматический виртуальный к невиртуальному преобразованию шины | Автоматическое преобразование между виртуальными и невиртуальными шинами не поддержано для инспекции кода. Это создает скрытый блок Signal Conversion, который не поддержан для инспекции кода. | КРИТИЧЕСКИЙ | Check usage of buses> Check for automatic conversion between virtual to nonvirtual buses |
| Блочные операции на шине | Невиртуальный блок не должен работать с виртуальной шиной, и блок Bus Assignment не должен работать с невиртуальной шиной. Это ограничение упрощает обработку шины, чтобы продвинуть трассируемость и удобочитаемость сгенерированного кода. | КРИТИЧЕСКИЙ | Check usage of buses> Verify that blocks in the model do not perform unsupported operations on a bus |
| Замена типа данных | Заменяющие имена в таблице Data Type Replacement должны иметь тип Simulink. AliasType. | Нефатальный | Check data type replacement names |
| Шаги расчета для модели, используемой в качестве цели модели-ссылки | Модель, используемая в качестве цели модели-ссылки, не должна иметь нескольких шагов расчета. | Нефатальный | Check for sample times in model used as model reference target |
| Прокомментированные блоки | Модель не должна содержать блоки, которые комментируются. | Нефатальный | Check model for commented out blocks |
| Оснащенные сигналы | Модель не должна использовать оснащенные сигналы. | Нефатальный | Check model for instrumented signals |
| Имена функций для невстроенных подсистем с пустыми пустотой интерфейсами вызова функции | В модели невстроенные подсистемы с пустыми пустотой интерфейсами вызова функции должны использовать уникальные имена функций. | КРИТИЧЕСКИЙ | Check model for void_void subsystems that use the same function name |
| Совместно использованный синтезировал локальные хранилища данных |
Вы не должны использовать объекты сигнала в рабочем пространстве модели, на которые ссылаются как синтезируемые локальные хранилища данных блоки Записи Чтения или Хранилища данных Хранилища данных. | Нефатальный | Check for usage of synthesized local data stores |
| Допускающие повторное использование подсистемы | Допускающие повторное использование подсистемы с тем же функциональным интерфейсом должны прибыть из тех же блоков библиотеки. | Нефатальный | Check model for reusable subsystems that use the same function interfaces |
| Настройки Code Mapping | В Коде, Сопоставляющем Редактор, на вкладке Data Defaults под Code Mappings-C, каждая категория элемента модели должна использовать установку класса памяти | Нефатальный | Check for unsupported Code Mapping settings |
| Установка структуры папок генерации кода | В Настройках Simulink, на панели General, опция Code generation folder structure должна быть установлена в | КРИТИЧЕСКИЙ | Check the code generation folder structure for the model |
| Графический отсортированный порядок | Скомпилированный черный список модели должен совпадать с графическим блоком отсортированный порядок. | Нефатальный | Check model for compiled and graphical block sorted order |
| Настройки символов генерации кода для разделяемых утилит | Для контроля разделяемых утилит Локальные временные переменные должны быть установлены в значение по умолчанию, $N$M и Разделяемый сервисный формат идентификатора должны быть установлены в значение по умолчанию $N$C. | Нефатальный | Check usage of shared utilities> Check code generation symbols settings for shared utils inspection |
| Стандартная математическая установка библиотеки для разделяемых утилит | Для контроля разделяемых утилит Стандартная математическая библиотека должна быть установлена в C89/C90 (ANSI). | Нефатальный | Check usage of shared utilities> Check standard math library settings for shared utils inspection |
| Параметры стиля кода для разделяемых утилит | Для контроля разделяемых утилит уровень Круглых скобок должен быть установлен в Nominal. | Нефатальный | Check usage of shared utilities> Check code style settings for shared utils inspection |
| Образцовые аргументы | Образцовые аргументы не должны иметь класса памяти. | Нефатальный | Check model arguments for storage classes |
