С Simulink® Check™ Model Advisor может проверять на образцовые условия что генерация причины неэффективного кода или кода, неподходящего для важных приложений безопасности.
Model Advisor представляет отчет, который перечисляет субоптимальные условия или настройки, которые он находит. Model Advisor предлагает лучшие настройки конфигурации модели.
В Model Advisor можно проверять, что модель выполняет определенные инструкции, в то время как вы редактируете.
Открытая модель sf_boiler.
Чтобы использовать разовую редактированием проверку, перейдите к Analysis> Model Advisor> Display Advisor Checks in Editor.
Подсвеченные блоки и подсистемы указывают на проблемы соответствия. Установите свой курсор на подсвеченный блок и кликните по значку предупреждения. Диалоговое окно предоставляет описание предупреждения. Для подробной документации относительно проверки, которая обнаружила проблему, кликните по вопросительному знаку. В этом случае предупреждение указывает, что имя блока подсистемы содержит неправильные символы.
Откройте график Bang-Bang Controller путем двойного клика по нему. Model Advisor подсвечивает несколько состояний. Установите свой курсор на предупреждение состояния Off рассмотреть проблему.
Выберите предупреждение. Model Advisor указывает, что должна быть новая строка после en:, чтобы выполнить инструкции MAAB. В вашей модели установите свой курсор после en: и нажмите Enter. Новая строка добавляется, и предупреждение очищено.
Можно в интерактивном режиме проверять, что модель выполняет DO-178C/DO-331 инструкции при помощи Model Advisor.
Открытая модель sf_boiler.
В окне модели выберите Analysis > Model Advisor > 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.
Чтобы проверить, что ваша модель теперь передает, повторно выполняет выбранные проверки.
Чтобы сгенерировать отчет результатов проверок Simulink Check, выбор узел DO-178C/DO-331 Checks, и затем, на правой панели нажимают Generate Report.
