FMEDA（失效模式影響和診斷分析） 安全機制的插入和驗證
FMEDA（失效模式影響和診斷分析）利用一系列安全機制來評估安全架構(gòu)，并計算系統(tǒng)的安全性能。ISO 26262 規(guī)范第 5 部分規(guī)定，硬件架構(gòu)需要根據(jù)故障處理要求進行評估。它要求通過一套客觀的指標對隨機硬件失效的概率進行嚴格的分析和量化。
如果有任何架構(gòu)指標未能滿足為產(chǎn)品定義的汽車安全完整性等級 (ASIL) 標準，設(shè)計團隊將被強制要求重新評估組件的安全概念，改進現(xiàn)有的安全機制，并在必要時引入新的安全機制。
為了改善診斷覆蓋率，一種實用的方法是在設(shè)計中納入一系列安全機制，以便能夠增加檢測到的故障數(shù)量和類型。最好在寄存器傳輸級進行此操作，因為在此級別可以高效地執(zhí)行功能驗證。該流程可由以下主要步驟構(gòu)成：
? 探索設(shè)計中需要改善故障檢測的部分
? 引入安全機制，針對 RTL 結(jié)構(gòu)進行適當?shù)臋?quán)衡
? 使用時序邏輯等價性檢查 (SLEC) 驗證設(shè)計變化
? 使用基于形式化的方法執(zhí)行注錯，以測量診斷覆蓋率
▲使用 SLEC 驗證雙重模塊化冗余的流程
聲明：本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點僅代表作者本人，不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學習之用，如有內(nèi)容侵權(quán)或者其他違規(guī)問題，請聯(lián)系本站處理。
舉報投訴
-
RTL
+關(guān)注
關(guān)注
1文章
385瀏覽量
59876 -
asil
+關(guān)注
關(guān)注
0文章
47瀏覽量
9278
原文標題：白皮書下載 | 安全機制的插入和驗證
文章出處：【微信號：Mentor明導，微信公眾號：西門子EDA】歡迎添加關(guān)注！文章轉(zhuǎn)載請注明出處。
發(fā)布評論請先 登錄
相關(guān)推薦
如何有效地開展EBSD失效分析
失效分析的重要性失效分析其核心任務是探究產(chǎn)品或構(gòu)件在服役過程中出現(xiàn)的各種失效形式。這些失效形式涵
EBSD失效分析策略
材料失效分析在材料科學和工程實踐中，失效分析扮演著至關(guān)重要的角色，它致力于探究產(chǎn)品或構(gòu)件在實際使用過程中出現(xiàn)的失效現(xiàn)象。這些現(xiàn)象可能表現(xiàn)為由
材料失效分析方法匯總
材料故障診斷學：失效分析技術(shù)失效分析技術(shù)，作為材料科學領(lǐng)域內(nèi)的關(guān)鍵分支，致力于運用科學方法論來識別、分析
電阻失效模式總結(jié)
電阻器是電子電路中不可或缺的元件，它通過限制電流流動來維持電路的穩(wěn)定。然而，電阻器也可能因為各種原因而失效，影響電路的正常工作。本文將對電阻器的失效模式進行總結(jié)，以幫助工程師和技術(shù)人員更好地理解和預防這些
真空回流焊爐/真空焊接爐——LED失效分析
LED的失效模式有多種形式，本文將分析LED的幾種主要失效模式的機理幫助大家了解，以便提前規(guī)避來提高LED的質(zhì)量。
EMB系統(tǒng)功能安全分析(3)
EMB 系統(tǒng)失效判斷基于前面所述三路并行的安全機制，可實時檢測系統(tǒng)運行狀態(tài)，探測系統(tǒng)故障，又由于該系統(tǒng)為四輪獨立制動，結(jié)合安全機制可引入四輪
瓷介電容器失效模式分析方法
瓷介電容器作為電子元件中的重要組成部分，其失效模式分析對于保障電子設(shè)備的可靠性和穩(wěn)定性具有重要意義。 一、引言 瓷介電容器，即陶瓷介質(zhì)電容器，因其高頻特性好、溫度系數(shù)小、耐高壓等優(yōu)點，在電子電路中
晶閘管的失效模式與機理
電路性能下降甚至系統(tǒng)癱瘓。因此，深入了解晶閘管的失效模式與機理，對于提高電路設(shè)計的可靠性具有重要意義。本文將從晶閘管的基本原理出發(fā)，詳細探討其失效模式與機理，并結(jié)合相關(guān)數(shù)字和信息進行說
連接器的三類失效模式
連接器作為重要的電子元器件，擔負著系統(tǒng)內(nèi)部以及系統(tǒng)之間信號連接和電能傳輸?shù)闹厝危虼嗽陂L期使用的過程中不免會存在不同程度失效的情況。其失效模式大致可分為接觸失效、絕緣
IGBT器件失效模式的影響分析
功率循環(huán)加速老化試驗中，IGBT 器件失效模式 主要為鍵合線失效或焊料老化，失效模式可能存在 多個影響因素，如封裝材料、器件結(jié)構(gòu)以及試驗條
發(fā)表于 04-18 11:21
?1049次閱讀
電子元器件失效分析技術(shù)
電測在失效分析中的作用
重現(xiàn)失效現(xiàn)象，確定失效模式，縮小故障隔離區(qū)，確定失效定位的激勵條件
如何驗證Xmc4700s ADC診斷測試是否有效？
問題陳述：
我正在嘗試驗證 Xmc4700s ADC 診斷測試是否有效。 我正在嘗試驗證兩個測試：
下拉診斷
上拉診斷
程序：
為了測試下
發(fā)表于 01-23 07:46
工商網(wǎng)監(jiān)
評論