Обнаружение и исправление нарушений проверки Model Advisor

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

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

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

Рисунки показывают фрагменты sldemo_fuelsys модель. Модель верхнего уровня является системой с обратной связью, которая состоит из объекта (Engine Gas Dynamics) и контроллера (подсистема управления расходом топлива). Этот объект позволяет инженерам проверять контроллер посредством симуляции в начале рабочего цикла. Логика управления является диаграммой Stateflow, которая задает различные режимы работы.

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

  1. Установите текущую папку в директорию с возможностью записи.

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

    openExample('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 diagnostic 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.

Затем соберите метрические данные о модели и исправьте другие проблемы податливости с помощью панели мониторинга метрики.