Model Advisor проверяет модель или подсистему на наличие условий моделирования и настроек конфигурации, которые приводят к неправильному или неэффективному моделированию, а также к неэффективному сгенерированному коду и коду, не пригодному для критически важных для безопасности приложений. Проверки Model Advisor помогут проверить соответствие отраслевым стандартам и рекомендациям. С помощью Model Advisor можно внедрить согласованные рекомендации по моделированию для всех проектов и групп разработчиков.
Подмножество проверок Model Advisor поддерживает проверку времени редактирования. С помощью проверки времени редактирования можно проверять условия модели во время разработки модели. Выделенные блоки в окне редактора модели предупреждают о проблемах в модели.
В данном учебном пособии используется пример модели sldemo_fuelsys. Эта модель представляет собой систему управления соотношением воздух-топливо, разработанную с Simulink и Stateflow.
На рисунках показаны части sldemo_fuelsys модель. Модель верхнего уровня представляет собой замкнутую систему, состоящую из установки (Engine Gas Dynamics) и контроллера (подсистема управления расходом топлива). Установка позволяет инженерам проверить контроллер с помощью моделирования на ранних этапах проектного цикла. Логика управления представляет собой диаграмму Stateflow, которая определяет различные режимы работы.
Установите текущую папку в каталог с возможностью записи.
Открытие модели sldemo_fuelsys путем ввода следующей команды:
openExample('sldemo_fuelsys')Чтобы использовать проверку времени редактирования, на вкладке Моделирование (Modeling) выберите Мастер модели (Model Advisor) > Править (Edit) - Проверки времени (Time Checks).
Выделенные блоки и подсистемы указывают на проблемы соответствия.
Наведите курсор на выделенный блок и щелкните значок предупреждения. В диалоговом окне содержится описание предупреждения. Для получения подробной документации по проверке, обнаружившей проблему, щелкните знак вопроса. Эти блоки содержат предупреждения о времени редактирования из-за неправильных имен блоков.
Чтобы исключить блок из выбранной проверки, можно нажать кнопку «Подавить».
Откройте окно Engine Gas Dynamics путем двойного щелчка по подсистеме. Пауза над air/fuel ratio и щелкните значок предупреждения.
Этот выходной порт возвращает предупреждения, поскольку его имя нарушает две проверки: Проверка неподдерживаемых имен блоков и Проверка имен блоков портов.
Устраните предупреждения, заменив / символ и пробел в имени блока с подчеркиванием. Блок больше не подсвечивается.
Устраните предупреждения для других выделенных блоков в Engine Gas Dynamics подсистема.
На вкладке Моделирование (Modeling) выберите Помощник по модели (Model Advisor).
Выберите модель верхнего уровня sldemo_fuelsys в иерархии систем и нажмите кнопку OK.
На левой панели в папке «По продукту > Simulink Check > Model Standards > DO-178C/DO-331» выберите:
Проверка параметров диагностики, связанных с безопасностью, для решателей
Проверка параметров диагностики, связанных с безопасностью, на время выборки
Проверьте настройки оптимизации, связанные с безопасностью, для логических сигналов
Щелкните правой кнопкой мыши узел Проверки DO-178C/DO-331 и выберите Выполнить выбранные проверки.
Чтобы просмотреть параметры конфигурации, для которых не заданы рекомендуемые значения, щелкните Проверить параметры диагностики, связанные с безопасностью, для решателей.
Чтобы обновить параметры до рекомендуемых значений, на правой панели нажмите «Изменить параметры».
Помощник по модели обновляет параметры до рекомендуемых значений и детализирует результат.
Повторите шаг 6 для проверки параметров диагностики, связанных с безопасностью, для выборочной проверки времени.
Чтобы убедиться в том, что модель прошла, повторно запустите проверки.
Чтобы произвести сообщение о результатах о Клетчатых проверках Simulink, выберите DO-178C/DO-331, Клетчатый узел, и затем, в правильном стекле нажимает Generate Report.
Закройте мастер модели.
Затем соберите метрические данные в модели и устраните другие проблемы соответствия с помощью панели мониторинга метрик.