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

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

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

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

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

　　关于 The MathWorks

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