The Mathworks propone nuovo servizio di consulenza grazie al quale gli ingegneri aerospaziali potranno essere sicuri che le applicazioni ad alta integrità, sviluppate usando Matlab e Simulink, siano conformi agli standard DO, quali gli standard DO-178B, DO‑178C e DO-331, il supplemento sullo sviluppo e la verifica model-based abbinato allo standard DO-178C e lo standard DO-278A.
Il Servizio di Consulenza riguarda infatti l’implementazione di Processi DO-178; esso offre agli ingegneri una formazione sullo standard, identifica le lacune nei processi attuali, fornisce un piano per arrivare a un quadro di processo più ottimizzato usando la progettazione model-based e garantisce assistenza nell’applicazione del piano stesso.
Diverse le fasi in cui si articola il programma: familiarizzazione con i processi e gli strumenti esistenti (analisi dell’attuale processo di sviluppo del software di volo, gli strumenti e le applicazioni in uso, i livelli di sicurezza richiesti (A-E) e i documenti di pianificazione, compresa la qualificazione degli strumenti); analisi dei gap basata sulle conoscenze acquisite nella prima fase, per identificare le attuali sfide e i possibili miglioramenti in termini di efficienza dei processi, la formazione e le modifiche che potrebbero essere necessarie per un quadro di processo DO-178, usando la progettazione model-based (l'attività include lo sviluppo di un piano di immediato utilizzo con un approccio a fasi, avente come obiettivo il raggiungimento dei miglioramenti consigliati); fornitura di istruzioni mirate per colmare i gap; supporto pratico all’implementazione.
I consulenti possono fornire assistenza su un’ampia gamma di aree, tra cui la modellazione, la simulazione, la generazione di codice, la verifica, la convalida e la certificazione.
L’assistenza in tema di certificazione e conformità include la preparazione della serie di strumenti e la generazione o la creazione di documenti come gli artefatti per la qualifica degli strumenti Psac e DO-178, usando il DO Qualification Kit.
Quest'ultimo agevola la qualificazione degli strumenti in relazione allo standard DO-178 e agli standard a esso correlati, fornendo documentazione, test case e procedure per qualificare i prodotti Simulink o i prodotti Polyspace per la verifica del codice nell’ambito di progetti basati sullo standard DO-178.
I consulenti possono fornire assistenza su un’ampia gamma di aree, tra cui la modellazione, la simulazione, la generazione di codice, la verifica, la convalida e la certificazione.
L’assistenza in tema di certificazione e conformità include la preparazione della serie di strumenti e la generazione o la creazione di documenti come gli artefatti per la qualifica degli strumenti Psac e DO-178, usando il DO Qualification Kit.
Quest'ultimo agevola la qualificazione degli strumenti in relazione allo standard DO-178 e agli standard a esso correlati, fornendo documentazione, test case e procedure per qualificare i prodotti Simulink o i prodotti Polyspace per la verifica del codice nell’ambito di progetti basati sullo standard DO-178.