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产品的工具鉴定工件模板。