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