《电子技术应用》
您所在的位置:首页 > 通信与网络 > 业界动态 > THE MATHWORKS 为安全关键系统提供自动化模型检查支持

THE MATHWORKS 为安全关键系统提供自动化模型检查支持

航天和汽车工程师们现在可以在Simulink 内验证与 DO-178B、IEC-61508 和 MAAB 建模标准的合格性
2008-04-29
作者:MathWorks
 

 The MathWorks 于今日宣布 Simulink Verification and Validation 软件能够自动评估和验证系统模型与 DO-178B IEC-61508 标准及 MAAB 建模准则的合格性,这些建模准则已经被国际航天、汽车和工业设备市场广泛采用。用于这些安全关键标准的最新模型检查功能使 Simulink Verification and Validation 所提供的现有支持扩展到客户开发的建模准则。 

 

随着嵌入式系统设计变得越来越复杂,其模型扩展到数万个组成模块,多家工程机构已经使用建模准则作为最佳实践方法来增强可读性、增加可维护性和促进重新使用,同时防止出现建模错误。在典型情况下,建模准则通过设计审核过程中对模型和相关文档的目视检查来进行验证的。然而,越来越多的组织已经通过使用 Simulink Verification and Validation 来取得内部准则并对模型进行自动检查,以此来减少或摒弃这种耗费时间而且容易出错的人工验证工作。  

 

Simulink Verification and Validation 包括用于 DO-178BIEC-61508 MAAB 建模准则的建模标准检查功能这些 建模标准已经在 Simulink Model Advisor 功能中得到应用。Model Advisor 也可以检查其他的属性例如模型一致性和代码生成" title="代码生成">代码生成兼容性。另外工程师们可以使用 Simulink Verification and Validation 中的自定义应用编程接口API),来开发自己的建模检查功能使用熟悉的 MATLAB 脚本),并用在 Model Advisor 中注册实现自动执行。 

 

在与航天、汽车、工业设备行业内及其它构建安全系统" title="安全系统">安全系统的专家的合作过程中The MathWorks 意识到建模标准合格性对整体开发过程具有关键性的作用,”The MathWorks 的航天、军工和汽车市场经理Jon Friedman 如此说道。许多用户已经采用 Simulink Verification and Validation 将其设计与自己的建模准则做对照检查并将此作为开发过程中的一个核心部分。现在,工程师们可以使用相同的工具来确保他们的模型在数据类型、诊断、代码生成和安全方面符合 DO-178BIEC-61508 MAAB 标准,不必将重要的工时耗费在反复的人工检查上。 

 

关于 The MathWorks 

The MathWorks公司是世界领先的科学计算和基于模型设计的软件供应商的领导者,其客户是覆盖世界各大洲100多个国家的1,000,000多名顶级工程师、科学家,数学家和研发人员,他们工作在世界上最先进的技术公司、政府实验室、金融机构以及3500多所大学。基于MATLAB Simulink之上,The MathWorks公司针对不同行业的应用提供了更为丰富的工具包和技术支持,来帮助工程师面对复杂的设计挑战和加速科技创新的进程。这些产品已经在很多行业得到了广泛应用:如汽车、航空航天、无线通信和数字通信、政府研发、过程工业、电子系统" title="电子系统">电子系统、生物技术、制药业、金融分析、地球" title="地球">地球与星球科学、仪器仪表制造和能源开发等。 

 

The MathWorks 公司成立于1984年,总部位于美国马萨诸塞州的Natick市,在全球拥有超过1800人的员工。更多信息,请访问中文网站:www.mathworks.cn 

本站内容除特别声明的原创文章之外,转载内容只为传递更多信息,并不代表本网站赞同其观点。转载的所有的文章、图片、音/视频文件等资料的版权归版权所有权人所有。本站采用的非本站原创文章及图片等内容无法一一联系确认版权者。如涉及作品内容、版权和其它问题,请及时通过电子邮件或电话通知我们,以便迅速采取适当措施,避免给双方造成不必要的经济损失。联系电话:010-82306118;邮箱:aet@chinaaet.com。