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

Этот пример использует:

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

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

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

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

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

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

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

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

Откройте модель. На командной строке войти
```
open_system simulinkCruiseErrorAndStandardsExample
```
Во вкладке Modeling выберите Model Advisor.
Нажмите ОК, чтобы выбрать simulinkCruiseErrorAndStandardsExample от системной иерархии.
Проверяйте свою модель на нарушения инструкции по стилю MAB с помощью Simulink^® Check™.
1. На левой панели, на папке By Product> Simulink Check> Modeling Standards> MAB Checks, выберите:
  - Check Indexing Mode
  - Check model diagnostic parameters
2. Щелкните правой кнопкой по узлу MAB Checks и выберите Run Selected Checks.
3. Нажмите Check model diagnostic parameters, чтобы рассмотреть настройки параметра конфигурации, которые нарушают инструкции по стилю MAB.
4. На правой панели щелкните по ссылкам параметра, чтобы обновить значения в диалоговом окне Configuration Parameters.
5. Чтобы проверить, что ваша модель передачи, повторно выполняет проверку. Повторение продвигается c и d, при необходимости, чтобы достигнуть податливости.
6. Чтобы сгенерировать отчет результатов проверок Simulink Check, выбор узел MAB 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.

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