Simulink Code Inspector mette a confronto automaticamente il codice generato con il relativo modello sorgente per soddisfare gli obiettivi di revisione del codice indicati in DO-178 e in altri standard ad alta integrità. Code Inspector esamina in modo sistematico i blocchi, i diagrammi di stato, i parametri e le impostazioni in un modello per determinarne l’equivalenza funzionale a operazioni, operatori e dati nel codice generato.
Simulink Code Inspector fornisce un’analisi dettagliata della tracciabilità da modello a codice e viceversa. È in grado di generare report di tracciabilità e di equivalenza funzionale da poter sottoporre alle autorità che si occupano delle certificazioni, al fine di soddisfare gli obiettivi di verifica di codifica software previsti dallo standard DO-178. Include un’applicazione che consente di verificare la compatibilità del modello e di ispezionare il codice. I risultati dell'ispezione del codice vengono visualizzati nel modello e nel codice associato.
Grazie al DO Qualification Kit (per DO-178) sono supportati numerosi standard industriali.
Preparazione di modelli per la generazione e l’ispezione del codice
Prepara i tuoi modelli da utilizzare con Simulink Code Inspector eseguendo verifiche della compatibilità del modello. I risultati sono mostrati direttamente nell'applicazione Simulink Code Inspector, in cui è anche possibile apportare eventuali correzioni.
Generazione di codice da modelli
Genera codice dai tuoi modelli con Embedded Coder.
Ispezione del codice e analisi dei risultati dell’ispezione
Ispeziona il codice generato per verificare la conformità al modello. I risultati sono direttamente disponibili sull’applicazione.
Generazione di report e matrici di tracciabilità
Utilizza l'app per generare rapporti di ispezione e tracciabilità del codice.
Risorse sui prodotti:
"Con la progettazione Model-Based abbiamo effettuato con successo un primo volo; non ci sono stati problemi né dal punto di vista del controllo né dell'integrazione. La generazione di codice della legge di controllo dal nostro modello Simulink con Embedded Coder ha eliminato i rallentamenti causati dalla generazione manuale di codice e ha consentito al team di concentrarsi sul raggiungimento degli obiettivi più ampi del programma".
Mike Bothwell, Bell Helicopter