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

The MathWorks 提供的Simulink Verification and Validation 中的最新建模标准检查功能可以自动验证模型与 DO-178B、IEC-61508 和 MAAB 行业标准的合格性

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公司针对不同行业的应用提供了更为丰富的工具包和技术支持，来帮助工程师面对复杂的设计挑战和加速科技创新的进程。这些产品已经在很多行业得到了广泛应用：如汽车、航空航天、无线通信和数字通信、政府研发、过程工业、电子系统、生物技术、制药业、金融分析、地球与星球科学、仪器仪表制造和能源开发等。

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