2012年 3月 14日,MathWorks宣布針對(duì) ISO 26262項(xiàng)目啟動(dòng)專(zhuān)用的基于模型的設(shè)計(jì)的咨詢服務(wù)。汽車(chē)工程師在使用 MATLAB和 Simulink開(kāi)發(fā)需要滿足 ISO 26262標(biāo)準(zhǔn)的高完整性嵌入式系統(tǒng)時(shí),就可以應(yīng)用ISO 26262流程部署咨詢服務(wù)。
這項(xiàng)服務(wù)經(jīng)TUV SUD最終版的 ISO 26262預(yù)先認(rèn)證,能夠通過(guò)通用的 4個(gè)步驟為工程師提供協(xié)助,同時(shí)使MathWorks產(chǎn)品系列更加完善。
(1)熟悉現(xiàn)有流程和工具:查看現(xiàn)有的嵌入式軟件開(kāi)發(fā)流程、工具、應(yīng)用程序、確定的車(chē)輛安全完整性等級(jí)(automotive safety integrity level,ASIL)和所需工具的置信度 (tool confidence level,TCL)。
(2)差距分析:使用基于模型的設(shè)計(jì)進(jìn)行差距分析,確認(rèn)特定 ISO 26262流程框架當(dāng)前所面臨的難題以及流程效率的改進(jìn)之處。
(3)定向指導(dǎo):提供相關(guān)指導(dǎo)以彌補(bǔ)步驟 (2)中發(fā)現(xiàn)的差距,討論 ISO 26262基本原則和 TUV SUD認(rèn)證的流程框架,以便按照 ISO 26262來(lái)應(yīng)用基于模型的設(shè)計(jì)。
(4)實(shí)際部署支持:將步驟(3)中獲得的知識(shí)應(yīng)用到特定項(xiàng)目,并在包括建模、仿真、代碼生成、驗(yàn)證、確認(rèn)、工具鑒定和系統(tǒng)認(rèn)證在內(nèi)的多個(gè)領(lǐng)域中提供支持。
為簡(jiǎn)化使用基于模型的設(shè)計(jì)開(kāi)發(fā)的嵌入式系統(tǒng)的ISO 26262認(rèn)證,MathWorks提供了 IEC認(rèn)證工具包 (適用于 ISO 26262和 IEC 61508),其中包含證書(shū)、參考工作流程、測(cè)試組件和用于 Embedded Coder、Simulink Design Verifier、Simulink Verification and Validation 和 Polyspace Code Verification產(chǎn)品的工具鑒定工件模板。