MathWorks 今天宣布,，Simulink Design Verifier 和 Simulink Verification and Validation 已通過 TÜV SÜD 認證,，允許在符合 ISO 26262 標準的開發(fā)流程中使用,。這一獨立評估結(jié)果可以幫助開發(fā)高完整性嵌入式系統(tǒng)的汽車工程師們樹立必要的信心,，讓他們相信這些驗證工具能夠按照其使用案例正常運作,。
　
　　MathWorks 根據(jù) ISO 26262-8 標準的最新版本,，對 Simulink Design Verifier 的自動測試用例生成能力和 Simulink Verification and Validation 的模型覆蓋率測量能力進行了分類和資格預審,。TÜV SÜD 然后對工具的分類和資格預審結(jié)果進行了鑒定,。為了進一步幫助汽車工程師在基于模型設計中使用早期驗證和確認,，MathWorks 通過 Simulink Design Verifier 和 Simulink Verification and Validation 的認證證據(jù)資料、參考工作流程以及 ISO 26262 工具資質(zhì)審核模板,，增強了 IEC Certification Kit 產(chǎn)品性能,。有了這些最新加入的內(nèi)容，IEC Certification Kit 擴展了對基于模型的設計和驗證產(chǎn)品的ISO 26262 工具資質(zhì)審核支持,，其中已包含 Embedded Coder 和 Polyspace 代碼驗證工具,。
　
　　為了對 ISO 26262 功能安全標準中涉及到的其他活動提供支持，MathWorks 繼續(xù)與提供互補技術(shù)的業(yè)務伙伴密切合作,。例如,，由 ikv++ technologies AG 提供的功能安全分析工具 medini analyze 可用于自動確定和分解汽車安全完整性等級 (ASIL)，并可在使用 Simulink 開發(fā)高完整性系統(tǒng)時,，提供 ISO 26262 標準所要求的詳細安全分析活動,。