La normame rp -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。它是support金宝appée par la norm DO-178，它是spécifie les objectifs de certification pour les logiciels avionique，它是DO-254，它是spécifie les objectifs de certification pour les hardware avionique。Publiée en 2010, ARP-4754A关于资源的四种信息à la modélisation和紧急情况的模拟捕获，原型和紧急情况的验证。

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

优雅的盟基于模型的设计, les ingenieur peuvent repondre辅助的目的就是标准arp - 4754全换成reduisant les cout et de商业化delais恩典la验证anticipee des紧急,l 'etablissement时候de留置权更紧急,la模拟等分析模型,la验证de modelisation des标准,génération的报告和réutilisation的测试。

MATLAB，系统的作曲家等金宝app金宝appsupport le Model-Based Design pour ARP-4754 comindiqué dans le schéma ci-dessous。