NORMES DE L'INDUSTRIE

DO-254

La norme DO-254 établit un ensemble d'objectifs pour la certification du hardware utilisé dans les systèmes aéroportés. Elle est inspirée du DO-178, la norme équivalente pour la certification des logiciels avioniques. Comme pour le DO-178, répondre aux exigences du DO-254 peut être un travail onéreux et chronophage en raison de plusieurs processus :

  • La gestion et la traçabilité des exigences
  • La conformité aux standards de design
  • La vérification et la validation

Grâce au Model-Based Design, les ingénieurs peuvent répondre aux objectifs du DO-254 tout en réduisant les coûts et les délais de commercialisation grâce à la vérification anticipée des exigences, l'établissement automatique de liens vers les exigences, la vérification des standards de codage et de modélisation, la génération de code et d'artefacts de rapports ainsi que la réutilisation de cas de tests.

MATLAB®, Simulink® et HDL Coder supportent les activités essentielles du développement basé sur le Model-Based Design pour le DO-254.


Autres produits supportant les tâches de vérification importantes

  • Simulink Requirements™  vous permet de créer, analyser et gérer des exigences dans Simulink. Simulink Check™  propose des règles de vérification et de métriques reconnues dans l’industrie permettant d'identifier les violations des normes et des directives lors du développement. Simulink Test™ et Simulink Coverage™ permettent de vérifier les modèles, notamment d'analyser la couverture des modèles.
  • HDL Verifier™ vérifie du code Verilog® et VHDL® grâce à des simulateurs HDL et au test FPGA hardware-in-the-loop.
  • Simulink Report Generator documente les modèles et les résultats de test.
  • DO Qualification Kit permet la qualification d'outils pour les produits ci-dessus et d'autres outils de vérifications utilisés dans le Model-Based Design.