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

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)證證書?，F(xiàn)在，使用基于模型的設(shè)計進(jìn)行醫(yī)療設(shè)備嵌入式軟件開發(fā)的工程師和研究人員可以直接將IECCertification 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)證并滿足一致性要求，他們越來越依賴基于模型的設(shè)計，以幫助他們簡化并完善復(fù)雜的工作流。MathWorks通過提供符合IEC 62304標(biāo)準(zhǔn)的驗證工具，更加努力去幫助這些工程師減少進(jìn)行工具驗證的時間和精力，從而讓他們能夠?qū)Ｗ⒂谠O(shè)計迭代和開發(fā)質(zhì)量?！?/p>

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