Проверяйте податливость модели

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

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

Simulink® Check™ включает проверки Model Advisor на податливость стандартам безопасности, связанным с Моделирование Систем Повышенной Надежности и MathWorks®Руководства по моделированию Консультативного совета (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 50657 Standard Податливости

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

Модели для моделирования систем высокой целостности

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

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

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

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

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

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

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

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

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