Ассоциация Надежности Motor Industry Software (MISRA®[1]) установила “Инструкции для Использования языка C в Критических Системах” (MISRA C®).
Для получения информации о MISRA C, смотрите www.misra.org.uk.
В 1 998, MIRA Ltd. опубликовала MISRA C (MISRA C:1998), чтобы обеспечить ограниченное подмножество стандартизированного, структурированного языка, который соответствовал Уровню целостности безопасности (SIL) 2 и выше. Основное обновление на основе обратной связи было опубликовано в 2 004 (MISRA C:2004), сопровождаемый незначительным обновлением в 2 007 известных как Техническое Исправление (TC1).
В 2 007, MIRA Ltd. опубликовала стандарт AGC AC MISRA, “AGC AC MISRA: Инструкции для Приложения MISRA-C:2004 в Контексте Автоматической Генерации кода”. AGC AC MISRA не изменяет правила MISRA C:2004, скорее он изменяет рекомендацию соблюдения.
В 2 013, MIRA Ltd. опубликовала стандарт MISRA C:2012, “Инструкции для использования языка C в критических системах”. MISRA C:2012 обеспечивает улучшения на основе отзывов пользователей и включает руководство на автоматической генерации кода.
Embedded Coder® и Simulink® предлагают возможности минимизировать потенциал для MISRA C нарушения правила. Возможности включают:
Советник Генерации кода, который помогает вам сконфигурировать модель или подсистему так, чтобы генератор кода, скорее всего, произвел MISRA C:2012 совместимый код. Для получения дополнительной информации смотрите, Конфигурируют Модель для Целей Генерации кода при помощи Советника Генерации кода.
Model Advisor (Simulink) проверки, которые можно использовать, когда вы разработали свою модель или подсистему, чтобы увеличить вероятность генерации MISRA C:2012 совместимый код. Выполнить соответствие MISRA C:2012 проверяет вашу модель или подсистему:
Откройте Model Advisor.
Перейдите к By Task> Modeling Guidelines for MISRA C:2012.
Запустите регистрации папки.
Для получения дополнительной информации об использовании Model Advisor смотрите Выбор и Осуществленные Проверки Model Advisor (Simulink).
При использовании MISRA C:2012, кодирующего инструкции, чтобы оценить качество вашего сгенерированного кода C, вы требуетесь на раздел 5.3 из Инструкций MISRA C:2012 для Использования языка C в Критическом Системном документе, чтобы подготовить оператор соответствия к оцениваемому проекту. Чтобы помочь вам в разработке этого оператора соответствия, MathWorks® оценивает инструкции MISRA C:2012 против кода С, сгенерированного при помощи Embedded Coder. Результаты оценки публикуются как:
Сводные таблицы соответствия, которые идентифицируют метод, раньше получали соответствие для каждого правила и директивы.
Отклонения, которые идентифицируют правила или директивы, которые несовместимы.
Для получения дополнительной информации смотрите Разработку Оператора Соответствия MISRA C:2012.
[1] MISRA и MISRA C являются зарегистрированными торговыми марками MIRA Ltd., сохраненной от имени Консорциума MISRA.
