首页 > 新品 > 医疗电子
[导读]MathWorks今日宣布,已获得 TÜV SÜD 认证的Simulink Verification and Validation、Simulink Design Verifier、Simulink Test、Embedded Coder 和 Polyspace,经过相关专业验证,现可应用于符合 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 标准的认证证书。现在,使用基于模型的设计进行医疗设备嵌入式软件开发的工程师和研究人员可以直接将 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 标准的验证工具,更加努力去帮助这些工程师减少进行工具验证的时间和精力,从而让他们能够专注于设计迭代和开发质量。”

换一批

延伸阅读

[新鲜事] 探讨外星人始终未被发现的12大可能的原因

探讨外星人始终未被发现的12大可能的原因

1950年,一次极具意义的午餐会话对未来几十年天文探索奠定了基础,物理学家恩里科·费米和同事们进行了一番辩论,他们主要聚焦于两个问题:一是星系非常古老、非常庞大,存在数千亿颗恒星,以及大量宜居行星;二是这意味着外星人在星系中拥有充足的时间进......

关键字:外星人 发现 原因

[破谣言] 为何曾经人人担忧的“网瘾”逐渐没人提及了?

为何曾经人人担忧的“网瘾”逐渐没人提及了?

网络成瘾(Internet addiction disorder,IAD)这个名词最初是美国的精神科医生伊万·戈登伯格(Ivan Goldberg)想拿《美国精神疾病诊断手册》(DSM-IV)开涮,因为酗酒、赌博成瘾等 “行为障碍” 缺乏生......

关键字:网络成瘾 精神疾病 中国特色
条评论

我 要 评 论

网友评论

技术子站

更多

推荐博客