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