概述

經緯恒潤從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 及供應商咨詢經驗