關(guān)于Simulink驗(yàn)證和IEC 62304標(biāo)準(zhǔn)驗(yàn)證的不同之處

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

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

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

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

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

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

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

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

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

MathWorks是數(shù)學(xué)計(jì)算軟件領(lǐng)域世界領(lǐng)先的開(kāi)發(fā)商。它所推出的MATLAB是一種用于算法開(kāi)發(fā)、數(shù)據(jù)分析、可視化和數(shù)值計(jì)算的程序設(shè)計(jì)環(huán)境，稱為“科學(xué)計(jì)算的語(yǔ)言”。Simulink是一種圖形環(huán)境，可用于對(duì)多域動(dòng)態(tài)系統(tǒng)和嵌入式系統(tǒng)進(jìn)行仿真和基于模型設(shè)計(jì)。全球的工程師和科學(xué)家們都依賴于MathWorks公司所提供的這些產(chǎn)品系列，來(lái)加快在汽車、航空、電子、金融服務(wù)、生物醫(yī)藥以及其他行業(yè)的發(fā)明、創(chuàng)新及開(kāi)發(fā)的步伐。