Progettazione Model-Based con Simulink per la conformità DO-178C/DO-331

Dettagli dei corsi

Questo corso di tre giorni è rivolto agli ingegneri informatici che utilizzano gli strumenti di verifica di Simulink^® e Polyspace^® per verificare il codice di produzione generato da Embedded Coder^®, destinato alla certificazione DO-178C. Il corso presuppone una conoscenza preliminare dei principi di modellazione di Simulink e dei workflow di verifica in Simulink e Polyspace. Il corso si concentra sulla generazione di elementi da questi workflow che possono essere utilizzati nel processo di certificazione DO. Si noti che questo corso di formazione non tratta gli standard DO-178C o DO-331 in senso stretto, a piuttosto come utilizzare gli strumenti di verifica di Simulink^® e Polyspace^® per dimostrare la conformità agli standard DO-178C e DO-331.

Giorno 1/3

Panoramica sulla progettazione Model-Based per DO-178C/DO-331

Obiettivo: Scoprire come i workflow di MathWorks possono soddisfare e supportare gli obiettivi DO-178C e DO-331.

Panoramica sui cicli di vita del sistema, del software e dell'hardware
Workflow DO-178C/DO-331 con la progettazione Model-Based
Conformità agli obiettivi DO-178C/DO-331 utilizzando la progettazione Model-Based

Tracciabilità dei requisiti

Obiettivo: Tracciare un modello rispetto ai requisiti secondo la conformità DO-178/DO-331.

Panoramica sui requisiti nel processo DO-178C
Utilizzo della Requirements Toolbox per la tracciabilità dei requisiti
Generazione di un report sulla descrizione del progetto del sistema
Comprensione della compatibilità con gli strumenti esterni per i requisiti

Standard di modellazione per DO-178C/DO-331

Obiettivo: Comprendere la conformità agli standard di modellazione per DO-178C/DO-331.

Standard di modellazione per applicazioni DO-178C/DO-331
Standard di modellazione nel processo di progettazione Model-Based
Utilizzo delle regole precostituite di Simulink Check per sistemi ad alta integrità

Giorno 2/3

Verifica del modello

Obiettivo: Imparare a verificare i requisiti del software attraverso la simulazione.

Redazione di casi di test in Simulink Test
Input dei casi di test e opzioni di raccolta dei dati
Tracciabilità dei casi di test rispetto ai requisiti
Test basato sui requisiti con Simulink Test

Copertura di un modello

Obiettivo: Utilizzare Simulink Coverage per acquisire i dati di copertura del modello.

Metriche di copertura del modello
Copertura di un modello con Simulink Coverage
Risoluzione della copertura del modello mancante

Requisiti derivati e verifica della progettazione

Obiettivo: Scoprire come utilizzare Simulink Design Verifier per la verifica dei requisiti di basso livello.

Identificazione di elementi non raggiungibili con Simulink Design Verifier
Sviluppo di test di basso livello per la copertura del modello mancante
Report sulla copertura del modello

Giorno 3/3

Verifica e tracciabilità del codice del modello

Obiettivo: Utilizzare Simulink Code Inspector per dimostrare l'equivalenza strutturale e algoritmica tra un modello e il codice generato.

Panoramica sull'ispezione del codice
Compatibilità del modello Simulink Code Inspector
Verifica della tracciabilità da modello a codice

Analisi statica del codice e verifica formale del codice

Obiettivo: Dimostrare che il codice generato è conforme agli standard di codifica e che è robusto a fronte di vari errori di esecuzione.

Panoramica sugli strumenti Polyspace
Esecuzione di analisi Polyspace da Simulink
Applicazione degli standard di codifica con Polyspace Bug Finder
Dimostrazione della robustezza del codice con Polyspace Code Prover
Dimostrazione della copertura del controllo e dell'accoppiamento dei dati con Polyspace Code Prover

Verifica del codice rispetto ai requisiti del software

Obiettivo: Utilizzare Simulink Test per dimostrare la copertura completa del codice tramite casi di test dei requisiti del software e verificare i requisiti del software sull'hardware di destinazione.

Panoramica su Software-In-the-Loop e su Processor-In-the-Loop
Verifica del codice oggetto eseguibile rispetto ai requisiti di alto livello
Acquisizione della copertura del codice

Qualificazione dello strumento

Obiettivo: Utilizzare il DO Qualification Kit per qualificare i prodotti e le feature di MathWorks per la certificazione DO-178C.

Requisiti di qualificazione degli strumenti
Panoramica sul DO Qualification Kit
Esempio di qualificazione dello strumento
Strumenti qualificabili e crediti acquisiti
Personalizzazione del DO Qualification Kit

Livello: Avanzato

Prerequisiti:

Fondamenti Simulink (o Fondamenti Simulink per applicazioni aerospaziali), Architettura e gestione di modelli Simulink e Test basato su simulazione con Simulink. Conoscenza dello standard DO-178C e della relativa integrazione DO-331 per lo sviluppo di software Model-Based. Come richiesto: Stateflow per la modellazione di sistemi logici, Design Verification con Simulink, Embedded Coder per la generazione di codice di produzione e Polyspace per la verifica del codice C/C++.

Durata: 3 giorno

Contattaci per prendere un appuntamento

Corsi correlati

Embedded Coder per la Generazione di Codice di Produzione

Sviluppa modelli Simulink da utilizzare in sistemi embedded. Gli argomenti comprendono la struttura e l'esecuzione del codice, le opzioni e le ottimizzazioni per la generazione di codice, nonché la distribuzione del codice sull'hardware target.

Per saperne di più

Polyspace per la verifica del codice C/C++

Dimostra la correttezza del codice, rivedi e comprendi i risultati della verifica, gestisci funzioni e dati mancanti, misura le metriche di qualità del software e applica le regole MISRA C.

Per saperne di più

Architettura e Gestione di Modelli Simulink

Crea e gestisci in modo efficiente i modelli Simulink. I temi includono l'integrazione dei requisiti, il controllo delle fonti, l'applicazione degli standard di modellazione e la generazione di report.

Per saperne di più