Software di ispezione Simulink Code Inspector™

Il codice Inspector™ di Simulink paragona automaticamente il codice generato al relativo modello di fonte per soddisfare gli obiettivi di codice-revisione in DO-178 ed in altri campioni ad alta integrazione. L'ispettore di codice esamina sistematicamente i blocchi, i diagrammi di stato, i parametri e le regolazioni in un modello per determinare se sono strutturalmente l'equivalente ai funzionamenti, operatori e dati nel codice generato. L'ispettore di codice di Simulink fornisce l'analisi dettagliata di traceability del codice--modello e di modello--codice. Genera l'equivalenza strutturale ed il traceability segnala che potete presentare alle autorità di certificazione per soddisfare DO-178 che programma gli obiettivi di verifica.