Анализируйте модель для соответствия стандартов и ошибок проектирования

Этот пример использование:

Стандарты и аналитический обзор

Во время разработки моделей проверяйте и анализируйте свою модель, чтобы увеличить уверенность в ее качестве. Проверяйте свою модель по стандартам, таким как инструкции по стилю MAAB и инструкции по разработке системы высокой целостности такие также, как и - 178 и ISO 26262. Анализируйте свою модель для ошибок, мертвой логики и условий, которые нарушают необходимые свойства. Используя результаты анализа, обновите свои исключения модели и документа. Сообщите о результатах с помощью настраиваемых шаблонов.

Проверяйте модель на нарушения инструкции по стилю и ошибки проектирования

Этот пример показывает, как использовать Model Advisor, чтобы проверять модель круиз-контроля на Консультативный совет MathWorks^® Automotive (MAAB) нарушения инструкции по стилю и ошибки проектирования. Выберите проверки и запустите анализ модели. Итеративно отладьте проблемы с помощью Model Advisor и повторно выполните проверки, чтобы проверить, что это находится в соответствии. После передачи ваших выбранных проверок сообщите о результатах.

Проверяйте модель на нарушения инструкции по стилю MAAB

В Model Advisor можно проверять, что модель выполняет руководства по моделированию MAAB.

Создайте копию проекта в рабочей папке. На командной строке войти

path = fullfile(matlabroot,'toolbox','shared','examples',...
'verification','src','cruise')
run(fullfile(path,'slVerificationCruiseStart'))

Откройте модель. На командной строке войти
```
open_system simulinkCruiseErrorAndStandardsExample
```
В окне модели выберите Analysis> Model Advisor> Model Advisor.
Нажмите ОК, чтобы выбрать simulinkCruiseErrorAndStandardsExample из Системной иерархии.
Проверяйте свою модель на нарушения инструкции по стилю MAAB с помощью Simulink^® Check™.
1. На левой панели, на папке By Product > Simulink Check > Modeling Standards > MathWorks Automotive Advisory Board Checks, выберите:
  - Check for indexing in blocks
  - Check for prohibited blocks in discrete controllers
  - Check model diagnostic parameters
2. Щелкните правой кнопкой по узлу MathWorks Automotive Advisory Board Checks, и затем выберите Run Selected Checks.
3. Нажмите Check model diagnostic parameters, чтобы рассмотреть настройки параметра конфигурации, которые нарушают инструкции по стилю MAAB.
4. На правой панели щелкните по ссылкам параметра, чтобы обновить значения в диалоговом окне Configuration Parameters.
5. Чтобы проверить, что ваша модель передачи, повторно выполняет проверку. Повторение продвигается c и d, при необходимости, чтобы достигнуть соответствия.
6. Чтобы сгенерировать отчет результатов проверок Simulink Check, выбор узел MathWorks Automotive Advisory Board Checks, и затем, на правой панели нажимают Generate Report....

Проверяйте модель на ошибки проектирования

В то время как в Model Advisor, можно также проверять модель на скрытые ошибки проектирования с помощью Simulink Design Verifier™.

На левой панели, на папке By Product > Simulink Design Verifier, выбирают Design Error Detection.
На правой панели нажмите Run Selected Checks.
После того, как анализ завершен, расширьте папку Design Error Detection, затем избранные проверки, чтобы рассмотреть предупреждения или ошибки.
На правой панели нажмите Simulink Design Verifier Results Summary. Диалоговое окно обеспечивает инструменты, чтобы помочь вам диагностировать ошибки и предупреждения в вашей модели.
1. Рассмотрите результаты на модели. Нажмите Highlight analysis results on model. Кликните по подсистеме Compute target speed, обрисованной в общих чертах в красном. Окно Simulink Design Verifier Results Inspector предоставляет выведенные спектры, которые могут помочь вам понять источник ошибки путем идентификации возможных значений сигналов.
2. Рассмотрите модель тестовой обвязки. Окно Simulink Design Verifier Results Inspector отображает информацию, что ошибка переполнения произошла. Чтобы видеть тесты, которые демонстрируют ошибки, нажмите View test case.
3. Рассмотрите аналитический отчет. В окне Simulink Design Verifier Results Inspector нажмите Back to summary. Чтобы видеть отчет детального анализа, нажмите HTML или PDF.

Документация