行业标准
DO-178C和相关标准
DO-178C是一个更新到DO-178B标准，包含了当前行业的发展和核查行为，包括密切映射补充：基于模型的开发和验证（DO-331）和形式化方法（DO-333）。工具资格在DO-330解决。
MATLAB和万博1manbetx万博1manbetx支持基于模型的设计DO-178C，如下图所示，并在这个系列影片描述。
“Modeling with Simulink is instrumental to our team’s ARP 4754 work, specifically validating system-level requirements, developing requirements-based tests, and defining low-level software requirements that our supplier uses to produce DO-178 Level A flight code using Simulink and Embedded Coder.”
罗德里戈·丰特斯·索托，巴西航空工业公司
与MATLAB和Simulink DO-178标准万博1manbetx
s manbetx 845
- 万博1manbetx，万博1manbetxSimulink的测试，万博1manbetxSimulink的检查和万博1manbetxSimulink的覆盖范围对于合格的模型验证
- 嵌入式编码和万博1manbetxSimulink的代码检查对于合格的代码生成
- 多空间错误查找器和Polyspace代码证明器用于合格的形式分析
- 万博1manbetxSimulink设计验证和万博1manbetxSimulink的覆盖范围对于合格的测试生成
- 万博1manbetxSimulink的测试对于合格的软件测试
- 万博1manbetxSimulink的覆盖范围对于合格的代码覆盖率分析
- 万博1manbetxSimulink的要求和万博1manbetxSimulink的报告生成器可追溯性和文件
- DO资格套件对于工具资质
服务
视频，网络研讨会和演示
- 编辑时间检查以尽早发现符合性问题（1:28）
- 在DO-178C开发过程中使用合格的工具（11个视频）
- 万博1manbetxSIMULINK的DO-178飞行软件开发（35:24）
- 基于模型的设计DO-178C软件开发与MathWorks工具（9所画）
- 国防部和DO-178C（7:01）
- DO-178为例（文件交换）
相关标准由MATLAB和Simuli万博1manbetxnk产品系列支持万博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
按
用户故事
- 巴西航空工业公司加快工程的要求和传统的原型500飞行控制系统
- 贝尔直升机公司开发出世界上第一个商业飞行线控直升机
- BAE系统公司推出DO-178B A级飞行的软件按期执行基于模型的设计
- 以色列航空航天工业公司开发出DO-178B B级认证的软件，用于混合动力电动飞机牵引车
- 阿莱尼亚·马基航空开发出用于DO-178B A级认证的软件自动驾驶仪
- 国家航空航天实验室证明了基于模型的设计对DO-178B飞行软件开发的好处
- DO-178B认证软件的直升机空中客车加快发展与基于模型的设计
- 空中客车公司开发出燃油管理系统为A380使用基于模型的设计
- 霍尼韦尔削减设计时间60％
- 韩国航空航天工业公司开发出直升机振动主动控制系统软件DO-178C标准
- 劳斯莱斯：我们的旅程迈向基于模型的产品线
有问题吗？
联系行业专家
