本文關(guān)鍵詞：一種基于不變量的軟錯誤檢測方法　出處：《軟件學(xué)報》2016年02期 　論文類型：期刊論文

  更多相關(guān)文章： 單粒子翻轉(zhuǎn) 結(jié)果錯誤 錯誤檢測 不變量

【摘要】：軟錯誤是高輻照空間環(huán)境下影響計算可靠性的主要因素,結(jié)果錯誤(silent data corruption,簡稱SDC)是軟錯誤造成的一種特殊的故障類型.針對SDC難以檢測的問題,提出了一種基于不變量的檢測方法.不變量是運行時刻保持不變的程序特征.在軟錯誤發(fā)生后,由于程序受到影響,不變量一般不再滿足.根據(jù)該原理,在源代碼中插入以不變量為內(nèi)容的斷言,利用發(fā)生軟錯誤后斷言報錯來檢測軟錯誤.首先,根據(jù)錯誤傳播分析確定了檢測位置,提取了檢測位置的不變量;定義了表征不變量檢測能力的滲透率,在同一檢測位置依據(jù)滲透率將不變量轉(zhuǎn)化為斷言.通過錯誤注入實驗,驗證了該檢測方法的有效性.實驗結(jié)果表明:該檢測方法具備較高的檢出率和較低的檢測代價,為星載系統(tǒng)的軟錯誤防護提供了新的解決思路.
[Abstract]:Soft error is the main factor that affects the reliability of calculation in the environment of high irradiation space, and the result is silent data corruption. SDC is a special fault type caused by soft error. It is difficult to detect SDC. A detection method based on invariant is proposed. Invariant is the feature of program that keeps constant at running time. After the soft error occurs, the invariant is not satisfied because of the influence of the program. According to this principle, the invariant is not satisfied. The invariant is inserted into the source code to detect the soft error. Firstly, the detection position is determined according to the error propagation analysis, and the invariant of the detection position is extracted. The permeability which characterizes the invariant detection ability is defined. According to the permeability, the invariant is transformed into an assertion at the same detection position, and the error injection experiment is carried out. The experimental results show that the detection method has higher detection rate and lower detection cost, which provides a new solution for the soft error prevention of spaceborne systems.
【作者單位】： 東南大學(xué)計算機科學(xué)與工程學(xué)院;計算機網(wǎng)絡(luò)和信息集成教育部重點實驗室(東南大學(xué));
【分類號】：V467
【正文快照】： 9825/4915.htm英文引用格式:Ma JC,Wang Y.Approach for detecting soft error by using program invariant.Ruan Jian Xue Bao/Journal ofSoftware,2016,27(2):219-230(in Chinese).http://www.jos.org.cn/1000-9825/4915.htmApproach for Detecting Soft Error by Using Pro

【相似文獻】

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

1 刁麓弘;章森;劉磊;樊麗霞;李華;;相位矩不變量[J];計算機輔助設(shè)計與圖形學(xué)學(xué)報;2008年05期

2 楊昌棋,劉成群;完整非保守系統(tǒng)的積分不變量及其在時間有限元法中的應(yīng)用[J];重慶大學(xué)學(xué)報(自然科學(xué)版);1986年01期

3 張政武;;共面二次曲線族不變量的計算方法研究[J];機械科學(xué)與技術(shù);2013年07期

4 袁立行,鄭南寧,王愛群;一種新的空間透視不變量計算方法[J];西安交通大學(xué)學(xué)報;1997年01期

5 劉沿雙,官弼根,楊國,楊廣銘;交比不變量在平面目標(biāo)識別中的應(yīng)用[J];應(yīng)用科技;2000年03期

6 張政武;;空間二次曲線代數(shù)不變量的幾何解釋[J];機械科學(xué)與技術(shù);2008年12期

7 周建存;常亮;郭克華;;等距變形體的矩不變量構(gòu)造方法[J];中南大學(xué)學(xué)報(自然科學(xué)版);2012年08期

8 陳浩,陸罡,高啟孝;離散條件下數(shù)字圖像矩不變量不變性的分析與研究[J];海軍工程大學(xué)學(xué)報;2003年04期

9 夏良正;李曉兵;羅慶姚;;一種新的基于投影的二維矩不變量快速算法[J];東南大學(xué)學(xué)報;1993年01期

10 梅樹起;原魁;張懷相;;一種基于投影不變量的目標(biāo)跟蹤方法[J];機器人;2007年01期

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

1 武際可;;力學(xué)中的不變量[A];第三屆全國力學(xué)史與方法論學(xué)術(shù)研討會論文集[C];2007年

2 武際可;;力學(xué)中的變換與不變量[A];第二屆全國力學(xué)史與方法論學(xué)術(shù)研討會論文集[C];2005年

3 張爽;尚啟春;張寅權(quán);王寧;;寬帶聲源測距的陣不變量方法研究[A];2012'中國西部聲學(xué)學(xué)術(shù)交流會論文集(Ⅱ)[C];2012年

4 杜松沛;;基于積分不變量的三維模型編輯傳播[A];第18屆全國多媒體學(xué)術(shù)會議（NCMT2009）、第5屆全國人機交互學(xué)術(shù)會議（CHCI2009）、第5屆全國普適計算學(xué)術(shù)會議（PCC2009）論文集[C];2009年

5 李然;武昊;朱秀麗;;基于不變量特征的影像三維建模[A];第四屆“測繪科學(xué)前沿技術(shù)論壇”論文精選[C];2012年

6 趙振東;高大治;王好忠;王寧;;波導(dǎo)不變量原理在目標(biāo)測距中的應(yīng)用[A];2009年度全國物理聲學(xué)會議論文集[C];2009年

7 尚晉霞;尚振宏;楊檉;;基于色彩特征不變量與局部紋理結(jié)合的運動陰影去除[A];2009年研究生學(xué)術(shù)交流會通信與信息技術(shù)論文集[C];2009年

8 胡紅革;黃大貴;謝閱;;基于位置不變量的混和Petri網(wǎng)的分解[A];中國工程物理研究院科技年報（2003）[C];2003年

9 許仙萍;歐陽寧;蔣俊杰;;基于投影不變量的FOV線生成改進算法[A];全國第一屆信號處理學(xué)術(shù)會議暨中國高科技產(chǎn)業(yè)化研究會信號處理分會籌備工作委員會第三次工作會議專刊[C];2007年

10 季錚;張劍清;詹總謙;;基于特征不變量的目標(biāo)識別定位方法研究[A];第二十六屆中國控制會議論文集[C];2007年

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

1 路曉靜;量子系統(tǒng)中快速非絕熱操控及其最優(yōu)化設(shè)計[D];上海大學(xué);2015年

2 金英姬;代數(shù)不變量的早期歷史研究[D];西北大學(xué);2013年

3 劉潤宗;模式識別領(lǐng)域中形變不變量的若干關(guān)鍵問題研究[D];重慶大學(xué);2012年

4 朱旭鋒;基于圖像不變量特征的自動目標(biāo)識別技術(shù)研究[D];中國科學(xué)院研究生院(西安光學(xué)精密機械研究所);2012年

5 廖波;計算分子生物學(xué)中若干問題研究[D];大連理工大學(xué);2004年

6 騫森;機器人視覺中的退化不變量研究[D];南京航空航天大學(xué);2007年

7 張志海;基于計算機代數(shù)的程序驗證[D];北京大學(xué);2011年

8 楊飛;局部Gromov-Witten不變量的計算問題[D];清華大學(xué);2009年

9 程勇;人臉識別中光照不變量提取算法研究[D];南京理工大學(xué);2010年

10 許磊;近距離煤柱群底板偏應(yīng)力不變量分布特征及應(yīng)用[D];中國礦業(yè)大學(xué)（北京）;2014年

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

1 張立梅;3-qubit及4-qubit純態(tài)κ-ME concurrence與負性、多項式不變量關(guān)系[D];河北師范大學(xué);2015年

2 王鳳霞;虛擬紐結(jié)的一類不變量的研究[D];東北師范大學(xué);2015年

3 陳才;一元多項式不等式似然不變量檢測方法研究[D];南華大學(xué);2010年

4 周輝;基于程序不變量的并發(fā)軟件可靠性計算[D];浙江理工大學(xué);2014年

5 張紅紅;型不變量為（e，，1，1，1，1）的正則p群的分類[D];山西師范大學(xué);2012年

6 胡國慶;邏輯表達式型似然不變量的分析與檢測[D];南華大學(xué);2008年

7 王美華;不變量理論在模式識別中的應(yīng)用[D];燕山大學(xué);2004年

8 梅艷萍;計算機視覺中的幾何代數(shù)不變量[D];深圳大學(xué);2015年

9 劉倩;一些連續(xù)/離散正交矩及其不變量的研究[D];華東理工大學(xué);2013年

10 劉杰;基于關(guān)系數(shù)據(jù)理論的函數(shù)型程序似然不變量動態(tài)檢測方法[D];南華大學(xué);2008年

本文編號：1409182