符合 ISO 26262 標準的車用軟體自動化測試工具與服務
從概念設計到產品發布,我們以 V 模型開發流程與業界頂尖工具鏈,為您的車用產品築起安全防線。歐特莫夫基於 V-Model 開發流程,結合 Vector PREEvision 與 VectorCAST 等領先技術經驗,協助您跨越法規門檻,確保產品符合 ISO 26262 國際標準。
ISO 26262 稽核官問「證據呢?」你答得出來嗎|功能安全六大支柱
歐特莫夫獨立製作影片;Vector 與 CANoe、CANalyzer、CANape 等為 Vector Informatik GmbH 之商標。
該剎車卻加速的 0.5 秒|功能安全故障注入測試一次看懂 (ISO 26262)
歐特莫夫獨立製作影片;Vector 與 CANoe、CANalyzer、CANape 等為 Vector Informatik GmbH 之商標。
01 我們的技術方法
- ISO 26262 流程諮詢與建立
- 以 VectorCAST Reqs2x 由安全需求自動生成可執行、可追溯的單元測試,貼合 ISO 26262 需求覆蓋要求
- HARA 危害分析與風險評估
- FSC/TSC 安全概念開發
- ASIL 要求的單元與整合測試
03 技術難點
什麼是功能安全?
隨著汽車內部的電子控制單元(ECU)、感測器和軟體越來越複雜,系統失效可能導致嚴重事故。ISO 26262 的目的就是提供一套標準化的流程,確保汽車電子系統在發生故障時,能夠將風險降低到可接受的範圍內。功能安全並不代表「設備永遠不會壞」,而是指當故障發生時,系統能進入安全狀態或減緩危害,避免對人員造成傷害。
核心功能與技術優勢
標準化流程導入
從 HARA 危害分析到 ASIL 等級判定,建立符合 ISO 26262 的完整開發流程。
V 模型全生命週期覆蓋
基於 PREEvision 與 VectorCAST,實現從需求設計到驗證確認的無縫銜接。
自動化測試與驗證
利用自動化工具確保單元測試、整合測試與故障注入測試的高效執行。
關鍵指標:ASIL 汽車安全完整性等級
ASIL 等級在 V-Model 左側透過 HARA 分析確定,將貫穿整個開發與驗證流程。不同的 ASIL 等級決定了測試的嚴謹程度與所需的安全機制。
| 等級 | 意義 | 開發要求 | 範例 |
|---|---|---|---|
| QM | 品質管理 | 依照一般品質管理流程如 IATF 16949,無需特殊安全機制 | 車窗、娛樂系統 |
| ASIL A | 最低安全等級 | 需基本的安全考量 | 後車燈 |
| ASIL B | 中等安全等級 | 需適度的安全機制 | 儀表板顯示 |
| ASIL C | 高安全等級 | 需嚴格的安全機制與冗餘設計 | 主動式巡航 ACC |
| ASIL D | 最高安全等級 | 極度嚴格,涉及生命安全,必須有備援系統 | 氣囊、煞車、轉向 |
ISO 26262 測試目的及測試方法的應用
對應 V-Model 右側驗證階段,ISO 26262 明確定義了五大測試目標及其驗證方法,確保每個 ASIL 等級的安全需求都經過完整驗證:
| 測試目標 | 測試方法 | 應用 |
|---|---|---|
| 正確實現功能安全需求 | 基於需求的測試、故障注入測試、長期測試、實際使用條件測試 | 透過基於需求的測試覆蓋驗證車輛級功能安全需求(FSR),並經由道路測試確保實際場景表現 |
| 安全機制的正確功能、精度與時序 | 性能測試(含容錯時間間隔)、長期測試、實際使用條件測試 | 驗證故障檢測與緩解機制,確保系統能在規定的故障容錯時間內(FTTI)轉換至失效安全狀態 |
| 一致且正確地實現外部介面 | 外部介面測試(靜態/動態、範圍檢查)、互通測試(運行時驗證) | 執行 FAT(功能驗收測試)驗證基本功能與通訊協定,並透過實驗車測試檢驗功能互動性 |
| 驗證安全機制失效覆蓋的有效性 | 故障注入測試、錯誤猜測測試(基於專家知識)、基於現場經驗測試、資源使用測試 | 透過主動注入故障觸發安全機制,並測試匯流排負載、傳輸延遲等分布式安全項目,以及匯流排斷線、斷電、碰撞等高層級事件的應對能力 |
| 車輛層級的穩健性水平 | 壓力測試(高負載、物理壓力)、抗干擾與強健性測試(特定環境條件)、長期測試 | 進行環境測試(包含電磁干擾 EMI、溫度、濕度等極限條件),並透過長期道路測試驗證穩健性 |
歐特莫夫的技術服務流程
功能安全的工作量集中在「證據」上。四個階段把安全生命週期收斂成可執行的推進順序,每一階段都指明產出什麼、用什麼工具、我們協助到哪裡。
安全規劃與安全需求
定義安全生命週期並確立 ASIL 目標;執行危害分析與風險評估(HARA),導出功能安全概念與技術安全概念,再以 FMEA 與故障樹分析檢視失效路徑。工具以 PREEvision 與 ALM 為主。歐特莫夫提供流程諮詢、安全計畫建立輔導、HARA 分析工作坊,以及系統級的 FMEA/FTA 分析服務。
軟體需求與測試策略
進行軟體架構設計,並以 MISRA C/C++ 與 CERT C 的規範要求搭配靜態程式碼分析建立乾淨的程式碼基礎;同時定義測試層級、測試規格與需求的雙向追溯。工具為 PC-lint Plus、vTESTstudio 與 PREEvision/ALM。我們協助軟體架構的安全性檢查、合規性輔導、需求規格撰寫與測試策略規劃。
測試設計與自動化執行
設計測試案例,涵蓋邊界值與等價類分析,以及故障注入場景;接著在單元、整合、故障注入與診斷各層執行。工具涵蓋 VectorCAST、CANoe、VT System、CANoe.DiVa、DYNA4 與持續整合平台。我們提供測試腳本開發、硬體在環台架架設,以及故障注入的執行服務。
覆蓋率、審查與安全論證
分析語句、分支與 MC/DC 覆蓋率——ASIL D 需要達到 MC/DC——並處理未覆蓋到的程式碼;審查測試結果、處理異常並執行回歸驗證。最後彙整所有工作產出,支援功能安全評估與 Safety Case 的準備,以及第三方審核的應對。