Simulink Code Inspector 加强了 MathWorks 对 DO-178 认证的支持

本文作者:admin       点击: 2011-09-05 00:00
前言:
MathWorks 在2011b版 (R2011b) MATLAB 和 Simulink 产品系列中新引入了 Simulink Code Inspector,该产品促进了对基于 Simulink 模型生成的源代码的检查。航空工程师们现在可以使用 Simulink Code Inspector 来创建详细的模型到代码和代码到模型的检查报告,帮助实现了 DO-178B 表 A-5 中规定的源代码验证和可追踪目标。

传统上,根据需求验证代码是一个耗时且容易出错的过程,它要求根据项目检查表手动逐行检查代码。而 Simulink Code Inspector 是使用自动化过程根据模型来验证生成的代码结构。该过程基于所生成代码中的运算、运算符和数据系统性地比较模型中使用的功能块、参数和设置,从而检查结构等同性。

Simulink Code Inspector 也会生成验证和可追踪性报告,这些报告可以进行查看、存档并与认证机构共享,可极大缩减验证时间和成本。通过 Simulink Code Inspector,工程师们可以通过使用高完整性系统中所常用的 Simulink 功能块和模型参数的特定子集来准备代码检查的模型。接着,他们可以根据模型生成并检查代码,并审核检查和可追踪性报告。

用于系统设计与仿真的 Simulink、用于生成飞行代码的 Embedded Coder 以及用于检查源代码的 Simulink Code Inspector,这三个产品的结合为航空工程师们提供了一个适用于基于模型的设计和 DO-178 开发和验证的高度自动化和灵活的环境。

MathWorks 航空航天和国防工业经理 Jon Friedman 说:“开发高完整性系统的航空工程师们不断经受着各种压力,他们不但要满足自己所设计的系统的严苛要求,而且还要适应行业对开发速度和品质日益增强的要求。由于已经建立基于模型的设计来做作为设计流程,这些工程师们将对 MathWorks 工具的利用范围扩大到了要求认证的项目和大型程序。Simulink Code Inspector 使工程师们能够在减少认证瓶颈和优化认证过程方面再次向前迈出了一大步。” 
 
关于 MathWorks
MathWorks 是数学计算软件的领先软件供应商。MATLAB 是一种用于算法开发、数据可视化、数据分析以及数值计算的技术计算语言和编程环境。Simulink 是一种用于对多领域动态和嵌入式系统进行仿真和模型设计的图形化环境。全球各地的工程师和科学家均借助其产品系列,加速汽车、航空、电子、金融服务、生物技术医药和其它行业的研究、创新和开发步伐。MathWorks 产品同时也是全球大学和教育机构在教学和研究中使用的主要工具。公司于 1984 年创立,总部位于美国马萨诸塞州内蒂克市 (Natick, Massachusetts),在全球 15 个国家有超过 2200 名员工。
有关其他信息,请访问 www.mathworks.cn。