ARP-4754标准涉及飞机认证的系统工程方面，包括系统要求、要求验证、系统设计和系统验证。它由指定飞行万博1manbetx软件认证目标的DO-178和指定飞行硬件认证目标的DO-254支持。2010年发布的ARP-4754A提供了关于使用建模和仿真来获取需求、原型设计和需求验证的信息。

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

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

MATLAB,系统的作曲家,万博1manbetx万博1manbetx支持基于模型的ARP-4754设计，如下所示。