Il DO Qualification Kit mette a disposizione documentazione, casi di test e procedure che consentono di qualificare gli strumenti di verifica software Simulink e Polyspace per progetti basati su DO-178C, DO-278A e relative integrazioni. Il kit contiene piani di qualificazione degli strumenti, requisiti operativi degli strumenti e altri materiali necessari per qualificare gli strumenti di verifica software. Con il kit, è possibile semplificare la certificazione dei sistemi embedded sviluppati usando i workflow di progettazione Model-Based con i prodotti Simulink supportati. Usando il kit con i prodotti Polyspace, è possibile semplificare la certificazione di sistemi embedded che utilizzano workflow tradizionali o la progettazione Model-Based.
Il DO Qualification Kit consente anche di qualificare strumenti di verifica dei modelli Simulink per progetti basati su DO-254. Simulink Code Inspector e gli strumenti di verifica del codice Polyspace non supportano il codice HDL, pertanto non sono applicabili a DO-254.
Sono disponibili dei kit di qualificazione degli strumenti per versioni specifiche di strumenti di verifica Simulink e Polyspace basati su DO-330 (considerazioni sulla qualificazione degli strumenti software). Gli artefatti presenti nel kit di qualificazione degli strumenti possono essere modificati a seconda del progetto specifico e possono essere inclusi nei pacchetti di certificazione DO-178C, DO-278A e DO-254 presentati per la certificazione.
Certificazione di software per sistemi avionici con DO-178
Supporta i tuoi processi di certificazione DO-178C con le linee guida sui workflow del kit e altri materiali. Usa queste risorse per semplificare l’uso degli strumenti software Simulink e Polyspace per le integrazioni, tra cui DO-330, DO-331 e DO-333.
Certificazione di hardware di sistemi avionici con DO-254
Il DO Qualification Kit contiene linee guida sui workflow e altri materiali per semplificare l’uso degli strumenti di verifica Simulink nel dimostrare la conformità a DO-254.
Qualificazione di strumenti
Implementa l’approccio di qualificazione degli strumenti specificato in DO-178C utilizzando i modelli di documenti, i casi di test e le procedure di test presenti nel kit per qualificare i prodotti Simulink e Polyspace supportati.
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".