Software de inspeção Simulink Code Inspector™

O código Inspector™ de Simulink compara automaticamente o código gerado com seu modelo da fonte para satisfazer objetivos da código-revisão em DO-178 e em outros padrões high-integrity. O inspector da direcção geral de indústrias eléctricas examina sistematicamente blocos, diagramas de estado, parâmetros, e ajustes em um modelo para determinar se são estrutural equivalente às operações, operadores, e dados no código gerado. O inspector da direcção geral de indústrias eléctricas de Simulink fornece análise detalhada da rastreabilidade do modelo-à-código e do código-à-modelo. Gera a equivalência estrutural e a rastreabilidade relata que você pode se submeter às autoridades da certificação para satisfazer objetivos da verificação da codificação do software DO-178.