概述
经纬恒润从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 及供应商咨询经验
