El código Inspector™ de Simulink compara automáticamente código generado con su modelo de la fuente para satisfacer objetivos de la código-revisión en DO-178 y otros estándares high-integrity. El inspector de código examina sistemáticamente bloques, diagramas de estado, parámetros, y ajustes en un modelo para determinar si son estructural equivalente a las operaciones, operadores, y datos en el código generado. El inspector de código de Simulink proporciona análisis detallado de la rastreabilidad del modelo-a-código y del código-a-modelo. Genera equivalencia estructural y la rastreabilidad divulga que usted puede someter a las autoridades de la certificación para satisfacer DO-178 que codifica objetivos de la verificación en software.
---