FMEDA(失效模式影響和診斷分析)利用一系列安全機制來評估安全架構,并計算系統的安全性能。ISO 26262 規范第 5 部分規定,硬件架構需要根據故障處理要求進行評估。它要求通過一套客觀的指標對隨機硬件失效的概率進行嚴格的分析和量化。
如果有任何架構指標未能滿足為產品定義的汽車安全完整性等級 (ASIL) 標準,設計團隊將被強制要求重新評估組件的安全概念,改進現有的安全機制,并在必要時引入新的安全機制。
為了改善診斷覆蓋率,一種實用的方法是在設計中納入一系列安全機制,以便能夠增加檢測到的故障數量和類型。最好在寄存器傳輸級進行此操作,因為在此級別可以高效地執行功能驗證。該流程可由以下主要步驟構成:
? 探索設計中需要改善故障檢測的部分
? 引入安全機制,針對 RTL 結構進行適當的權衡
? 使用時序邏輯等價性檢查 (SLEC) 驗證設計變化
? 使用基于形式化的方法執行注錯,以測量診斷覆蓋率
▲使用 SLEC 驗證雙重模塊化冗余的流程
-
RTL
+關注
關注
1文章
388瀏覽量
60498 -
asil
+關注
關注
0文章
49瀏覽量
9402
原文標題:白皮書下載 | 安全機制的插入和驗證
文章出處:【微信號:Mentor明導,微信公眾號:西門子EDA】歡迎添加關注!文章轉載請注明出處。
發布評論請先 登錄
相關推薦
電子元器件失效分析與典型案例(全彩版)
直流充電安全測試負載方案解析
芯片失效分析的方法和流程
電阻失效模式總結

評論