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

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

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

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

Классы

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

Функции

edittime.getAdvisorCheckingОпределите, ли включена разовая редактированием проверка
edittime.setAdvisorCheckingПроверяйте свою модель в интерактивном режиме по моделированию стандартов
Advisor.getExclusionПолучите информацию исключения для модели или файла
Advisor.addExclusionДобавьте исключения в модель или файл
Advisor.removeExclusionУдаляет исключения для модели или файла
Advisor.saveExclusionСохраните исключения в модель или внешний файл
Advisor.loadExclusionЗагрузите исключения к модели или файлу
Advisor.clearExclusionОчистите все исключения из модели или файла

Темы

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, ISO 25119 и EN 50128/EN 50 657 Стандартной Податливости

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

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

Используйте 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, чтобы проверять, что каждая ссылка требований в модели имеет допустимую цель в документе требований.