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