MathWorks offre supporto per DO-178C con il model-based design

Nuovo aggiornamento del DO Qualification Kit per semplificare la qualifica degli strumenti di verifica Simulink e Polyspace

MathWorks ha annunciato che, a partire dalla Release 2012b (R2012b), gli ingegneri che utilizzano DO Qualification Kit potranno qualificare gli strumenti di verifica Simulink e Polyspace per DO-178C e i relativi supplementi, tra cui DO-331. Tale supporto per DO-178C offre ai program manager e agli enti di certificazione un approccio globale standardizzato e una cornice di riferimento per adottare il model-based design e accelerare la certificazione dei sistemi embedded.

TI PIACE QUESTO ARTICOLO?

Iscriviti alla nostra newsletter per essere sempre aggiornato.

“Usando DO-178C e DO-331, i produttori e i fornitori del settore aeronautico possono sfruttare i vantaggi, in termini di qualità, offerti dal model-based design, rimanendo sicuri di poter certificare i propri sistemi”, ha detto Steve Morton, Level A FAA Software DER. “Il flusso di lavoro della verifica descritto nel DO Qualification Kit corrisponde alla best practice di settore e risponde alle aspettative della community per la certificazione del software FAA, tra cui l’indipendenza della verifica, la verifica del codice oggetto eseguibile e l’analisi della copertura strutturale per il codice generato automaticamente.”

Nella release R2012b, DO Qualification Kit supporta anche i prodotti Simulink e Polyspace per i seguenti supplementi al DO-178C

· DO-330 Considerazioni sulla qualifica degli strumenti software;

· DO-331 Sviluppo model-based e verifica;

· DO-332 Tecnologia a oggetti e tecniche correlate;

· DO-333 Metodi formali.

DO Qualification Kit fornisce documentazione, test case e procedure che aiutano a qualificare gli strumenti Simulink e Polyspace usati nella verifica di progetti che devono rispettare gli standard del settore aerospaziale. Il kit contiene inoltre piani di qualificazione, requisiti operativi per gli strumenti e altri materiali necessari per la qualifica degli strumenti di verifica dei software (criteri 2 e 3).

Leggi anche:  Sardegna IT sceglie Dynatrace per garantire massima efficienza ed esperienza d’uso dei servizi sanitari digitali di Regione Sardegna

I miglioramenti del DO Qualification Kit si basano sulle funzionalità esistenti di MathWorks DO-178, tra cui il Servizio di Consulenza per l’Implementazione di Progetti DO-178. Introdotto nel 2012, questo servizio di consulenza offre agli ingegneri aerospaziali una formazione sullo standard DO-178, identifica le lacune nei processi attuali e fornisce un piano per arrivare a un processo più ottimizzato usando il model-based design, garantendo assistenza nell’applicazione di tale piano.