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

• Анализ и отчетность структурной эквивалентности.


• Двунаправленный анализ и отчетность об отслеживаемости между кодом и моделью.


• Анализ на соответствие использования в модели блоков и настроек генератора кода тем, которые обычно используются при разработке ПО, критичного к безопасности.


• Работа Simulink Code Inspector независимо от генераторов кода.