Важно проверить, что код С, сгенерированный Embedded Coder® из Simulink® и Stateflow® соответствует стандартам кодирования C:2012 MISRA. Этот рабочий процесс иллюстрирует процесс оценки вашего сгенерированного кода на податливость руководствам по C:2012 MISRA.
Разработайте свою модель в Simulink или Stateflow.
Откройте Model Advisor и запустите проверки C:2012 MISRA (Simulink Check), которые доступны в By Task > Modeling Standards for MISRA C:2012.
При необходимости измените модель, чтобы соответствовать Руководствам по моделированию для MISRA C:2012 Compliance.
После прохождения проверок C:2012 MISRA сгенерируйте код при помощи Embedded Coder.
Чтобы избежать возможных конфликтов имен, нескольких определений функций и нескольких определений данных, используйте один из следующих подходов к генерации кода:
Одна модель: Сгенерируйте код из одной модели, включая подмодели, с помощью Model блоков.
Несколько моделей: Сгенерируйте код из нескольких моделей, включая:
Общая папка утилиты для синхронизации функций
Владение данными для управления определениями данных
Ручное интегрирование для управления кодом, сгенерированным из различных моделей
Выполните Polyspace® Bug Finder™ MISRA C:2012 Checker (Polyspace Bug Finder).
Для получения дополнительной информации о выполнении анализа Polyspace на вашем сгенерированном коде, включая опции анализа и результаты, смотрите:
Polyspace Анализ в Simulink (Polyspace Bug Finder)
Polyspace Анализ в Simulink (Polyspace Code Prover)
Обоснование нарушений стандартов кодирования C:2012 MISRA с помощью аннотаций Polyspace (Polyspace Bug Finder).
