中國北京 – 2016 年 6 月 XX 日 – MathWorks今日宣布，已獲得 TüV SüD 認(rèn)證的Simulink Verification and Validation、Simulink Design Verifier、Simulink Test、Embedded Coder 和 Polyspace，經(jīng)過相關(guān)專業(yè)驗證，現(xiàn)可應(yīng)用于符合 IEC 62304 標(biāo)準(zhǔn)的開發(fā)流程。這次獨立評估使醫(yī)療設(shè)備設(shè)計工程師將 MathWorks 基于模型的設(shè)計工具應(yīng)用于符合 IEC 62304 標(biāo)準(zhǔn)和 FDA 認(rèn)證的開發(fā)流程的信心大增。

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

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

　　·用于自動執(zhí)行需求追蹤、建模標(biāo)準(zhǔn)合規(guī)性檢查和模型覆蓋的 Simulink Verification and Validation

　　·用于生成滿足結(jié)構(gòu)化覆蓋目標(biāo)的測試用例的 Simulink Design Verifier

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

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

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

　　MathWorks 醫(yī)療設(shè)備行業(yè)經(jīng)理 Arvind Ananthan 說道：“由于醫(yī)療設(shè)備生產(chǎn)商需要獲得法規(guī)認(rèn)證并滿足合規(guī)性要求，他們越來越依賴基于模型的設(shè)計，以幫助他們簡化并完善復(fù)雜的工作流。MathWorks 通過提供符合 IEC 62304 標(biāo)準(zhǔn)的驗證工具，更加努力去幫助這些工程師減少進(jìn)行工具驗證的時間和精力，從而讓他們能夠?qū)Ｗ⒂谠O(shè)計迭代和開發(fā)質(zhì)量。”

　　關(guān)于 MathWorks

　　MathWorks 公司是數(shù)學(xué)計算軟件領(lǐng)域世界領(lǐng)先的開發(fā)商。它所推出的 MATLAB 是一種用于算法開發(fā)、數(shù)據(jù)分析、可視化和數(shù)值計算的程序設(shè)計環(huán)境，稱為“科學(xué)計算的語言”。Simulink 是一種圖形環(huán)境，可用于對多領(lǐng)域動態(tài)系統(tǒng)和嵌入式系統(tǒng)進(jìn)行仿真和模型化設(shè)計。全球的工程師和科學(xué)家們都依賴于 MathWorks 公司所提供的這些產(chǎn)品家族，來加快在汽車、航空、電子、金融服務(wù)、生物醫(yī)藥以及其他行業(yè)的發(fā)明、創(chuàng)新及開發(fā)的步伐。除此之外，MATLAB 和 Simulink 產(chǎn)品還是基礎(chǔ)教學(xué)和研究工具，為全球眾多大學(xué)和教學(xué)機(jī)構(gòu)所采用。MathWorks 創(chuàng)立于 1984 年，總部位于美國馬薩諸塞州內(nèi)蒂克，在 15 個國家共擁有超過 3500 名員工。有關(guān)詳細(xì)信息，請訪問mathworks.com 或cn.mathworks.com。