Факторы податливости MISRA C:2012

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

Темы

Мотивация

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

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

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

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

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

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