航空航天和国防

行业标准

DO-178C及相关标准

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

MATLAB和金宝app金宝app如下图所示，支持基于模型的DO-178C设计，以及在本系列视频中描述．

下载详细工作流程

“使用Simulink建模对我金宝app们团队的ARP 4754工作很有帮助，特别是验证系统级需求，开发基于需求的测试，并定义低级软件需求，我们的供应商使用Simulink和嵌入式编码器生成DO-178 A级飞行代码。”

Rodrigo Fontes Souto，巴西航空工业公司

下载188bet金宝搏

服务

视频，网络研讨会和演示

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

  • DO-178C，机载系统和设备认证中的软件考虑
  • DO-278A，通信、导航、监视和空中交通管理(CNS/ATM)系统软件完整性保证指引
  • DO-248C、D金宝appO-178C及DO-278A的支援资料
  • DO-330，软件工具确认考虑
  • DO-178C和DO-278A的基于模型的开发和验证补充
  • 面向对象技术及相关技术
  • DO-333, DO-178C和DO-278A的形式方法补充

新闻

用户故事