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