Maîtriser les certifications ARP4754A et DO-178C avec MATLAB et Simulink

Les ingénieurs d’aujourd’hui ne lanceraient pas un nouveau projet de développement de contrôle-commande DAL-A ou DAL-B sans utiliser le Model-Based Design, la simulation, la génération de code et la vérification.

En utilisant la simulation, vous pouvez minimiser votre effort et les risques de développement de systèmes visant à répondre à la norme ARP4754A, ce qui nécessite d’énormes efforts au niveau de l’ingénierie système, des interfaces et de la validation des exigences.

Au niveau des composants, vous pouvez réduire les efforts de conception de logiciels, de tests, de génération et vérification de code en automatisant ces tâches.

Ces vidéos, articles et autres ressources vous montrent comment : 

• Utiliser des outils qualifiés dans un processus de développement DO-178C selon le standard DO-330
• Appliquer le Model-Based Design avec MATLAB^® et Simulink^® pour se conformer à la norme DO-178C et ses annexes (DO-331, DO-332, et DO-333) pour obtenir le maximum de crédits de certification
• Tracer les exigences contenues dans un outil de gestion d’exigences tierce
• Vérifier les modèles et le code des systèmes complexes
• Prouver que votre conception est robuste, répond aux exigences et générer automatiquement des cas de tests
• Vérifier la conformité des modèles et du code à l’aide d’analyses statiques et formelles