概述

经纬恒润从2008年起开始研究 ISO 26262 功能安全相关标准和技术，2012年经纬恒润参与国标委组织的功能安全标准的讨论会，并成为功能安全标准制定小组的成员。

经过多年的研究和自身汽车电子产品研发过程实践，经纬恒润已深入掌握功能安全标准 ISO 26262 的内涵，给客户提供符合 ISO 26262 标准的软件基于模型的验证咨询服务及平台规划。

服务内容

经纬恒润针对汽车用户电控系统模型验证的应用需求，提供如下符合 ISO 26262 标准的从咨询服务、研发工具到技术培训的模型验证咨询全方位服务：

1）符合 ISO 26262 嵌入式软件基于模型的验证咨询

?? 符合 ISO 26262 模型验证流程搭建

• 搭建模型验证程序
• 制定模型验证策略
• 制定模型验证计划
• 搭建模型验证指南
• 搭建模型验证用例模板
• 制定模型验证用例评审检查单
• 制定模型验证报告模板

?? 符合 ISO 26262 模型静态验证咨询

• 构建产品级模型静态规范指南
• 定制基于模型规范的自动化检查平台
• 定制基于模型规范的自动代码生成模板
• 定制基于模型规范的模型库
• 基于特定应用的符合建模规范的模型产生高质量代码并符合编码规范的定制化服务

?? 符合 ISO 26262 模型动态验证咨询

• 一般架构的模型测试（MIL）、模型自动生成的代码测试（SIL）、模型与代码的背靠背（B2B）测试
• 符合 AUTOSAR 的模型测试（MIL）、模型自动生成的代码测试（SIL）、模型与代码的背靠背（B2B）测试
• 模型及代码覆盖度分析

2）符合 ISO 26262 功能安全的模型验证工具平台

?? 针对 ISO 26262-6 定义的 V 流程右侧全流程验证过程及安全分析，提供基于模型的验证及安全分析平台

• 支持符合 ISO 26262 的电控系统软件从单元静态验证，到集成静态验证，到嵌入式软件静态验证的模型静态验证
• 支持符合 ISO 26262 的电控系统软件从单元静态验证，到集成动态验证，到嵌入式软件动态验证软件动态验证
• 支持符合 ISO 26262 的电控系统软件功能安全分析

3）符合 ISO 26262 功能安全的MBD 专业培训

?? 软件开发流程与架构

?? 软件设计 -- 软件基础应用

?? 软件设计 -- 图形化建模

?? 软件设计 -- 事件驱动建模

?? 软件实现 -- 模型自动代码生成技术

?? 软件验证 -- 模型静态分析技术及实践

?? 软件验证 -- 模型动态测试（MIL/SIL）技术及实践

服务优势

?? 15 年+ MBD 流程搭建经验

?? 10 年+ ISO 26262 工程咨询经验

?? 丰富的 ECU 验证经验

?? 模型验证工具代理及应用经验

?? 国内各 OEM 及供应商咨询经验