Servizio di consulenza per la certificazione DO-178

MathWorks Consulting Services ti aiuta a migrare il tuo attuale processo di sviluppo software, sia che sia basato su metodi manuali o sulla progettazione Model-Based, a un metodo che utilizza la progettazione Model-Based per DO-178. Il servizio di consulenza per la certificazione DO-178 è personalizzato in base al tuo ambiente, ai tuoi strumenti e alle tue applicazioni specifici, sarà in grado di identificare le lacune nei tuoi processi attuali, di sviluppare una roadmap verso un workflow ottimizzato per DO-178 utilizzando la progettazione Model-Based e ti aiuterà a implementarla. MathWorks Consulting Services ti fornisce la preparazione necessaria per eseguire attività chiave di modellazione, generazione di codice e qualificazione degli strumenti per raggiungere i nuovi obiettivi di DO-178C e dei suoi documenti integrativi DO-330 (Considerazioni sulla qualificazione degli strumenti software), DO-331 (Sviluppo e verifica Model-Based) e DO-333 (Metodi formali).

sezione trasversale turbina do-178

Il servizio di consulenza per la certificazione per DO-178 è fornito da consulenti MathWorks di alto livello con conoscenze acquisite in anni di sviluppo di software ad alta integrità in collaborazione con clienti del settore aerospaziale. MathWorks Consulting Services aiuta le organizzazioni a evitare gli errori più comuni e a ridurre tempi, sforzi e costi per sviluppare software ad alta integrità che soddisfino gli obiettivi DO-178.

MathWorks Consulting Services ti supporta nelle seguenti procedure:

Esecuzione di attività chiave per la conformità a DO-178

  • Tracciabilità dei requisiti
  • Test basati sui requisiti e coverage dei modelli
  • Verifica degli standard del modello utilizzando Simulink Model Advisor
  • Revisione, tracciabilità e analisi del codice utilizzando i prodotti Simulink Code Inspector™ e Polyspace®
  • Generazione di casi di test e analisi della progettazione con Simulink Design Verifier™
  • Configurazione degli strumenti e generazione di codice con Embedded Coder®
  • On-target testing di algoritmi che utilizzano Processor-In-the-Loop, compresa l'analisi della coverage del codice (ad esempio, MC/DC)
  • Qualificazione degli strumenti con DO Qualification Kit (for DO-178)
  • Generazione di artefatti di processo necessari per la conformità a DO-178

Pianificazione ed esecuzione

  • Trasformazione dell'attuale processo di sviluppo del software della tua azienda con miglioramenti in termini di efficienza
  • Identificazione ed esecuzione di un approccio graduale per ottenere guadagni in termini di efficienza

Addestramento del tuo team

  • Scopri come applicare e sfruttare appieno la progettazione Model-Based per massimizzare i benefici e soddisfare gli obiettivi di DO-178 e dei suoi documenti integrativi.
  • Diventa autosufficiente costruendo un centro di competenza per la progettazione Model-Based.

Passaggi successivi

La strategia di migrazione verso un processo di sviluppo software ottimizzato che utilizza la progettazione Model-Based in un workflow per DO-178 varia a seconda dell'azienda e dell'applicazione. MathWorks Consulting Services si basa sull’esperienza nel prodotto e in diversi background industriali per realizzare un processo su misura per le tue esigenze. I passaggi possono includere:

  • Valutazione dei processi e degli strumenti esistenti - I consulenti MathWorks esaminano il tuo attuale processo di sviluppo software, gli strumenti, l'applicazione, i livelli di sicurezza richiesti (A-E) e i documenti di pianificazione, compresa la qualificazione degli strumenti.
  • Analisi delle lacune — I nostri consulenti eseguono un'analisi delle lacune per identificare le sfide attuali, i miglioramenti in termini di efficienza dei processi, la formazione e altre raccomandazioni per la migrazione a un framework di processo DO-178 utilizzando la progettazione Model-Based. Sviluppiamo una roadmap attuabile che include un approccio graduale per ottenere i miglioramenti consigliati.
  • Trasferimento delle conoscenze - Forniamo istruzioni per mostrare come la progettazione Model-Based e la sua catena di strumenti di supporto possano essere applicate per soddisfare gli obiettivi di DO-178 e dei suoi documenti integrativi, evidenziando le migliori pratiche maturate da un’esperienza pluriennale. Gli argomenti potrebbero comprendere l'esecuzione di attività di verifica utilizzando le funzionalità di strumenti specifici e l'approfondimento di argomenti basati su un elenco di esigenze prioritarie.
  • Supporto pratico per la distribuzione - I consulenti MathWorks supportano l'implementazione del processo consigliato in un progetto specifico. Forniamo assistenza per la modellazione, simulazione, generazione di codice, verifica, convalida, personalizzazione del DO Qualification Kit e per le attività di certificazione. Forniamo supporto per la preparazione di documenti di pianificazione DO, come il PSAC, nel contesto dell'utilizzo della progettazione Model-Based e della generazione di artefatti di qualificazione degli strumenti DO-178, mediante personalizzazione del DO Qualification Kit.

Contatta MathWorks Consulting Services per parlare dei tuoi requisiti specifici.


Raymond Estrada

Raymond Estrada è un consulente tecnico di alto livello con una vasta esperienza nel settore della guida, della navigazione e dei controlli e della generazione di codice per l'utilizzo in ambiente HIL. È specializzato nell'aiutare le organizzazioni ad applicare la progettazione Model-Based per sviluppare e distribuire software embedded per applicazioni ad alta integrità conformi agli standard di sicurezza. Raymond ha conseguito una laurea in ingegneria aeronautica e astronautica presso il Massachusetts Institute of Technology e un master in ingegneria aerospaziale presso la University of California, Los Angeles.

Relazioni di conferenze e materiali tecnici correlati