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

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

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

Simulink® Check™ включает проверки Model Advisor на соответствие со стандартами безопасности, сопоставленными с Моделированием систем повышенной надежности и Руководствами по моделированию Алгоритма управления MAAB. Запустите с, Проверяют Соответствие Модели при помощи Model Advisor.

Классы

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

Функции

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

Темы

Model Advisor

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

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

Ограничьте образцовые проверки

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

Предельная модель проверяет, исключая блоки усиления и выходного порта

Этот пример показывает, как исключить блок Gain и все блоки Выходного порта от проверки Model Advisor во время анализа Model Advisor.

Сгенерируйте отчеты Model Advisor в форматах Microsoft Word и Adobe PDF

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

Установите MAAB и проверки JMAAB смотреть под масками или переходить по ссылкам

Управляйте, переходят ли MAAB и взгляд проверок JMAAB под масками или по ссылкам

Проверки Model Advisor

Образцовые Проверки на DO-178C/DO-331 Стандартное Соответствие

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

Образцовые проверки на IEC 61508, IEC 62304, ISO 26262 и соответствие стандарта EN 50128

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

Образцовые проверки на высокие системы целостности, моделируя проверки

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

Образцовые проверки на соответствие инструкции MathWorks Automotive Advisory Board (MAAB)

Используйте Model Advisor, чтобы проверять, что модель или подсистема выполняют части Консультативного совета MathWorks® Automotive (MAAB) Инструкции.

Образцовые проверки на соответствие инструкции MATLAB Японии автомобильного консультативного совета (JMAAB)

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