行业标准
DO-178C及相关标准
DO-178C是DO-178B标准的更新,包含与当前行业开发和验证实践紧密对应的补充,包括:基于模型的开发和验证(DO-331)和正式方法(DO-333)。工具鉴定在DO-330中有论述。
MATLAB和万博1manbetx万博1manbetx支持DO-178C的基于模型的设计,如下图所示在本系列视频中描述.
“使用Simulink建模有助万博1manbetx于我们团队的ARP 4754工作,特别是验证系统级需求,开发基于需求的测试,并定义低级软件需求,我们的供应商使用Simulink和Embedded Coder生成DO-178 A级飞行代码。”
巴西航空工业公司的罗德里戈·丰特斯·索托(Rodrigo Fontes Souto)
使用MATLAB和Simulink的DO-178标准万博1manbetx
s manbetx 845
- 万博1manbetx,万博1manbetx仿真软件测试,万博1manbetx仿真软件检查和万博1manbetx模拟链路覆盖合格的模型验证
- 嵌入式编码器和万博1manbetx仿真软件代码检查器用于合格代码生成
- 多空间Bug查找器和Polyspace代码验证用于合格的形式分析
- 万博1manbetx仿真软件设计验证器和万博1manbetx模拟链路覆盖生成合格测试
- 万博1manbetx仿真软件测试合格软件测试
- 万博1manbetx模拟链路覆盖用于合格代码覆盖率分析
- 万博1manbetx仿真软件的需求和万博1manbetx仿真软件报告生成器可追溯性和文件记录
- 做资格工具包工具的资格
服务
视频、网络研讨会和演示
- 编辑时间检查以更早地查找法规遵从性问题(1:28)
- 在DO-178C开发过程中使用合格的工具(11个视频)
- 万博1manbetxSimulink for DO-178飞行软件开发(35:24)
- 用MathWorks工具进行DO-178C软件开发的基于模型设计(9)视频
- 国防部和DO-178C(7:01)
- - 178年案例吗(文件交换)
MATLAB和Simulink产品族万博1manbetx支持的相关标准万博1manbetx
- DO-178C,机载系统和设备认证中的软件注意事项
- DO-278A,通信、导航、监视和空中交通管理(CNS/ATM)系统软件完整性保证指南
- DO-248C, 万博1manbetxDO-178C和DO-278A的辅助资料
- DO-330,软件工具鉴定考虑
- DO-331,基于模型的开发和验证补充DO-178C和DO-278A
- DO-332,对DO-178C和DO-278A的面向对象技术和相关技术补充
- DO-333,DO-178C和DO-278A的正式方法补充
新闻
用户故事
- 李奥纳多加速了雷达导航软件与DO-178C的兼容
- 巴西航空工业公司速度要求Legacy 500飞行控制系统的工程和原型设计
- 贝尔直升机公司开发出世界上第一架商用电传直升机
- BAE系统公司提供基于模型设计的DO-178B A级飞行软件
- 以色列航空航天工业为混合动力飞机牵引车开发DO-178B级B级认证软件
- 阿莱尼亚公司为DO-178B A级认证开发自动驾驶仪软件
- 国家航空航天实验室证明了基于模型的设计对DO-178B飞行软件开发的好处
- 空中客车直升机通过基于模型的设计加速开发DO-178B认证软件
- 空客采用基于模型的设计开发A380燃油管理系统
- 霍尼韦尔减少60%的设计时间
- 韩国航空宇宙产业根据DO-178C标准开发直升机主动振动控制系统软件
- 劳斯莱斯:基于车型的产品线之旅