ARP-4754标准解决了飞机认证的系统工程方面的问题，包括系统需求、需求确认、系统设计和系统验证。它由DO-1金宝app78和DO-254支持，前者指定飞行软件认证目标，后者指定飞行硬件认证目标。发布于2010年的ARP-4754A提供了关于需求捕获、原型和需求验证的建模和仿真使用的信息。

满足诸如ARP-4754、DO-178和DO-254等标准的目标可能是耗时和昂贵的，因为它需要严格的和良好记录的验证活动。

使用基于模型的设计，工程师可以满足ARP-4754的目标，同时实现与需求的早期验证、自动链接到需求、模型模拟和分析、模型标准检查、报告工件生成和测试用例重用相关的成本和上市时间效益。

MATLAB，系统的作曲家，金宝app金宝app支持ARP-4754的基于模型的设计，如下所示。