Строение модели

Simulink® Code Inspector™ требует, чтобы вы задали подмножество значений обоих:

Для каждых Параметров конфигурации диалоговой панели или другой категории атрибутов модели таблица содержит:

  • Категория имени; имена диалоговых панелей ссылка на полное описание диалоговых панелей

  • Ограничения, которые применяются к каждому перечисленному параметру конфигурации модели или атрибуту модели

Пример таблицы показан ниже. Для каждой записи:

  • В Parameter столбце приводится имя диалогового окна параметра с именем командной строки параметра в круглых скобках. (Для записей атрибута модели, первый столбец идентифицирует атрибут.)

  • В Constraint столбце перечислено ограничение Simulink Code Inspector на параметр или атрибут модели.

  • Столбец FATAL / Nonfatal определяет, прекращает ли нарушение ограничения инспекцию кода.

    • При проверке кода, сгенерированного из моделей с несовместимостью FATAL, инспекция кода прекращается. Код, сгенерированный из моделей с несовместимостью FATAL, не может быть проверен.

    • Когда вы проверяете код, сгенерированный из моделей с нефатальными несовместимостями, инспекция кода не прекращается. Несмотря на невозможность полной проверки сгенерированного кода, инспекция кода продолжается. Simulink Code Inspector может частично проверить сгенерированный код. Можно сконфигурировать инспекцию кода так, чтобы нефатальное нарушение ограничений завершало инспекцию кода.

  • В Compatibility Check столбце перечислены проверки совместимости, которая проверяет на нарушение ограничения, и ссылки на описание проверки.

Панель решателя
ПараметрОграничениеFATAL/НефатальныйПроверка совместимости
Type (SolverType)Необходимо задать значение Fixed-step.НеокончательныйCheck solver settings> Verify 'Type' setting
Solver (Solver)Необходимо задать значение Discrete (no continuous states) (эквивалентно FixedStepDiscrete указывается в командной строке).НеокончательныйCheck solver settings> Verify 'Solver' setting

Похожие темы