NORMES DE L'INDUSTRIE

ARP-4754

La norme ARP-4754 régit les aspects de la certification aéronautique relatifs à l'ingénierie des systèmes, notamment les exigences des systèmes, la validation des exigences, la conception et la vérification des systèmes. Elle est supportée par la norme DO-178, qui spécifie les objectifs de certification pour les logiciels avioniques et par la norme DO-254 qui spécifie les objectifs de certification pour le hardware avionique. Publiée en 2010, ARP-4754A fournit des informations sur le recours à la modélisation et la simulation pour la capture des exigences, le prototypage et la validation des exigences.

Répondre aux exigences des normes comme ARP-4754, DO-178 et DO-254 peut s'avérer chronophage et onéreux, car ce travail implique d'effectuer des activités de vérification rigoureuses et bien documentées.

Grâce au Model-Based Design, les ingénieurs peuvent répondre aux objectifs de la norme ARP-4754 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 simulation et l'analyse de modèles, la vérification des standards de modélisation, la génération d'artefacts de rapports et la réutilisation de cas de tests.

MATLAB, System Composer et Simulink  supportent le Model-Based Design pour ARP-4754 comme indiqué dans le schéma ci-dessous.

« La modélisation avec Simulink est essentielle pour les tâches associées à la norme ARP 4754 de notre équipe, en particulier la validation des exigences au niveau du système, le développement de tests basés sur les exigences et la définition d'exigences logicielles de bas niveau que notre fournisseur utilise pour générer du code pour l'avionique conforme à la norme DO-178 DAL A à l'aide de Simulink et d'Embedded Coder. »

Rodrigo Fontes Souto, Embraer

Normes ARP-4754 avec MATLAB et Simulink


Produits