DO Qualification Kit (per DO-178 e DO-254)

 

DO Qualification Kit (per DO-178 e DO-254)

Qualificazione di strumenti di verifica Simulink e Polyspace per DO-178, DO-278 e DO-254

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.

"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".