MATHWORKS通过基于模型的设计为DO-178C提供支持

　　MathWorks 日前宣布，从 Release 2012b (R2012b) 起，使用 DO Qualification Kit 的工程师们可以鉴定 Simulink 和 Polyspace 验证工具是否符合 DO-178C 及其补充标准(包括 DO-331)。这项针对 DO-178C 的支持现在为项目经理和认证机构提供了一种全球适用的标准化方法和框架，以采用基于模型的设计并加快嵌入式系统的认证。

　　美国联邦航空局 (FAA) 指定的负责其软件 A 级审定的工程代表 Steve Morton 说：“使用 DO-178C 和 DO-331，飞机制造商和供应商们可以收获基于模型的设计所带来的生产率、成本和质量等诸多助益，并且了解他们可以认证自己的系统，做到心中有数。DO Qualification Kit 中所描述的验证工作流程符合行业最佳实践和 FAA 软件认证机构的预期，包括验证独立性、可执行目标代码验证和针对自动生成的代码的结构覆盖率分析。”

　　在 R2012b 中，DO Qualification Kit 还为以下 DO-178C 补充标准提供 Simulink 和 Polyspace 产品支持：

• DO-330 软件工具鉴定注意事项
• DO-331 基于模型的开发和验证
• DO-332 面向对象技术和相关技术
• DO-333 形式化方法

　　DO Qualification Kit 为需要符合航空标准的项目提供了相关文档、测试用例以及程序来帮助鉴定支持的 Simulink 和 Polyspace 软件验证工具。该工具包还包括工具鉴定计划、工具使用要求和鉴定软件验证工具所需的其他材料(标准 2 和 3)。

　　DO-178 流程部署咨询服务建立在MathWorks 现有的DO-178能力基础之上，是DO Qualification Kit 工具包的有力补充。该咨询服务在 2012 年中引入，可为航空工程师提供 DO-178 标准指导，找出他们当前流程中的缺陷，使用基于模型的设计提供进一步优化的 DO-178 流程框架的路线图，并为该路线图的部署提供帮助。

　　上市时间

　　DO Qualification Kit R2012b 即将上市。