Важно проверять, что код С, сгенерированный Embedded Coder® от Simulink® и Stateflow®, выполняет MISRA C:2012, кодирующий стандарты. Этот рабочий процесс иллюстрирует процесс оценки вашего сгенерированного кода для податливости к инструкциям MISRA C:2012.
Спроектируйте свою модель в Simulink или Stateflow.
Откройте Model Advisor и запуститесь, 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 в Simulink (Polyspace Bug Finder)
Анализ Polyspace в Simulink (Polyspace Code Prover)
Выровняйте по ширине нарушения к MISRA C:2012, кодирующему стандарты с помощью аннотаций Polyspace (Polyspace Bug Finder).
