概述
經(jīng)緯恒潤從2008年起開始研究 ISO 26262 功能安全相關(guān)標準和技術(shù)，2012年經(jīng)緯恒潤參與國標委組織的功能安全標準的討論會，并成為功能安全標準制定小組的成員。
經(jīng)過多年的研究和自身汽車電子產(chǎn)品研發(fā)過程實踐，經(jīng)緯恒潤已深入掌握功能安全標準 ISO 26262 的內(nèi)涵，給客戶提供符合 ISO 26262 標準的軟件基于模型的驗證咨詢服務及平臺規(guī)劃。
服務內(nèi)容
經(jīng)緯恒潤針對汽車用戶電控系統(tǒng)模型驗證的應用需求，提供如下符合 ISO 26262 標準的從咨詢服務、研發(fā)工具到技術(shù)培訓的模型驗證咨詢?nèi)轿环眨?/span>
1）符合 ISO 26262 嵌入式軟件基于模型的驗證咨詢
?? 符合 ISO 26262 模型驗證流程搭建
- 搭建模型驗證程序
- 制定模型驗證策略
- 制定模型驗證計劃
- 搭建模型驗證指南
- 搭建模型驗證用例模板
- 制定模型驗證用例評審檢查單
- 制定模型驗證報告模板
?? 符合 ISO 26262 模型靜態(tài)驗證咨詢
- 構(gòu)建產(chǎn)品級模型靜態(tài)規(guī)范指南
- 定制基于模型規(guī)范的自動化檢查平臺
- 定制基于模型規(guī)范的自動代碼生成模板
- 定制基于模型規(guī)范的模型庫
- 基于特定應用的符合建模規(guī)范的模型產(chǎn)生高質(zhì)量代碼并符合編碼規(guī)范的定制化服務
?? 符合 ISO 26262 模型動態(tài)驗證咨詢
- 一般架構(gòu)的模型測試（MIL）、模型自動生成的代碼測試（SIL）、模型與代碼的背靠背（B2B）測試
- 符合 AUTOSAR 的模型測試（MIL）、模型自動生成的代碼測試（SIL）、模型與代碼的背靠背（B2B）測試
- 模型及代碼覆蓋度分析
2）符合 ISO 26262 功能安全的模型驗證工具平臺
?? 針對 ISO 26262-6 定義的 V 流程右側(cè)全流程驗證過程及安全分析，提供基于模型的驗證及安全分析平臺
- 支持符合 ISO 26262 的電控系統(tǒng)軟件從單元靜態(tài)驗證，到集成靜態(tài)驗證，到嵌入式軟件靜態(tài)驗證的模型靜態(tài)驗證
- 支持符合 ISO 26262 的電控系統(tǒng)軟件從單元靜態(tài)驗證，到集成動態(tài)驗證，到嵌入式軟件動態(tài)驗證軟件動態(tài)驗證
- 支持符合 ISO 26262 的電控系統(tǒng)軟件功能安全分析
3）符合 ISO 26262 功能安全的MBD 專業(yè)培訓
?? 軟件開發(fā)流程與架構(gòu)
?? 軟件設計 -- 軟件基礎(chǔ)應用
?? 軟件設計 -- 圖形化建模
?? 軟件設計 -- 事件驅(qū)動建模
?? 軟件實現(xiàn) -- 模型自動代碼生成技術(shù)
?? 軟件驗證 -- 模型靜態(tài)分析技術(shù)及實踐
?? 軟件驗證 -- 模型動態(tài)測試（MIL/SIL）技術(shù)及實踐
服務優(yōu)勢
?? 15 年+ MBD 流程搭建經(jīng)驗
?? 10 年+ ISO 26262 工程咨詢經(jīng)驗
?? 豐富的 ECU 驗證經(jīng)驗
?? 模型驗證工具代理及應用經(jīng)驗
?? 國內(nèi)各 OEM 及供應商咨詢經(jīng)驗
