基于不變量的軟錯誤檢測方法
大?。?/span>0.63 MB 人氣: 2018-01-17 需要積分:1
標簽:檢測方法(9689)
軟錯誤是高輻照空間環境下影響計算可靠性的主要因素,結果錯誤(silent data corruption,簡稱SDC)是軟錯誤造成的一種特殊的故障類型.針對SDC難以檢測的問題。提出了一種基于不變量的檢測方法.不變量是運行時刻保持不變的程序特征.在軟錯誤發生后,由于程序受到影響,不變量一般不再滿足.根據該原理,在源代碼中插入以不變量為內容的斷言,利用發生軟錯誤后斷言報錯來檢測軟錯誤.首先,根據錯誤傳播分析確定了檢測位置,提取了檢測位置的不變量;定義了表征不變量檢測能力的滲透率在同一檢測位置依據滲透率將不變量轉化為斷言.通過錯誤注入實驗,驗證了該檢測方法的有效性,實驗結果表明:該檢測方法具備較高的檢出率和較低的檢測代價,為星載系統的軟錯誤防護提供了新的解決思路.
?
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
基于不變量的軟錯誤檢測方法下載
相關電子資料下載
- PCB焊接虛焊有哪些檢測方法 93
- LTV-817光耦的工作原理及檢測方法 162
- 新型傳感器的檢測方法 154
- 借助圖技術增強網絡安全威脅檢測方法 42
- 智能電動車輛的故障預測及檢測方法 102
- smt貼片生產加工檢測方法有哪幾種 43
- 一種快速無損確定蘋果收獲期的光譜檢測方法 369
- x-ray檢測儀和傳統檢測方法的區別是什么? 92
- 回流焊標定校正及檢測方法 72
- CAN總線的檢測方法 CAN總線的常見故障及原因分析 422