Обнаружьте и зафиксируйте нарушения проверки Model Advisor

Model Advisor проверяет вашу модель или подсистему для моделирования условий и параметров конфигурации, которые вызывают неточную или неэффективную симуляцию и неэффективный сгенерированный код и код, который является неподходящим для важных приложений безопасности. Проверки Model Advisor могут помочь вам проверить податливость с промышленными стандартами и инструкциями. При помощи Model Advisor можно реализовать сопоставимые руководства по моделированию через проекты и группы разработчиков.

Подмножество проверок Model Advisor поддерживает разовую редактированием проверку. С разовой редактированием проверкой можно проверять на условия модели, в то время как вы разрабатываете модель. Подсвеченные блоки в окне редактора моделей предупреждают вас к проблемам в модели.

Этот пример использует модель sldemo_fuelsys в качестве примера. Эта модель является системой управления состава топливно-воздушной смеси, спроектированной с Simulink и Stateflow.

Рисунки показывают фрагменты sldemo_fuelsys модель. Модель верхнего уровня является системой с обратной связью, которая состоит из объекта (Динамика Газа Engine) и контроллер (Топливная подсистема Управления Уровнем). Объект позволяет инженерам подтверждать контроллер посредством симуляции рано в рабочем цикле. Управляющей логикой является диаграмма Stateflow, которая задает различные режимы работы.

Обнаружьте и зафиксируйте нарушения проверки Model Advisor, в то время как вы редактируете

  1. Установите свою текущую папку на writeable директорию.

  2. Откройте модель sldemo_fuelsys путем ввода этой команды:

    open_system('sldemo_fuelsys')
  3. Чтобы использовать разовую редактированием проверку, на вкладке Modeling, выбирают Model Advisor> Edit-Time Checks.

    Подсвеченные блоки и подсистемы указывают на проблемы соответствия.

  4. Сделайте паузу по подсвеченному блоку и кликните по значку предупреждения. Диалоговое окно предоставляет описание предупреждения. Для подробной документации относительно проверки, которая обнаружила проблему, кликните по вопросительному знаку. Эти блоки содержат разовые редактированием предупреждения из-за неправильных имен блока.

    Чтобы исключить блок из выбранной проверки, можно нажать Suppress.

  5. Откройте Engine Gas Dynamics подсистема путем двойного клика по нему. Сделайте паузу по air/fuel ratio выходной порт и нажатие кнопки значок предупреждения.

    Этот выходной порт возвращает предупреждения, потому что его имя нарушает две проверки: использование Контрольного символа в именах блока и именах блокировки порта Проверки.

  6. Обратитесь к предупреждениям, заменив / символ и пробел в имени блока с символами нижнего подчеркивания. Блок больше не подсвечивается.

  7. Обратитесь к предупреждениям для других подсвеченных блоков в Engine Gas Dynamics подсистема.

Обнаружьте и зафиксируйте нарушения проверки Model Advisor в интерактивном режиме

  1. На вкладке Modeling выберите Model Advisor.

  2. Выберите модель sldemo_fuelsys верхнего уровня от Системной иерархии и нажимают OK.

  3. На левой панели, на папке By Product> Simulink Check> Model Standards> DO-178C/DO-331, выберите:

    • Check safety-related diagnostic settings for solvers

    • Check safety-related diagnostic settings for sample time

    • Check safety-related optimization settings for logic signals

  4. Щелкните правой кнопкой по узлу DO-178C/DO-331 Checks, и затем выберите Run Selected Checks.

  5. Чтобы рассмотреть параметры конфигурации, которые не установлены в рекомендуемые значения, нажмите Check safety-related optimization settings for solvers.

  6. Чтобы обновить параметры к рекомендуемым значениям, на правой панели, нажимают Modify Settings.

    Model Advisor обновляет параметры к рекомендуемым значениям и детализирует результат.

  7. Повторите шаг 6 для проверки Check safety-related diagnostic settings for sample time.

  8. Чтобы проверить, что ваша модель теперь передает, повторно выполняет проверки.

  9. Чтобы сгенерировать отчет результатов проверок Simulink Check, выбор узел DO-178C/DO-331 Checks, и затем, на правой панели нажимают Generate Report.

  10. Закройте Model Advisor.

Затем соберите метрические данные по модели и зафиксируйте другие проблемы соответствия при помощи Метрической Инструментальной панели.