Чтобы проверять, что ваша модель или подсистема имеют вероятность генерации MISRA C:2012 совместимый код, откройте Model Advisor и запустите регистрации By Task> Modeling Guidelines for MISRA C:2012:
Проверяйте на блоки, не рекомендуемые для производственного развертывания C/C++ кода
Проверяйте на операции равенства и неравенства на значениях с плавающей точкой
Проверяйте на case-выражения переключателя без случая по умолчанию
Проверяйте на недостающие ошибочные порты для интерфейсов получателя AUTOSAR
Проверяйте на недостающие спецификаторы const в функциях модели
Имена объектов контрольной шины, которые используются в качестве имен элементов шины