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".
FAQ su Simulink Code Inspector
Simulink Code Inspector confronta automaticamente il codice generato con il modello sorgente per soddisfare gli obiettivi di revisione del codice in DO-178 esaminando blocchi, diagrammi di stato, parametri e impostazioni per verificarne l'equivalenza funzionale. Fornisce un'analisi dettagliata della tracciabilità model-to-code e code-to-model.
Esamina sistematicamente blocchi, diagrammi di stato, parametri e impostazioni in un modello per determinare se sono funzionalmente equivalenti alle operazioni, agli operatori e ai dati presenti nel codice generato. Il processo di ispezione del codice costruisce una rappresentazione in memoria del modello che è indipendente dal processo di generazione del codice.
Genera report di equivalenza funzionale e di tracciabilità, inclusa un'analisi dettagliata della tracciabilità model-to-code e code-to-model che può essere presentata alle autorità di certificazione.
È possibile eseguire controlli di compatibilità del modello usando Model Advisor o l'app Simulink Code Inspector. Questi controlli possono essere inoltre attivati in fase di editing per individuare problemi di incompatibilità mentre si lavora alla progettazione.
Supporta DO-178C con supporto disponibile tramite il DO Qualification Kit.
Sì: è necessario generare il codice dai modelli usando Embedded Coder prima di ispezionarlo con Simulink Code Inspector.
Vuoi saperne di più su Simulink Code Inspector?
Novità
Navigazione nel pannello
Workflow DO-178C
Visualizza un workflow DO-178C con generazione di codice qualificato.
Navigazione nel pannello
Case Study su DO-178
Impara a usare gli strumenti MathWorks in un progetto DO-178.
Navigazione nel pannello
Servizio di consulenza della certificazione DO-178
Lavora con MathWorks Consulting per migrare il tuo processo di sviluppo software esistente.
