Simulink 验证和代码生成工具通过 IEC 62304 标准的验证

　　中国北京 – 2016 年 6 月 XX 日 – MathWorks今日宣布，已获得 TÜV SÜD 认证的Simulink Verification and Validation、Simulink Design Verifier、Simulink Test、Embedded Coder 和 Polyspace，经过相关专业验证，现可应用于符合 IEC 62304 标准的开发流程。这次独立评估使医疗设备设计工程师将 MathWorks 基于模型的设计工具应用于符合 IEC 62304 标准和 FDA 认证的开发流程的信心大增。

　　在 ISO 26262、IEC 61508 和 EN 50128 之外，MathWorks IEC Certification Kit 现在又包含了用于指导医疗设备软件开发流程的 IEC 62304 标准的认证证书。现在，使用基于模型的设计进行医疗设备嵌入式软件开发的工程师和研究人员可以直接将 IEC Certification Kit 提供的套件用作他们制定的工具验证计划中不可或缺的一部分。

　　成功完成审核流程的组织可获得使用 MathWorks 工具进行基于模型设计的认证信用点数，这些工具包括：

　　·用于自动执行需求追踪、建模标准合规性检查和模型覆盖的 Simulink Verification and Validation

　　·用于生成满足结构化覆盖目标的测试用例的 Simulink Design Verifier

　　·用于在仿真和处理器在环（PIL）测试过程中开发、管理和执行测试的 Simulink Test

　　·用于生成现场部署所需产品级质量代码的 Embedded Coder

　　·用于对手写代码和自动生成代码进行形式化验证的 Polyspace Bug Finder 和 Polyspace Code Prover

　　MathWorks 医疗设备行业经理 Arvind Ananthan 说道：“由于医疗设备生产商需要获得法规认证并满足合规性要求，他们越来越依赖基于模型的设计，以帮助他们简化并完善复杂的工作流。MathWorks 通过提供符合 IEC 62304 标准的验证工具，更加努力去帮助这些工程师减少进行工具验证的时间和精力，从而让他们能够专注于设计迭代和开发质量。”

　　关于 MathWorks

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