資料介紹
軟件容錯的主要目的是提供足夠的冗余信息和算法程序,使系統(tǒng)在實際運(yùn)行時能夠及時發(fā)現(xiàn)程序設(shè)計錯誤,采取補(bǔ)救措施,以提高軟件可靠性,保證整個計算機(jī)系統(tǒng)的正常運(yùn)行。
軟件容錯技術(shù)主要有恢復(fù)塊方法和N-版本程序設(shè)計,另外還有防衛(wèi)式程序設(shè)計等。
(1)恢復(fù)塊方法
故障的恢復(fù)策略一般有兩種:前向恢復(fù)和后向恢復(fù)。所謂前向恢復(fù)是指使當(dāng)前的計算繼續(xù)下去,把系統(tǒng)恢復(fù)成連貫的正確狀態(tài),彌補(bǔ)當(dāng)前狀態(tài)的不連貫情況,這需有錯誤的詳細(xì)說明。所謂后向恢復(fù)是指系統(tǒng)恢復(fù)到前一個正確狀態(tài),繼續(xù)執(zhí)行。這種方法顯然不適合實時處理場合。
1975年B.Randell提出了一種動態(tài)屏蔽技術(shù)棗恢復(fù)塊方法?;謴?fù)塊方法采用后向恢復(fù)策略。它提供具有相同功能的主塊和幾個后備塊,一個塊就是一個執(zhí)行完整的程序段,主塊首先投入運(yùn)行,結(jié)束后進(jìn)行驗收測試,如果沒有通過驗收測試,系統(tǒng)經(jīng)現(xiàn)場恢復(fù)后由一后備塊運(yùn)行。這一過程可以重復(fù)到耗盡所有的后備塊,或者某個程序故障行為超出了預(yù)料,從而導(dǎo)致不可恢復(fù)的后果。設(shè)計時應(yīng)保證實現(xiàn)主塊和后備塊之間的獨(dú)立性,避免相關(guān)錯誤的產(chǎn)生,使主塊和后備塊之間的共性錯誤降到最低限度。驗收測試程序完成故障檢測功能,它本身的故障對恢復(fù)塊方法而言是共性,因此,必須保證它的正確性。
- 嵌入式軟件之c語言編碼規(guī)范 28次下載
- 西門子軟件冗余的原理和配置 11次下載
- 基于數(shù)據(jù)流分析的冗余變異體識別方法 15次下載
- 基于最大信息系數(shù)與冗余分?jǐn)偛呗缘奶卣鬟x擇方法 13次下載
- NI maDAQ套裝軟件安裝方法及教程分享 3次下載
- 冗余核的MPSoC故障檢測 0次下載
- 基于PLC系統(tǒng)軟件冗余功能及實現(xiàn)方法 11次下載
- 超冗余度桁架機(jī)械臂的容錯逆運(yùn)動學(xué)仿真_趙普 0次下載
- 強(qiáng)磁場鏈?zhǔn)綗o功補(bǔ)償器的均壓與冗余容錯研究 0次下載
- 基于uCOS的軟件容錯設(shè)計 28次下載
- 基于QNX的艦艇控制系統(tǒng)雙機(jī)容錯設(shè)計
- 多機(jī)冗余容錯在艦艇控制系統(tǒng)中的應(yīng)用
- 容錯型計算機(jī)聯(lián)鎖系統(tǒng)的軟件設(shè)計研究
- 軟件冗余的原理和配置
- 軟件無線電(N+M)容錯系統(tǒng)可靠性研究The Availab
- 動態(tài)追溯方法:徹底革新軟件測試 436次閱讀
- 功能安全驗證之軟件故障注入方法 2272次閱讀
- 智能容錯的定義和實現(xiàn)方法 控制系統(tǒng)冗余的關(guān)鍵技術(shù) 2556次閱讀
- 軟件過程定義是什么 軟件過程的要素包括哪些 1331次閱讀
- PROFINET中的兩個冗余概念 3353次閱讀
- 如何構(gòu)建安全軟件 522次閱讀
- 實施各種軟件值得付出努力嗎? 306次閱讀
- 軟件測試的方法有哪些有什么的規(guī)范 8828次閱讀
- 一文看懂軟件測試方法和規(guī)范 7302次閱讀
- 一文讀懂容錯與冗余技術(shù) 1.9w次閱讀
- 串口通信調(diào)試軟件的功能與使用方法 1.7w次閱讀
- 基于軟件的空間輻照下FPGA可靠性設(shè)計方法 2556次閱讀
- 基于FPGA的三模冗余容錯技術(shù)的研究 1.1w次閱讀
- 用軟件實現(xiàn)DAA的方法 1692次閱讀
- SHARC并行系統(tǒng)軟件設(shè)計方法 1557次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1491次下載 | 免費(fèi)
- 2單片機(jī)典型實例介紹
- 18.19 MB | 95次下載 | 1 積分
- 3S7-200PLC編程實例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費(fèi)
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于單片機(jī)和 SG3525的程控開關(guān)電源設(shè)計
- 0.23 MB | 4次下載 | 免費(fèi)
- 8基于AT89C2051/4051單片機(jī)編程器的實驗
- 0.11 MB | 4次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計實例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537793次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
評論