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