MathWorks 今天宣布，Simulink Design Verifier 和 Simulink Verification and Validation 已通過(guò) TÜV SÜD 認(rèn)證，允許在符合ISO 26262 標(biāo)準(zhǔn)的開(kāi)發(fā)流程中使用。這一獨(dú)立評(píng)估結(jié)果可以幫助開(kāi)發(fā)高完整性嵌入式系統(tǒng)的汽車(chē)工程師們樹(shù)立必要的信心，讓他們相信這些驗(yàn)證工具能夠按照其使用案例正常運(yùn)作。

MathWorks 根據(jù) ISO 26262-8 標(biāo)準(zhǔn)的最新版本，對(duì) Simulink Design Verifier 的自動(dòng)測(cè)試用例生成能力和 Simulink Verification and Validation 的模型覆蓋率測(cè)量能力進(jìn)行了分類(lèi)和資格預(yù)審。TÜV SÜD 然后對(duì)工具的分類(lèi)和資格預(yù)審結(jié)果進(jìn)行了鑒定。為了進(jìn)一步幫助汽車(chē)工程師在基于模型設(shè)計(jì)中使用早期驗(yàn)證和確認(rèn)，MathWorks 通過(guò) Simulink Design Verifier 和 Simulink Verification and Validation 的認(rèn)證證據(jù)資料、參考工作流程以及 ISO 26262 工具資質(zhì)審核模板，增強(qiáng)了 IEC Certification Kit 產(chǎn)品性能。有了這些最新加入的內(nèi)容，IEC Certification Kit 擴(kuò)展了對(duì)基于模型的設(shè)計(jì)和驗(yàn)證產(chǎn)品的ISO 26262 工具資質(zhì)審核支持，其中已包含 Embedded Coder 和 Polyspace 代碼驗(yàn)證工具。

為了對(duì) ISO 26262 功能安全標(biāo)準(zhǔn)中涉及到的其他活動(dòng)提供支持，MathWorks 繼續(xù)與提供互補(bǔ)技術(shù)的業(yè)務(wù)伙伴密切合作。例如，由 ikv++ technologies AG 提供的功能安全分析工具 medini analyze 可用于自動(dòng)確定和分解汽車(chē)安全完整性等級(jí) (ASIL)，并可在使用 Simulink 開(kāi)發(fā)高完整性系統(tǒng)時(shí)，提供 ISO 26262 標(biāo)準(zhǔn)所要求的詳細(xì)安全分析活動(dòng)。