Simulink Code Inspector

Simulink Code Inspector™ автоматически сравнивает сгенерированный исходный код и исходную модель Simulink для удовлетворения целей инспекций исходного кода таких отраслевых стандартов, как КТ-178 (DO-178). Блоки, диаграммы состояний, параметры и настройки моделей систематически проверяются на функциональное соответствие операторам, выражениям и данным в сгенерированном коде.

Simulink Code Inspector™ предоставляет детализированный анализ трассируемости «модель-код» и «код-модель». Инструмент генерирует отчеты о функциональной эквивалентности и трассируемости, которые предоставляются сертифицирующему органу для удовлетворения целей верификации процесса кодирования. В состав инструмента входит приложение Simulink, которое позволяет провести оценку совместимости модели и запустить инспекции кода. Результаты инспекции показываются и в модели, и в сгенерированном коде.

 Квалификационные материалы для Simulink Code Inspector™ доступны в DO Qualification Kit (для DO-178 и 254)

Этапы проверки кода

• Сначала модели анализируются на совместимость с Simulink Code Inspector™ при помощи встроенных проверок. В приложении также отображаются результаты анализа и устраняются ошибки совместимости.
• Генерация кода из моделей с использованием Embedded Coder™.
• Сгенерированный код инспектируется на соответствие модели. Результаты доступны непосредственно из приложения.
• Приложение используется для создания отчетов и матриц трассируемости.

Документация

Примеры