Проверьте соответствие модели при помощи Model Advisor
Обзор Model Advisor
Model Advisor проверяет вашу модель или подсистему для моделирования условий и параметров конфигурации, которые вызывают неточную или неэффективную симуляцию системы, которую представляет модель. Проверки Model Advisor могут помочь вам проверить податливость с промышленными стандартами и инструкциями. При помощи Model Advisor можно реализовать сопоставимые руководства по моделированию через проекты и группы разработчиков.
После завершения анализа вашей модели Model Advisor представляет отчет, который перечисляет субоптимальные условия, настройки и техники моделирования и предлагает решения, когда применимо.
Можно использовать Model Advisor, чтобы проверять модель этими способами:
В интерактивном режиме осуществите проверки Model Advisor
Сконфигурируйте Model Advisor, чтобы автоматически осуществить разовые редактированием проверки (требует Simulink® Check™),
Эти ограничения применяются, когда вы используете Model Advisor, чтобы проверять вашу модель. Для ограничений, которые применяются к определенным проверкам, смотрите раздел Capabilities и Limitations в документации проверки.
Если вы переименовываете систему, необходимо перезапустить Model Advisor, чтобы проверять ту систему.
В системах, которые содержат различную подсистему, Model Advisor проверяет только активную подсистему.
Model Advisor не анализирует прокомментированные блоки.
Проверки не ищут в блоках model или блоках subsystem с параметрами блоков, которые Read/Write установил на
NoReadorWrite. Однако на основе проверки проверкой, проверки Model Advisor действительно ищут в библиотечных блоках и замаскированных подсистемах.Если не задано в противном случае в документации для проверки, Model Advisor не анализирует содержимое блока Model. Чтобы осуществить проверки моделей, на которые ссылаются, используйте экземпляры
Advisor.Applicationкласс (требуемая лицензия Simulink Check).
Примечание
Программное обеспечение является по сути комплексным и не может быть свободным от ошибок. Проверки Model Advisor могут содержать ошибки. MathWorks® сообщает об известных ошибках, к которым привлекают его внимание на его систему Отчета об ошибках в https://www.mathworks.com/support/bugreports/. Отчеты об ошибках являются неотъемлемой частью документации для каждого релиза. Исследуйте отчеты об ошибках на релиз как таковой, сообщает, может идентифицировать несоответствия между фактическим поведением релиза, который вы используете и поведение, описанное в этой документации.
В то время как применение проверок Model Advisor к вашей модели увеличивает вероятность, что ваша модель не нарушает определенные стандарты моделирования или инструкции, их приложение не может гарантировать, что разработанная система будет безопасна или безошибочна. В конечном счете ваша ответственность проверить, с помощью нескольких методов, разработанная система обеспечивает свою намеченную функциональность и не включает непредусмотренную функциональность.
Model Advisor проверяет документацию
Model Advisor только отображает проверки на ваши установленные продукты. Эта таблица обеспечивает ссылки на специфичную для продукта документацию проверки. Лицензия на продукты может потребоваться, чтобы рассматривать часть документации.
| Продукт | Документация проверки Model Advisor |
|---|---|
| Simulink | Simulink Check (Simulink) |
| Embedded Coder® | Embedded Coder проверяет (Embedded Coder) |
| AUTOSAR Blockset | MathWorks AUTOSAR Blockset Checks (AUTOSAR Blockset) |
| Simulink Coder™ | Simulink Coder проверяет (Simulink Coder) |
| HDL Coder™ | Регистрации модели HDL Coder (HDL Coder) |
| Simulink Code Inspector™ | Simulink Code Inspector проверяет (Simulink Code Inspector) |
| Simulink Check | IEC 61508, IEC 62304, ISO 26262 и проверки EN 50128 Высокие системные проверки моделирования целостности MathWorks Automotive Advisory Board Checks MATLAB Японии автомобильные проверки консультативного совета Безопасные Проверки программы на CERT C, CWE и Стандарты ISO/IEC TS 17961 |
| Simulink Design Verifier™ | Simulink Design Verifier проверяет (Simulink Design Verifier) |
| Simulink Requirements™ | Проверки на непротиворечивость требований (Simulink Requirements) |
| Simscape™ | Документация доступна только в Model Advisor. Чтобы рассмотреть документацию для проверки, в Model Advisor, щелкают правой кнопкой по заголовку проверки и выбирают What's This? |
| Simulink Control Design™ | Simulink Control Design проверяет (Simulink Control Design) |
| IEC Certification Kit | Проверки IEC Certification Kit на отчеты об ошибках (IEC Certification Kit) |
| DO Qualification Kit | Проверки DO Qualification Kit на отчеты об ошибках (DO Qualification Kit) |
Осуществите проверки Model Advisor и рассмотрите результаты
Можно использовать Model Advisor, чтобы проверять модель в интерактивном режиме по моделированию стандартов и инструкций. Следующий пример использует sldemo_mdladv модель, чтобы продемонстрировать выполнение проверок Model Advisor с помощью Model Advisor.
Откройте модель
sldemo_mdladvModel Advisor в качестве примера.Чтобы открыть Model Advisor, в редакторе Simulink, кликают по вкладке Modeling и выбирают Model Advisor. Диалоговое окно System Selector ― Model Advisor открывается. Выберите модель или систему, что вы хотите рассмотреть и нажать OK.
На левой панели Model Advisor выберите проверки, вы хотите работать на своей модели:
Можно выбрать проверки при помощи папок By Product или By Task. Если эти папки не отображены в окне Model Advisor, открывают Settings> Preferences и выбор:
Show By Product Folder ― проверки Отображений, доступные для каждого продукта
Show By Task Folder ― проверки Отображений, связанные с определенными задачами
Можно искать и выполниться, определенная проверка вводят Заголовок или TitleID регистрации поля Find: и нажимают кнопку Find Next. Model Advisor ищет на имена проверки, имена папок и аналитические описания. Можно использовать вкладку Source, чтобы идентифицировать Заголовок, TitleID и местоположение исходного кода MATLAB® для каждой проверки. Чтобы отобразить Source на правой панели Model Advisor, откройте Settings> Preferences и выберите Show Source Tab.
Нажмите на папку, которая содержит проверки и на правой панели Model Advisor, выберите:
Show report after run, чтобы автоматически сгенерировать и отобразить отчет в формате HTML
Run Selected Checks, чтобы выполнить анализ.
Чтобы осуществить одну проверку, щелкните правой кнопкой по регистрации папки и выберите Run This Check.
Просмотрите результаты в Пользовательском интерфейсе Model Advisor. Общие результаты состояния проверки включают
Pass─ Проверка не идентифицировала проблемы.D-Pass─ Зависящий от параметра конфигурации или успешного выполнения другой проверки.Warn─ Проверка идентифицировала проблемы.Fail─ Проверяйте сбои, чтобы выполниться.
Зафиксируйте предупреждения или отказы, как желаемый. Для получения дополнительной информации смотрите Результаты Проверки Модели Адреса (Simulink).
Примечание
До применения фиксации можно сохранить точку восстановления, которая является снимком состояния во время модели, базового рабочего пространства и Model Advisor. Путем сохранения точки восстановления можно откатить изменения, которые вы внесли в ответ на рекомендации от Model Advisor.
Используйте вкладку Exclusions, чтобы рассмотреть проверки, которые были отмечены для исключения из анализа. Чтобы отобразить вкладку Exclusions на правой панели Model Advisor, откройте Settings> Preferences и выберите Show Exclusion tab.
Просмотрите и сохраните отчет. Для получения дополнительной информации смотрите, Сохраняют и Просматривают Отчеты Проверки Model Advisor (Simulink).
Примечание
Если вы не выбрали Show report after run, когда вы выполнили проверки, можно сгенерировать отчет результатов после того, как анализ завершен. Смотрите Генерируют Отчеты Model Advisor.
При желании можно сбросить состояние проверок к Не состоянию Запуска. На левой панели щелкните правой кнопкой по Model Advisor и выберите
Reset. Это действие не удаляет результаты анализа от Model Advisor.
Сэкономьте аналитическое время путем осуществления проверок от предыдущего анализа
Можно сэкономить время путем сопоставимого выполнения того же набора, проверяет модель при помощи инструментальной панели Model Advisor. Когда вы используете инструментальную панель, Model Advisor не перезагружает проверки прежде, чем выполнить их, экономя аналитическое время.
Откройте модель
sldemo_mdladvModel Advisor в качестве примера.Выберите Model Advisor> Model Advisor Dashboard. Диалоговое окно System Selector ― Model Advisor открывается. Выберите модель или систему, что вы хотите рассмотреть и нажать OK.
Окно Model Advisor Dashboard открывается. От этой инструментальной панели вы можете:
Нажмите кнопку Run checks, чтобы выполнить те же проверки от предыдущего анализа
Нажмите кнопку Switch to standard view, чтобы открыть Model Advisor и выбрать различные проверки
Нажмите кнопку Enable Highlighting, чтобы просмотреть подсвеченные результаты в редакторе Simulink
Нажмите кнопку Run checks, чтобы осуществить те же проверки модели, которые использовались в предыдущем анализе. При желании нажмите кнопку Enable Highlighting.
Model Advisor выполняет проверки, и обновляет инструментальную панель, чтобы отразить результаты анализа, включая количество:
Пройден проверки
Не пройдено проверки
Отмеченные проверки
Общие проверки
Если вы нажали кнопку Enable Highlighting, отмеченные результаты подсвечены в модели.
Model Advisor, Подсвечивающий информационное окно, открывается ссылкой на окно Model Advisor. В окне Model Advisor можно найти больше информации о результатах проверки и как зафиксировать условие предупреждения.
Нажмите кнопку Open Report, чтобы открыть целый отчет в формате HTML. В качестве альтернативы можно выбрать ссылку номера около результатов отфильтровать результаты отчета.
Проверяйте свою модель при помощи проверок времени редактирования
Можно идентифицировать, что моделирование выходит ранее в процессе проектирования модели при помощи разовой редактированием проверки.
Чтобы включить разовую редактированием проверку, в редакторе Simulink, кликают по вкладке Debug и выбирают эти опции Diagnostics:
Edit-Time Errors & Warnings ― Автоматически подсвечивает нарушения проверки в модели. Редактор Simulink подсвечивает объекты, которые нарушают разовые редактированием регистрации красного (для ошибок) или оранжевый (для предупреждений). Когда вы указываете на объект, который подсвечен, и кликните по ошибке или предупреждению значка, подсказка отображает детали и возможные меры.
Edit-Time checks ― При использовании разовой редактированием проверки, Model Advisor оценивает модель против подмножества проверок Model Advisor. Подсвеченные блоки в окне редактора моделей предупреждают вас к проблемам в вашей модели. Можно также включить эту опцию путем нажатия на вкладку Modeling и выбора Model Advisor> Edit-Time Checks.
Чтобы включить разовую редактированием проверку моделирования проблем, которые специфичны для генерации кода, откройте приложение кода С (доступный с Embedded Coder или Simulink Coder) и выберите поле C/C++ Code Advisor> Edit-Time Checks.
Используйте время редактирования Model Advisor, проверяя, чтобы подсветить проблемы
При использовании разовой редактированием проверки Model Advisor подсвечивает блоки, которые нарушают проверки Model Advisor.
Используйте один из этих методов, чтобы включить разовую редактированием проверку вашей модели:
Во вкладке Debug выберите Diagnostics> Edit-Time Checks
Во вкладке Modeling выберите Model Advisor> Edit-Time Checks
Model Advisor подсвечивает блоки в вашей модели, которые нарушают проверки Model Advisor. Укажите на подсвеченный блок и кликните по ошибке или значку предупреждения.
Model Advisor идентифицирует проблемы соответствия в блоке, которые нарушают разовые редактированием проверки. Когда блок имеет несколько нарушений проверки, можно переместиться между разовыми редактированием нарушениями при помощи кнопок << и >>. Для каждой проблемы вы можете:
Рассмотрите причину.
Кликните по вопросительному знаку, чтобы получить доступ к подробной документации об отмеченной проверке Model Advisor.
Проигнорируйте предупреждение и добавьте, что блок к списку исключений для этого проверяет нажатие Ignore.
В этом примере вы используете разовую редактированием проверку, чтобы проверить податливость диаграммы Stateflow с инструкциями MAAB, в то время как вы редактируете.
Откройте модель, которая содержит диаграммы Stateflow. Например, в командной строке, введите:
open sf_boiler.Чтобы включить разовую редактированием проверку, во вкладке Modeling, выбирают Model Advisor> Edit-Time Checks.
Откройте график Bang-Bang Controller путем двойного клика по нему. Model Advisor подсвечивает несколько состояний. Установите свой курсор на предупреждение состояния Off обнаружить проблему.
Выберите предупреждение. Model Advisor указывает, что должна быть новая строка после entry:, чтобы выполнить инструкции MAAB. В вашей модели установите свой курсор после en: и нажмите Enter. Новая линия добавлена, и предупреждение очищено.
Просмотрите и сконфигурируйте Model Advisor разовые редактированием проверки
Когда вы запускаете Model Advisor разовые редактированием проверки, Model Advisor оценивает модель против подмножества проверок Model Advisor. Просмотреть и сконфигурировать Model Advisor проверяют, что разовая редактированием проверка отмечает:
В редакторе Simulink кликните по вкладке Modeling и выберите Model Advisor> Customize Edit-Time Checks.
В Model Advisor Configuration Editor проверьте что
Edit-time Supported Checksэлемент выбран из Show выпадающий список. Отфильтрованный список идентифицирует проверки советника модели, которые отмечаются.
Выберите или очистите проверки. Выбранные проверки включены в разовый редактированием контрольный анализ. Можно использовать опции Input Parameters , чтобы настроить каждую проверку.
Если вы сделали обновления, чтобы проверять выбор или поведение, сохраните текущую настройку. Затем выберите File> Set Current Configuration as Default.
Примечание
Только настройка по умолчанию может изменить поведение разовых редактированием проверок.
Чтобы настроить поведение разовых редактированием проверок, сконфигурируйте обновления в отфильтрованном представлении разовых редактированием регистраций Model Advisor Configuration Editor. Если проверка появляется в нескольких папках вашего дерева Model Advisor для разовой редактированием проверки, Model Advisor приоритизирует регистрацию вашей пользовательской папки. Если проверка не находится в вашей пользовательской папке, приоритет переходит к регистрации папки By Task, и наконец к регистрации вашей папки By Product.
Связанные примеры
- Осуществите проверки Model Advisor и рассмотрите результаты
- Обратитесь к результатам проверки модели (Simulink)
- Сгенерируйте отчеты Model Advisor
- Сохраните и просмотрите отчеты проверки Model Advisor (Simulink)
- Найдите идентификаторы проверки Model Advisor (Simulink)
- Архив и результаты представления