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

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

Во время разработки моделей проверяйте и анализируйте свою модель, чтобы увеличить доверие к его качеству. Проверяйте свою модель по стандартам, таким как инструкции по стилю 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. Чтобы рассмотреть настройки параметра конфигурации, которые нарушают инструкции по стилю MAB, нажмите на проверку Check model diagnostic parameters. Результаты анализа появляются на правой панели и включают рекомендуемое действие.
4. Кликните по гиперссылкам параметра, который открывает диалоговое окно Configuration Parameters, и обновите диагностические параметры модели. Сохраните модель.
5. Чтобы проверить, что ваша модель передачи, повторно выполняет проверку. Повторение продвигается c и d, при необходимости, чтобы достигнуть податливости.
6. Чтобы сгенерировать отчет результатов проверок Simulink Check, выбор узел MAB Checks, и затем, на правой панели нажимают Generate Report....

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

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

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

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