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 標準的認證證書。現在，使用基于模型的設計進行醫療設備嵌入式軟件開發的工程師和研究人員可以直接將 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 標準的驗證工具，更加努力去幫助這些工程師減少進行工具驗證的時間和精力，從而讓他們能夠專注于設計迭代和開發質量。”