Обнаружение и исправление нарушений проверки Model Advisor
Model Advisor проверяет вашу модель или подсистему на условия моделирования и настройки строения, которые вызывают неточную или неэффективную симуляцию и неэффективные сгенерированные коды и код, которые непригодны для критически важных для безопасности приложений. Проверки Model Advisor могут помочь вам проверить податливость отраслевым стандартам и руководствам. Используя Model Advisor, можно реализовать согласованные руководства по моделированию между проектами и командами разработчиков.
Подмножество проверок Model Advisor поддерживает проверку во время редактирования. С проверкой во время редактирования можно проверить условия модели во время разработки модели. Подсвеченные блоки в окне редактора моделей предупреждают вас о проблемах в модели.
Это руководство использует модель примера sldemo_fuelsys. Эта модель является системой управления составом топливно-воздушной смеси, разработанной Simulink и Stateflow.
Рисунки показывают фрагменты sldemo_fuelsys модель. Модель верхнего уровня является системой с обратной связью, которая состоит из объекта (Engine Gas Dynamics) и контроллера (подсистема управления расходом топлива). Этот объект позволяет инженерам проверять контроллер посредством симуляции в начале рабочего цикла. Логика управления является диаграммой Stateflow, которая задает различные режимы работы.
Обнаружение и исправление нарушений проверки Model Advisor во время редактирования
Установите текущую папку в директорию с возможностью записи.
Откройте модель
sldemo_fuelsysпутем ввода этой команды:openExample('sldemo_fuelsys')Чтобы использовать проверку во время редактирования, на вкладке Modeling, выберите Model Advisor > Edit-Time Checks.
Подсвеченные блоки и подсистемы указывают на проблемы податливости.
Наведите паузу на подсвеченный блок и щелкните значок предупреждения. Диалоговое окно содержит описание предупреждения. Для получения подробной документации о проверке, обнаружившей проблему, щелкните вопросительный знак. Эти блоки содержат предупреждения во время редактирования из-за неправильных имен блоков.
Чтобы исключить блок из выбранной проверки, можно нажать кнопку Suppress.
Откройте
Engine Gas Dynamicsпри помощи двойного щелчка по нему. Пауза надair/fuel ratioВыход порт и нажатие кнопки значок предупреждения.
Этот выходной порт возвращает предупреждения, поскольку его имя нарушает две проверки: Проверяйте на неподдерживаемые имена блоков и Проверяйте имена блоков портов.
Адресовать предупреждения путем замены
/символ и пространство в имени блока с символами нижнего подчеркивания. Блок больше не подсвечивается.Адресуйте предупреждения для других подсвеченных блоков в
Engine Gas Dynamicsподсистема.
Обнаружение и исправление нарушений Model Advisor в интерактивном режиме
На вкладке Modeling выберите Model Advisor.
Выберите модель верхнего уровня
sldemo_fuelsysв иерархии систем и нажмите кнопку OK.На левой панели в папке 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
Щелкните правой кнопкой мыши DO-178C/DO-331 Checks узлу и выберите Run Selected Checks.
Чтобы просмотреть параметры конфигурации, не установленные на рекомендуемые значения, нажмите Check safety-related diagnostic settings for solvers.
Чтобы обновить параметры до рекомендуемых значений, на правой панели нажмите Modify Settings.
Model Advisor обновляет параметры до рекомендуемых значений и детализирует результат.
Повторите шаг 6 для проверки Check safety-related diagnostic settings for sample time.
Чтобы убедиться, что ваша модель теперь прошла, перезапустите проверки.
Чтобы сгенерировать отчет о результатах проверок Simulink Check, выберите узел DO-178C/DO-331 Checks, а затем в правой панели нажмите Generate Report.
Закройте Model Advisor.
Затем соберите метрические данные о модели и исправьте другие проблемы податливости с помощью панели мониторинга метрики.