行业标准

DO-178C 和相关标准

DO-178C 是对 DO-178B 标准的更新,包含与当前行业发展和验证实践密切相关的补充文档,包括:基于模型的开发和验证 (DO-331) 以及形式化方法 (DO-333)。DO-330 中对工具鉴定进行了说明。

MATLABSimulink 支持符合 DO-178C 标准的基于模型设计(如下图所示),具体说明请查看本视频系列

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

Rodrigo Fontes Souto, Embraer

MATLAB 和 Simulink 支持 DO-178 标准

产品

服务

视频、网络研讨会和演示

MATLAB 和 Simulink 系列产品支持的相关标准

  • DO-178C:机载系统和设备认证中的软件注意事项
  • DO-278A:关于通信、导航、监视和空中交通管理 (CNS/ATM) 系统软件完整性保证的指南
  • DO-248C:DO-178C 和 DO-278A 的支持信息
  • DO-330:软件工具鉴定注意事项
  • DO-331:DO-178C 和 DO-278A 的基于模型开发与验证补充文档
  • DO-332:DO-178C 和 DO-278A 的面向对象技术和相关方法补充文档
  • DO-333:DO-178C 和 DO-278A 的形式化方法补充文档

新闻