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