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。
中山部分路段正式禁止电动自行车
一种基于决策树的飞机级故障诊断建模方法研究
人工智能就是UPS为第四次工业革命到来做好的准备
稳健设计采用Saber仿真器提高系统可靠性
学生智能手环 助力健康防控
Simulink 验证和代码生成工具通过 IEC 62304 标准的验证
运算智能的关键因素是：光子计算芯片
英特尔不做手机芯片，转战何处？
2020年区块链技术应用将会在六个方面取得突破
仅18万路虎DC100越野SUV，全时四驱，双翼车门配全景天窗
深圳市信息行业协会联合华为等企业正式成立了工业互联网联盟
基于大数据分析,韩国3月开发了“新冠肺炎疫情智能管理系统”
一文详解IQ信号与IQ调制
Linux的特点与使用范围
小米首款双折叠手机全球首秀
为什么说电池技术是移动设备的短板？
真明丽：台湾LED厂定位不明 竞争力恐输陆厂
正点原子开拓者FPGA视频：录音机实验
俄罗斯正在准备修改数字金融资产的法律草案对数字货币交易进行免税
工业以太网的网络安全问题
在 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。
中山部分路段正式禁止电动自行车
一种基于决策树的飞机级故障诊断建模方法研究
人工智能就是UPS为第四次工业革命到来做好的准备
稳健设计采用Saber仿真器提高系统可靠性
学生智能手环 助力健康防控
Simulink 验证和代码生成工具通过 IEC 62304 标准的验证
运算智能的关键因素是：光子计算芯片
英特尔不做手机芯片，转战何处？
2020年区块链技术应用将会在六个方面取得突破
仅18万路虎DC100越野SUV，全时四驱，双翼车门配全景天窗
深圳市信息行业协会联合华为等企业正式成立了工业互联网联盟
基于大数据分析,韩国3月开发了“新冠肺炎疫情智能管理系统”
一文详解IQ信号与IQ调制
Linux的特点与使用范围
小米首款双折叠手机全球首秀
为什么说电池技术是移动设备的短板？
真明丽：台湾LED厂定位不明 竞争力恐输陆厂
正点原子开拓者FPGA视频：录音机实验
俄罗斯正在准备修改数字金融资产的法律草案对数字货币交易进行免税
工业以太网的网络安全问题