Проверяйте на податливость стандартов в своей модели
С Simulink® Check™ Model Advisor может проверять на условия модели что генерация причины неэффективного кода или кода, неподходящего для важных приложений безопасности.
Model Advisor представляет отчет, который перечисляет субоптимальные условия или настройки, которые он находит. Model Advisor предлагает лучшие настройки конфигурации модели.
Обнаружьте и зафиксируйте нарушения проверки Model Advisor при помощи разовой редактированием проверки
В Model Advisor можно проверять, что модель выполняет определенные инструкции, в то время как вы редактируете.
Открытая модель
sf_boiler.Чтобы использовать разовую редактированием проверку, на вкладке Modeling, выбирают Model Advisor> Edit-Time Checks.
Подсвеченные блоки и подсистемы указывают на проблемы соответствия. Установите свой курсор на подсвеченный блок и кликните по значку предупреждения. Диалоговое окно предоставляет описание предупреждения. Для подробной документации относительно проверки, которая обнаружила проблему, кликните по вопросительному знаку. В этом случае предупреждение указывает, что имя блока подсистемы содержит неправильные символы.
Откройте график Bang-Bang Controller путем двойного клика по нему. Model Advisor подсвечивает несколько состояний. Установите свой курсор на предупреждение состояния Off рассмотреть проблему.
Выберите предупреждение. Model Advisor указывает, что должна быть новая строка после en:, чтобы выполнить инструкции MAAB. В вашей модели установите свой курсор после en: и нажмите Enter. Новая линия добавлена, и предупреждение очищено.
Обнаружьте нарушения проверки Model Advisor в интерактивном режиме
Можно в интерактивном режиме проверять, что модель выполняет DO-178C/DO-331 инструкции при помощи Model Advisor.
Открытая модель
sf_boiler.На вкладке Modeling выберите Model Advisor.
Выберите модель
sf_boilerверхнего уровняот Системной иерархии и нажимают OK.
На левой панели, на папке By Product > Simulink Check > Modeling Standards >DO-178C/DO-331 Checks, выберите:
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 optimization settings for logical signals.
Чтобы обновить параметры оптимизации к рекомендуемым значениям, нажмите кнопку Modify Settings в разделе Action правой панели. Model Advisor обновляет параметры к рекомендуемому значению и детализирует результаты.
Повторите шаги 1 и 2 для других двух проверок: Check safety-related diagnostic settings for solvers и Check safety-related diagnostic settings for sample time.
Чтобы проверить, что ваша модель теперь передает, повторно выполняет выбранные проверки.
Отобразите отчет HTML результатов проверки
Чтобы сгенерировать отчет результатов проверок Simulink Check, выбор узел DO-178C/DO-331 Checks, и затем, на правой панели нажимают Generate Report.