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
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
Per saperne di più
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
Per saperne di più
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
Scopri i nostri prodotti
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
Scopri i nostri prodotti
“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
Per saperne di più