Проверьте соответствие модели

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

Чтобы применить руководства по моделированию через проекты и группы разработчиков, можно использовать Model Advisor, чтобы осуществить проверки модели. Когда вы осуществляете проверки, Model Advisor рассматривает вашу модель для условий и параметров конфигурации, заданных проверкой.

Simulink® Check™ включает проверки Model Advisor на податливость со стандартами безопасности, сопоставленными с Моделированием систем повышенной надежности и Советом MMathWorks®Advisory (MAB) руководства по моделированию. Начните с, Проверяют Соответствие Модели при помощи Model Advisor.

Классы

Advisor.ApplicationЗапустите Model Advisor через иерархию модели
Advisor.ManagerУправляйте приложениями

Функции

edittime.getAdvisorCheckingОпределите, ли включена разовая редактированием проверка
edittime.setAdvisorCheckingПроверяйте свою модель в интерактивном режиме по моделированию стандартов

Темы

Model Advisor

Проверьте соответствие модели при помощи Model Advisor

Используйте Model Advisor и разовую редактированием проверку, чтобы проверять, что модель или подсистема выполняют руководства по моделированию или стандарты.

Используйте Model Advisor Configuration Editor, чтобы настроить Model Advisor

Используйте Model Advisor Configuration Editor, чтобы настроить настройку проверок Model Advisor и папок.

Сгенерируйте отчеты Model Advisor

Сконфигурируйте Model Advisor, чтобы сгенерировать отчеты в дополнительных форматах.

Исключите блоки из контрольного анализа Model Advisor

Можно ограничить осциллограф модели Model Advisor или анализа подсистемы.

Проверки Model Advisor

Проверки модели на DO-178C/DO-331 Стандартную Податливость

Используйте Model Advisor, чтобы проверять, что модель или подсистема выполняют части DO - 178C стандарт безопасности.

Проверки модели на податливость стандарта DO-254

Используйте Model Advisor, чтобы проверять, что модель или подсистема выполняют части стандарта безопасности DO-254.

Проверки модели на IEC 61508, IEC 62304, ISO 26262 и податливость стандарта EN 50128

Используйте Model Advisor, чтобы проверять, что модель или подсистема выполняют части IEC 61508, IEC 62304, ISO 26262 и EN 50 128 стандартов безопасности.

Проверки модели на высокое системное моделирование целостности

Используйте Model Advisor, чтобы проверять, что модель или подсистема выполняют части Высокого стандарта безопасности Системной модели Целостности.

Проверки модели на MAB и податливость JMAAB

Используйте Model Advisor, чтобы проверять, что модель или подсистема выполняют MathWorks Advisory Board (MAB) и Японию Консультативный совет MATLAB® Automotive (JMAAB) руководства по моделированию.

Проверки модели на податливость MISRA C:2012

Используйте Model Advisor, чтобы проверять, что ваша модель, скорее всего, произведет MISRA C:2012 совместимый код.

Проверки модели на Безопасное Кодирование (CERT C, CWE и Стандарты ISO/IEC TS 17961)

Используйте Model Advisor, чтобы проверять, что код выполняет CERT C, CWE, ISO/IEC TS 17961 безопасные стандарты кодирования.

Проверки модели на ссылки требований

Используйте Model Advisor, чтобы проверять, что каждая ссылка требований в модели имеет допустимую цель в документе требований.