Можно использовать DO Qualification Kit (for DO-178) для проверки Simulink Code Inspector на DO-178, DO-330 и связанные стандарты.
Программные продукты квалификации инструмента (DO Qualification Kit)
Документы по проверке включают шаблоны, тесты и процедуры тестирования.