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標準的認證證書?，F在，使用基于模型的設計進行醫療設備嵌入式軟件開發的工程師和研究人員可以直接將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公司所提供的這些產品系列，來加快在汽車、航空、電子、金融服務、生物醫藥以及其他行業的發明、創新及開發的步伐。