DO-254

Lo standard DO-254 definisce una serie di obiettivi da soddisfare affinché l’hardware possa essere certificato per l’uso su sistemi avionici. MATLAB^® e Simulink^® consentono di soddisfare i requisiti imposti dallo standard DO-254 e di supportare i seguenti processi:

• Gestione e monitoraggio dei requisiti
• Conformità agli standard di progetto
• Progettazione HDL
• Verifica e convalida

Grazie alla progettazione Model-Based, è possibile soddisfare i requisiti imposti dallo standard DO-254 ottenendo al contempo i vantaggi, quali la limitazione dei costi e la riduzione dei tempi di immissione sul mercato, associati ad una verifica precoce dei requisiti, un collegamento automatico ai requisiti, al controllo degli standard relativi a modelli e codice, alla generazione di codice, alla generazione di report relativi agli artefatti e al riutilizzo dei casi di test a diversi livelli.