符合 ISO 26262 標準的模型驗證諮詢服務

概述

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