Simulink^® Code Inspector™ автоматически сравнивает сгенерированный код со своей исходной моделью, чтобы удовлетворить целям рассмотрения кода в DO-178 и других стандартах высокой целостности. Инспектор кода систематически исследует блоки, диаграммы состояний, параметры и настройки в модели, чтобы определить, эквивалентны ли они функционально операциям, операторам и данным в сгенерированном коде.

Simulink Code Inspector обеспечивает подробный анализ трассируемости модели к коду и кода к модели. Это генерирует функциональную эквивалентность, и трассируемость сообщает, что можно подчиниться сертифицирующим органам, чтобы удовлетворить программному обеспечению DO 178, кодирующему цели верификации. Это включает приложение, которое позволяет вам проверять совместимость модели и смотреть код. Результаты инспекции кода отображены в модели и в связанном коде.

Поддержка промышленных стандартов доступна через DO Qualification Kit (for DO-178).