本文關(guān)鍵詞：程序控制流檢測算法優(yōu)化　出處：《計(jì)算機(jī)科學(xué)》2014年S2期 　論文類型：期刊論文

  更多相關(guān)文章： 瞬時故障 數(shù)字標(biāo)簽 控制流檢測 軟件容錯

【摘要】：暴露在太空輻射環(huán)境下的星載計(jì)算機(jī),其電子元器件可能因受到高能帶電粒子的轟擊而造成硬件系統(tǒng)的瞬時故障,所以,需要使用容錯技術(shù)來提高其可靠性。對一種面向硬件瞬時故障的純軟件控制流檢測算法RSCFC(Relationship Signatures for Control Flow Checking)進(jìn)行了有效的改進(jìn),通過對標(biāo)簽S進(jìn)行分段編碼,克服了原算法中存在的待加固程序的基本塊總數(shù)受機(jī)器字長限制的問題,并給出了具體的計(jì)算證明。計(jì)算結(jié)果表明,如果機(jī)器字長為64位,那么改進(jìn)后的算法在設(shè)定前提下能單層加固程序的最大基本塊數(shù)可以超過218。與RSCFC相比,改進(jìn)后的算法在加固基本塊總數(shù)比較大的程序時,性能開銷明顯降低而且檢錯能力保持不變。
[Abstract]:The electronic components of a spaceborne computer exposed to space radiation may cause transient failure of the hardware system due to the bombardment of high-energy charged particles. It is necessary to use fault-tolerant technology to improve its reliability. A pure software control flow detection algorithm RSCFC (. Relationship Signatures for Control Flow checking has been improved effectively. By segmenting the label S, the problem that the total number of basic blocks in the original algorithm is limited by the word length of the machine is overcome, and the concrete calculation proof is given. The calculation results show that. If the word length of the machine is 64 bits, the maximum basic block number of the single layer reinforcement program can exceed 218. Compared with RSCFC. The improved algorithm can significantly reduce the performance cost and maintain the same error detection ability when the total number of basic blocks is relatively large.
【作者單位】： 75130部隊(duì)133分隊(duì);國防科技大學(xué)計(jì)算機(jī)學(xué)院;75130部隊(duì)政治部;
【分類號】：TP306
【正文快照】： 計(jì)算機(jī)系統(tǒng)的硬件并不是完全可靠的,特別是系統(tǒng)暴露在充滿宇宙射線和各種高能帶電粒子的太空環(huán)境中時很可能發(fā)生硬件故障。因?yàn)樵诎雽?dǎo)體電路中是通過保持或者釋放一定的電量來表示邏輯上的1和0,當(dāng)系統(tǒng)處于這種惡劣環(huán)境時,半導(dǎo)體電路中的PN結(jié)可能會被各種高能帶電粒子轟擊而瞬

【共引文獻(xiàn)】

相關(guān)期刊論文 前1條

1 李建立;譚慶平;譚蘭芳;徐建軍;;一種基于虛擬基本塊和格式化標(biāo)簽的控制流檢測方法[J];計(jì)算機(jī)學(xué)報(bào);2014年11期

相關(guān)博士學(xué)位論文 前1條

1 譚蘭芳;面向軟錯誤的故障恢復(fù)和驗(yàn)證技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2013年

相關(guān)碩士學(xué)位論文 前2條

1 楊明月;基于模型的網(wǎng)絡(luò)化控制系統(tǒng)瞬時故障檢測研究[D];華中科技大學(xué);2013年

2 邵則銘;基于COTS DSP的軟件抗輻照技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2012年

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 孫書韜,何新華,宮云戰(zhàn),王維鋒;基于自由邊控制流圖的路徑覆蓋分析實(shí)現(xiàn)方法[J];裝甲兵工程學(xué)院學(xué)報(bào);1996年03期

2 陳衛(wèi)東,楊建軍,葉澄清,潘云鶴;基于塊的流圖模型及其控制流圖[J];浙江大學(xué)學(xué)報(bào)(工學(xué)版);2003年02期

3 蘆運(yùn)照,張兆慶;控制流路徑敏感的深層代碼優(yōu)化技術(shù)[J];計(jì)算機(jī)工程;2004年10期

4 汪淼;趙榮彩;蔡國明;丁志芳;;軟件流水中隱式控制流恢復(fù)技術(shù)[J];計(jì)算機(jī)科學(xué);2008年10期

5 龔銳;陳微;劉芳;戴葵;王志英;;一種軟硬件結(jié)合的控制流檢測與恢復(fù)方法[J];計(jì)算機(jī)研究與發(fā)展;2009年02期

6 張雁;林英;;程序控制流圖自動生成的算法[J];計(jì)算機(jī)與數(shù)字工程;2010年02期

7 杜子德;程序控制流圖：一種可觀化的程序設(shè)計(jì)工具[J];計(jì)算機(jī)研究與發(fā)展;1995年12期

8 李愛國;洪炳昒;王司;;軟件實(shí)現(xiàn)的程序控制流校驗(yàn)方法研究進(jìn)展[J];哈爾濱工業(yè)大學(xué)學(xué)報(bào);2008年03期

9 胡剛;張平;李清寶;張翠艷;;基于靜態(tài)模擬的二進(jìn)制控制流恢復(fù)算法[J];計(jì)算機(jī)工程;2011年05期

10 陳新;;基于程序控制流圖源代碼相似程度分析系統(tǒng)[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2013年03期

相關(guān)會議論文 前1條

1 夏玉輝;張威;萬琳;王洪艷;;一種基于控制流圖的靜態(tài)測試方法[A];第三屆全國軟件測試會議與移動計(jì)算、柵格、智能化高級論壇論文集[C];2009年

相關(guān)博士學(xué)位論文 前1條

1 王偉;使用顯式控制流語言驗(yàn)證匯編程序的方法[D];中國科學(xué)技術(shù)大學(xué);2011年

相關(guān)碩士學(xué)位論文 前10條

1 崔晨;固件代碼控制流圖恢復(fù)技術(shù)研究[D];解放軍信息工程大學(xué);2012年

2 馮斌;靜態(tài)構(gòu)造面向方面程序的控制流圖[D];上海交通大學(xué);2007年

3 楊廣;控制流提取模型及軟件可靠性評價應(yīng)用研究[D];大連理工大學(xué);2013年

4 周希;基于靜態(tài)分析的程序控制流圖生成工具的設(shè)計(jì)與實(shí)現(xiàn)[D];中山大學(xué);2013年

5 李劍明;面向星載計(jì)算機(jī)瞬時故障的軟件控制流錯誤檢測技術(shù)[D];國防科學(xué)技術(shù)大學(xué);2009年

6 韓紅軍;基于控制流圖的Java語言動態(tài)例化的研究[D];北京工業(yè)大學(xué);2002年

7 任浩;基于靜態(tài)分析的C程序控制流圖構(gòu)造方法研究[D];內(nèi)蒙古師范大學(xué);2013年

8 熊利平;基于控制流與數(shù)據(jù)流的面向方面測試方法研究[D];湖南大學(xué);2013年

9 蘇振;類C語言程序分片系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];吉林大學(xué);2006年

10 文家朝;基于多樣化對象所有權(quán)的軟件可信性質(zhì)研究[D];南京理工大學(xué);2012年

，

本文編號：1413797