关于Simulink验证和IEC 62304标准验证的不同之处

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标准的认证证书。现在，使用基于模型的设计进行医疗设备嵌入式软件开发的工程师和研究人员可以直接将IECCertification 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是数学计算软件领域世界领先的开发商。它所推出的MATLAB是一种用于算法开发、数据分析、可视化和数值计算的程序设计环境，称为“科学计算的语言”。Simulink是一种图形环境，可用于对多域动态系统和嵌入式系统进行仿真和基于模型设计。全球的工程师和科学家们都依赖于MathWorks公司所提供的这些产品系列，来加快在汽车、航空、电子、金融服务、生物医药以及其他行业的发明、创新及开发的步伐。