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

本文作者:MathWorks       点击: 2012-12-10 00:00
前言:

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 如何支持完整的软件开发和验证生命周期:使用 Tool Qualification Kit 为 DO-178 进行基于模型的设计。

上市时间
DO Qualification Kit R2012b 即将上市。有关更多信息,请访问产品网站 mathworks.cn/products/do-178/。 

关于 MathWorks
MathWorks公司是数学计算软件领域世界领先的开发商。它所推出的 MATLAB 是一种用于算法开发、数据分析、可视化和数值计算的程序设计环境,称为“科学计算的语言”。Simulink 是一种图形环境,可用于对多领域动态系统和嵌入式系统进行仿真和模型化设计。全球的工程师和科学家们都依赖于  MathWorks 公司所提供的这些产品家族,来加快在汽车、航空、电子、金融服务、生物医药以及其他行业的发明、创新及开发的步伐。MathWorks 产品也是全球众多大学和学术机构的基本教研工具。MathWorks 创建于 1984 年,总部位于美国马萨诸塞州的内蒂克市 (Natick, Massachusetts),在全球15 个国家/地区拥有 2400 多名员工。有关其他信息,请访问 www.mathworks.cn。