FMEDA（失效模式影響和診斷分析） 安全機制的插入和驗證
FMEDA（失效模式影響和診斷分析）利用一系列安全機制來評估安全架構，并計算系統的安全性能。ISO 26262 規范第 5 部分規定，硬件架構需要根據故障處理要求進行評估。它要求通過一套客觀的指標對隨機硬件失效的概率進行嚴格的分析和量化。
如果有任何架構指標未能滿足為產品定義的汽車安全完整性等級 (ASIL) 標準，設計團隊將被強制要求重新評估組件的安全概念，改進現有的安全機制，并在必要時引入新的安全機制。
為了改善診斷覆蓋率，一種實用的方法是在設計中納入一系列安全機制，以便能夠增加檢測到的故障數量和類型。最好在寄存器傳輸級進行此操作，因為在此級別可以高效地執行功能驗證。該流程可由以下主要步驟構成：
? 探索設計中需要改善故障檢測的部分
? 引入安全機制，針對 RTL 結構進行適當的權衡
? 使用時序邏輯等價性檢查 (SLEC) 驗證設計變化
? 使用基于形式化的方法執行注錯，以測量診斷覆蓋率
▲使用 SLEC 驗證雙重模塊化冗余的流程
聲明：本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人，不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用，如有內容侵權或者其他違規問題，請聯系本站處理。
舉報投訴
-
RTL
+關注
關注
1文章
394瀏覽量
62587 -
asil
+關注
關注
0文章
52瀏覽量
9665
原文標題：白皮書下載 | 安全機制的插入和驗證
文章出處：【微信號：Mentor明導，微信公眾號：西門子EDA】歡迎添加關注！文章轉載請注明出處。
發布評論請先 登錄
相關推薦
熱點推薦
IC引腳失效模式和影響分析(FMEA)的重要性
本文旨在深入探討IC引腳失效模式和影響分析(FMEA)的重要性，并結合ADI公司的安全事項應用筆記，說明FMEA在功能安全標準（如IEC 6
攻擊逃逸測試：深度驗證網絡安全設備的真實防護能力
中一種極具威脅性的高級攻擊手法。攻擊者通過精心構造惡意流量，使其能夠成功繞過各類安全設備的檢測機制，實現“隱身”攻擊。這種攻擊不僅隱蔽性強，而且技術復雜度高，能有效規避傳統安全設備的檢測。
主要逃逸技術
發表于 11-17 16:17
邊聊安全 | FMEDA實踐干貨，手把手帶你分析
在之前發的公眾號文章中已經介紹了一些關于FMEDA工作的基礎概念，比如有針對隨機失效率、診斷覆蓋率和軟失效等話題的入門介紹。在文章發表之后，筆者陸陸續續收到了一些小伙伴們的留言和提問。
IGBT短路失效分析
短路失效網上已經有很多很詳細的解釋和分類了，但就具體工作中而言，我經常遇到的失效情況主要還是發生在脈沖階段和關斷階段以及關斷完畢之后的，失效的模式主要為熱
芯片失效步驟及其失效難題分析！
芯片失效分析的主要步驟芯片開封：去除IC封膠，同時保持芯片功能的完整無損，保持die，bondpads，bondwires乃至lead-frame不受損傷，為下一步芯片失效分析實驗做準
LED芯片失效和封裝失效的原因分析
芯片失效和封裝失效的原因，并分析其背后的物理機制。金鑒實驗室是一家專注于LED產業的科研檢測機構，致力于改善LED品質，服務LED產業鏈中各個環節，使LED產業健康
電子元器件失效分析與典型案例（全彩版）
本資料共分兩篇,第一篇為基礎篇，主要介紹了電子元器件失效分析基本概念、程序、技術及儀器設備;第二篇為案例篇，主要介紹了九類元器件的失效特點、失效模式
發表于 04-10 17:43
直流充電安全測試負載方案解析
液冷系統：冷卻功率密度達5kW/L，維持設備在-30℃~55℃環境穩定運行
智能診斷系統
基于AI的故障樹分析：自動定位保護失效原因
測試數據區塊鏈存證：確保安全測試過程可追溯
發表于 03-13 14:38
芯片失效分析的方法和流程
、物理分析、材料表征等多種手段，逐步縮小問題范圍，最終定位失效根源。以下是典型分析流程及關鍵方法詳解： ? ? ? 前期信息收集與失效現象確認 1.?
工商網監
評論