Simulink ® Code Inspector™ автоматически сравнивает сгенерированный код со своей исходной моделью в соответствии с целями анализа кода в DO-178 и другими высокими стандартами целостности. Инспектор кода систематически проверяет блоки, диаграммы состояний, параметры и настройки в модели, чтобы определить, являются ли они структурно эквивалентными операциям, операторам и данным в сгенерированном коде. Simulink Code Inspector предоставляет подробный анализ прослеживаемости «модель-код» и «код-модель». Он создает отчеты о структурной эквивалентности и отслеживаемости, которые вы можете представить в сертификационные органы для выполнения DO-178 задач по проверке кодирования программного обеспечения .
Поддержка отраслевых стандартов обеспечивается с помощью квалификационного комплекта DO (для DO-178).
Основные сведения об инспекторе кода Simulink
Подготовка модели к проверке кода
Проверка кода и анализ результатов
Квалификация инспектора кода Simulink для сертификации DO-178C