DO Qualification Kit (for DO-178 and DO-254)

重要更新

 

DO Qualification Kit (for DO-178 and DO-254)

鉴定 Simulink 和 Polyspace 验证工具是否符合 DO-178、DO-278 和 DO-254

用 DO-178 认证航空电子系统软件

使用该套件的工作流指南和其他材料来支持您的 DO-178C 认证流程。使用这些资源来帮助您使用 SimulinkPolyspace 软件工具根据 DO-330、DO-331 和 DO-333 等补充指南进行认证。

使用 DO-254 认证航空电子系统硬件

DO Qualification Kit 提供工作流指南和其他材料,以帮助您使用 Simulink 验证工具演示 DO-254 合规性。

鉴定工具

使用套件提供的文档模板、测试用例和测试过程实现 DO-178C 中规定的工具鉴定方法,以鉴定支持的 Simulink 和 Polyspace 产品

“利用基于模型的设计,我们成功地进行了首飞,控制和集成方面都没有任何问题。我们使用 Embedded Coder 从 Simulink 模型生成控制律代码,不再因手动生成代码而拖慢进度,让团队有更多时间着眼于整个项目在更高层面的目标。”

Mike Bothwell,贝尔直升机公司

有兴趣了解 DO Qualification Kit?