STANDARD INDUSTRIALI

DO-178C

Certificazione per sistemi avionici sfruttando la progettazione Model-Based

Lo standard DO-178C definisce una serie di obiettivi da soddisfare affinché il software possa essere certificato per l’uso su sistemi avionici. È possibile ridurre i rischi e gli sforzi associati a un approccio di verifica per supportare gli obiettivi dello standard DO-178C:

Itera e affina i requisiti di sistema creando una specifica eseguibile
Definisci un’architettura e conferma le tue scelte di progettazione relative alla solidità e alla manutenibilità sfruttando tecniche di modellazione e simulazione
Dimostra la copertura del codice e degli eseguibili tramite test back-to-back e tracciabilità end-to-end, dai requisiti ai test
Automatizza l’attività di revisione di codici e modelli
Riduci le attività di prova impiegando metodi formali

Standard DO-178 con MATLAB e Simulink

Leonardo accelera lo sviluppo e la conformità del software di navigazione radar allo standard DO-178C

Airbus Defence and Space sviluppa sistemi avionici cruciali per la sicurezza con la progettazione Model-Based

Alenia Aermacchi sviluppa software di pilota automatico per la certificazione DO-178B di Livello A

Bell Helicopter sviluppa il primo elicottero commerciale fly-by-wire al mondo

Gestione dei requisiti e tracciabilità
Implementazione e verifica del progetto
Dimostrazione della qualità del codice

Uso di test basati su requisiti
Attuazione di un workflow qualificato

Gestione dei requisiti e tracciabilità

Gestisci i requisiti di sistema con la tracciabilità end-to-end:

Crea requisiti con rich text, immagini e tutti i relativi attributi
Revisiona e dimostra la completezza rispetto ai tuoi obiettivi
Genera la documentazione sui requisiti per lo svolgimento degli audit di certificazione

Storie di successo dei nostri clienti

Alenia Aermacchi ha accorciato i tempi di revisione dei requisiti del 30%

Per saperne di più

Tracciamento dei collegamenti dei requisiti con una matrice di tracciabilità

Scopri i nostri prodotti

Implementazione e verifica del progetto

Progetta un’architettura e fai scelte di implementazione per rendere il tuo progetto solido e facilmente sottoponibile a manutenzione:

Scomponi la tua implementazione e procedi alla componentizzazione
Gestisci l’accoppiamento dei dati e l’accoppiamento dei controlli
Accertati che il tuo progetto sia accurato e conforme agli standard industriali (verifiche secondo DO-178C/DO-331, DO-254)
Genera la documentazione di progetto per lo svolgimento degli audit di certificazione
Genera codice e assicurati che codice e modelli siano conformi

Storie di successo dei nostri clienti

Simulink Code Inspector e Polyspace sono qualificati per DO-330

Per saperne di più

Conformità agli standard di modellazione (2:56)

Scopri i nostri prodotti

Dimostrazione della qualità del codice

Automatizza l’attività di convalida del codice tramite la conformità alla Motor Industry Software Reliability Association (MISRA) e adottando metodi formali:

Verifica la qualità del codice e la relativa manutenibilità ispezionando il codice in relazione alle regole della MISRA o di CERT-C
Riduci le attività di prova di basso livello grazie ai metodi formali (DO-333)

Storie di successo dei nostri clienti

Integrazione continua: automatizzazione del workflow

Per saperne di più

Verifica della conformità delle regole del codice MISRA con i prodotti Polyspace (5:09)

Scopri i nostri prodotti

Tracciabilità di requisiti e test nei risultati di copertura.

Esecuzione di test sull’implementazione in base a requisiti

Dimostra la conformità ai requisiti in relazione alle aspettative tecniche e funzionali:

Riutilizza le procedure di test impiegate per maturare i requisiti per i test formali
Sfrutta i test basati su requisiti per lo sviluppo dei modelli

Storie di successo dei nostri clienti

Simulink Code Inspector e Polyspace sono qualificati per DO-330

Scopri i nostri prodotti

Attuazione di un workflow qualificato

“La qualità del codice generato è altamente affidabile, al pari di quella del codice creato mediante le nostre procedure manuali tradizionali. Con Embedded Coder sappiamo di generare il codice corretto e grazie a Simulink Code Inspector possiamo garantirne la tracciabilità rispetto al modello.”
Jillian Alfred, progettista leggi di controllo fly-by-wire del Bell 525

Leggi la storia

Per saperne di più