La norme DO-254 établit un ensemble d'objectifs pour la certification du hardware utilisé dans les systèmes aéroportés. MATLAB® et Simulink® vous permettent de répondre aux objectifs de la norme DO-254 et supportent les processus suivants :
- La gestion et la traçabilité des exigences
- La conformité aux standards de design
- Le design HDL
- La vérification et la validation
Grâce à l'approche Model-Based Design, vous pouvez 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 à différents niveaux.
DO-254 Resources
Matériel de support à la norme DO-254
- Comment utiliser l'approche Model-Based Design pour démontrer la conformité à la norme DO-254 (8:25)
- Certification d'un système de contrôle de vol implémenté sur un SoC (13:33)
- Obtenir la conformité aux normes STARC et DO-254 en utilisant le code généré par HDL Coder
- MATLAB et Simulink pour les systèmes embarqués
- Applications de tests HIL et automatisés destinées à l'aérospatiale reposant sur des solutions MathWorks et Speedgoat
- Méthodologie UVM (Universal Verification Methodology)
- Assertions de SystemVerilog
- Poster détaillé du workflow de l'approche Model-Based Design pour la norme DO-254