行业标准

ARP-4754

ARP-4754 标准涉及飞机系统工程方面的认证,包括系统需求、需求确认、系统设计和系统验证。该标准受 DO-178(指定飞行软件认证目标)和 DO-254(指定飞行硬件认证目标)的支持。2010 年发布的 ARP-4754A 提供了关于使用建模和仿真进行需求捕获、原型设计和需求确认的信息。

由于需要严格且有据可查的验证活动,满足 ARP-4754、DO-178 和 DO-254 等标准的目标既费时又昂贵。

使用基于模型设计,工程师可以在满足 ARP-4754 目标的同时,通过较早验证需求、自动化需求链接、模型仿真与分析、模型标准检查、报告材料生成和测试用例重用等实现成本效益及上市时间效益。

MATLABSystem ComposerSimulink 支持符合 ARP-4754 标准的基于模型设计(如下图所示)。

“使用 Simulink 建模对于我们团队的 ARP 4754 工作很有帮助,特别是确认系统级需求、开发基于需求的测试,以及定义低层级的软件需求,在这些需求的基础上,我们的供应商使用 Simulink 和 Embedded Coder 生成 DO-178 A 级机载软件代码。”

Rodrigo Fontes Souto,Embraer

MATLAB 和 Simulink 支持 ARP-4754 标准


产品