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

Обзор стандартов и анализа

Во время разработки модели проверяйте и анализируйте свою модель, чтобы повысить доверие в ее качестве. Проверьте модель на соответствие таким стандартам, как инструкции по стилю MAB и инструкции по разработке системы высокой целостности, такие как DO-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. Щелкните гиперссылки параметра, который открывает диалоговое окно Параметров конфигурации, и обновите параметры диагностики модели. Сохраните модель.
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.

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