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, DO-254 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.
Sono disponibili dei kit di qualificazione degli strumenti per versioni specifiche di strumenti di verifica Simulink e Polyspace basati su DO-330. 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".
DO Qualification Kit (per DO-178) - Domande frequenti
Il DO Qualification Kit è una raccolta di documentazione, casi di test e procedure che aiuta a qualificare gli strumenti di verifica MathWorks—come Simulink® e gli strumenti basati su Polyspace®—per progetti software e hardware aeronautici che devono conformarsi a standard quali DO 178C, DO 254 e DO 278A.
Il DO Qualification Kit è pensato per supportare lo sviluppo di sistemi aeronautici in conformità alle linee guida utilizzate dalle autorità di certificazione, fornendo un modo strutturato per dimostrare che gli strumenti svolgono correttamente le funzioni di verifica previste e non introducono errori.
Il DO Qualification Kit fornisce artefatti di qualificazione per progetti basati su DO 178C, DO-331, DO 254 e DO 278A. Il DO Qualification Kit si concentra sugli strumenti MathWorks per la verifica e la validazione utilizzati in un flusso di lavoro basato su modelli, inclusi i prodotti di verifica e validazione di Simulink e gli strumenti Polyspace per l'analisi statica e il testing del codice. Questi strumenti vengono utilizzati per automatizzare i controlli del modello, l'analisi della copertura, l'esecuzione dei test e i controlli di coerenza modello-codice nei workflow conformi a DO-178C/DO-331 e DO-254. Per l'elenco aggiornato e dettagliato degli strumenti e delle funzionalità supportati, consultare la documentazione del DO Qualification Kit nell'help del prodotto.
No. Il DO Qualification Kit non ""prequalifica"" gli strumenti. La qualificazione degli strumenti deve essere effettuata nel contesto di ciascun progetto specifico e dell'ambiente operativo. L'utente dello strumento è in ultima analisi responsabile della qualificazione, inclusa la dimostrazione che lo strumento è adeguato per l'uso previsto e la verifica del suo funzionamento nell'ambiente installato. Il DO Qualification Kit fornisce artefatti—come documenti di pianificazione, requisiti operativi degli strumenti, casi di test di qualificazione e rapporti di test—per supportare tale sforzo di qualificazione specifico del progetto e per ridurre la quantità di documentazione e test personalizzati che è necessario creare.
Il DO Qualification Kit aiuta a dimostrare la conformità nell'uso degli strumenti all'interno di un progetto DO-178C o DO-254 fornendo: piani e modelli di qualificazione degli strumenti (ad esempio contenuti relativi a PSAC e TQP per gli strumenti di verifica); requisiti operativi degli strumenti, specifiche di test e casi di test di qualificazione automatizzati eseguibili nel proprio ambiente; documenti di workflow che mappano l'uso di Simulink, Embedded Coder, Simulink Code Inspector, Polyspace e strumenti correlati agli obiettivi di DO-178C e DO-254. Questi artefatti sono pensati per essere integrati nei piani di progetto, nella tracciabilità e nella gestione della configurazione in modo che, durante un audit, sia possibile mostrare come le attività di qualificazione degli strumenti supportino gli obiettivi di DO-178C, DO-254, DO-330 e DO-331.
Un modo tipico per iniziare con il DO Qualification Kit è: aprire l'app DO Qualification Kit e i progetti di esempio da MATLAB o Simulink. Dall'app è possibile aprire i progetti di esempio DO-178C e DO-254, esaminare la struttura del progetto ed esplorare gli artefatti forniti. Revisionare i documenti di workflow DO-178C e DO-254 inclusi nel kit per comprendere come gli strumenti qualificati si inseriscono nei processi di sviluppo del sistema, del software e dell'hardware. Adattare i piani, le checklist e i rapporti forniti (ad esempio i piani di qualificazione degli strumenti e le checklist) per adeguarli al proprio processo di sviluppo, agli supplementi degli standard e ai piani di certificazione. Eseguire i casi di test di qualificazione forniti nel proprio ambiente, esaminare i risultati e incorporare le evidenze generate nella gestione della configurazione del progetto e nel set di dati per la certificazione. Molti clienti del DO Qualification Kit iniziano seguendo l'esempio DO-178C/DO-254 fornito e poi personalizzano il workflow e gli artefatti in base alla propria architettura di sistema, DAL e toolchain.
