STANDARD INDUSTRIALI

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. È stato modellato sulla base del DO-178, lo standard equivalente relativo alla certificazione dei software di volo. Come per DO-178, soddisfare gli obiettivi imposti da DO-254 può rivelarsi molto dispendioso in termini di tempi e costi per via dei numerosi processi:

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

Grazie alla progettazione Model-Based, gli ingegneri sono in grado di raggiungere gli obiettivi imposti dal 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 test case.

MATLAB®, Simulink® e HDL Coder™ supportano attività di sviluppo fondamentali grazie all’inclusione della progettazione Model-Based per DO-254.


Prodotti aggiuntivi che supportano importanti attività di verifica

  • Simulink Requirements™ consente di creare, analizzare e gestire i requisiti in Simulink. Simulink Check™ fornisce controlli e metriche, riconosciuti in ambito industriale, che identificano eventuali violazioni degli standard e delle linee guida durante lo sviluppo. Simulink Test™ e Simulink Coverage™ servono a svolgere verifiche dei modelli compresa l’analisi della copertura dei modelli.
  • HDL Verifier™ verifica il codice Verilog® e VHDL® usando i simulatori HDL e la funzione FPGA hardware-in-the-loop.
  • Simulink Report Generator™ documenta i modelli e i risultati dei test.
  • DO Qualification Kit consente di qualificare gli strumenti per questi e altri strumenti di verifica utilizzati nella progettazione Model-Based.