Факторы соответствия MISRA C:2012

Соответствие MISRA C:2012, включая моделирование стиля, блокирует использование и параметры конфигурации

Темы

Мотивация

MathWorks® предназначает инструкции для моделей разработки инженеров и генерации кода для систем высокой целостности с помощью Модельно-ориентированного проектирования с Продуктами Mathworks.

Шаблон инструкции

Инструкции используют этот шаблон.

Проверки Model Advisor на руководства по моделированию Высокой Целостности

Simulink® Check™ включает проверки Model Advisor на соответствие со стандартами безопасности, на которые ссылаются в инструкциях высокой целостности.