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