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