Simulink® Code Inspector™ требует, чтобы вы задали подмножество значений обоих:
Параметры конфигурации Simulink. Для необходимых установок параметров Диалогового окна Параметров конфигурации смотрите Ограничения Параметра конфигурации.
Атрибуты всей модели. Для необходимых настроек смотрите Ограничения Атрибута Всей модели.
Для каждой диалоговой панели Параметров конфигурации или другой категории атрибутов моделей, обеспечивает таблица:
Название категории; диалоговые имена панели соединяются с полным диалоговым описанием панели
Ограничения, которые применяются к каждому перечисленному параметру конфигурации модели или атрибуту модели
Демонстрационную таблицу показывают ниже. Для каждой записи:
Списки столбцов Parameter имя диалогового окна параметра, с именем командной строки параметра в круглых скобках. (Для записей атрибута модели первый столбец идентифицирует атрибут.)
Списки столбцов Constraint ограничение Simulink Code Inspector на параметр модели или атрибут.
Столбец FATAL / Nonfatal идентифицирует, отключает ли нарушение ограничения инспекцию кода.
Когда вы смотрите код, сгенерированный из моделей с КРИТИЧЕСКОЙ несовместимостью, инспекция кода завершает работу. Код, сгенерированный из моделей с КРИТИЧЕСКИМИ несовместимостями, не может быть проверен.
Когда вы смотрите код, сгенерированный из моделей с нефатальными несовместимостями, инспекция кода не завершает работу. Несмотря на то, что не может быть возможно полностью проверить сгенерированный код, инспекция кода продолжается. Simulink Code Inspector может частично проверить сгенерированный код. Можно сконфигурировать инспекцию кода так, чтобы нефатальное нарушение ограничений отключило инспекцию кода.
Списки столбцов Compatibility Check проверка совместимости, которая проверяет на нарушение ограничения и соединяется с описанием проверки.
| Панель решателя (Simulink) | |||
|---|---|---|---|
| Параметр | Ограничение | КРИТИЧЕСКИЙ / Нефатальный | Проверка совместимости |
Type (Simulink) (SolverType) | Должен быть установлен в Fixed-step. | Нефатальный | Check solver settings> Verify 'Type' setting |
Solver (Simulink) (Solver) | Должен быть установлен в Discrete (no continuous states) (эквивалентный FixedStepDiscrete заданный в командной строке). | Нефатальный | Check solver settings> Verify 'Solver' setting |
