Simulink 驗證和代碼生成工具通過(guò) IEC 62304 標準的驗證

　　MathWorks今日宣布，已獲得 TüV SüD 認證的Simulink Verification and Validation、Simulink Design Verifier、Simulink Test、Embedded Coder 和 Polyspace，經(jīng)過(guò)相關(guān)專(zhuān)業(yè)驗證，現可應用于符合 IEC 62304 標準的開(kāi)發(fā)流程。這次獨立評估使醫療設備設計工程師將 MathWorks 基于模型的設計工具應用于符合 IEC 62304 標準和 FDA 認證的開(kāi)發(fā)流程的信心大增。

　　在 ISO 26262、IEC 61508 和 EN 50128 之外，MathWorks IEC Certification Kit 現在又包含了用于指導醫療設備軟件開(kāi)發(fā)流程的 IEC 62304 標準的認證證書(shū)?，F在，使用基于模型的設計進(jìn)行醫療設備嵌入式軟件開(kāi)發(fā)的工程師和研究人員可以直接將 IEC Certification Kit 提供的套件用作他們制定的工具驗證計劃中不可或缺的一部分。

　　成功完成審核流程的組織可獲得使用 MathWorks 工具進(jìn)行基于模型設計的認證信用點(diǎn)數，這些工具包括：

　　· 用于自動(dòng)執行需求追蹤、建模標準合規性檢查和模型覆蓋的 Simulink Verification and Validation

　　· 用于生成滿(mǎn)足結構化覆蓋目標的測試用例的 Simulink Design Verifier

　　· 用于在仿真和處理器在環(huán)(PIL)測試過(guò)程中開(kāi)發(fā)、管理和執行測試的 Simulink Test

　　· 用于生成現場(chǎng)部署所需產(chǎn)品級質(zhì)量代碼的 Embedded Coder

　　· 用于對手寫(xiě)代碼和自動(dòng)生成代碼進(jìn)行形式化驗證的 Polyspace Bug Finder 和 Polyspace Code Prover

　　MathWorks 醫療設備行業(yè)經(jīng)理 Arvind Ananthan 說(shuō)道：“由于醫療設備生產(chǎn)商需要獲得法規認證并滿(mǎn)足合規性要求，他們越來(lái)越依賴(lài)基于模型的設計，以幫助他們簡(jiǎn)化并完善復雜的工作流。MathWorks 通過(guò)提供符合 IEC 62304 標準的驗證工具，更加努力去幫助這些工程師減少進(jìn)行工具驗證的時(shí)間和精力，從而讓他們能夠專(zhuān)注于設計迭代和開(kāi)發(fā)質(zhì)量?！?br />