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

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

【摘要】：軟錯(cuò)誤是高輻照空間環(huán)境下影響計(jì)算可靠性的主要因素,結(jié)果錯(cuò)誤(silent data corruption,簡(jiǎn)稱(chēng)SDC)是軟錯(cuò)誤造成的一種特殊的故障類(lèi)型.針對(duì)SDC難以檢測(cè)的問(wèn)題,提出了一種基于不變量的檢測(cè)方法.不變量是運(yùn)行時(shí)刻保持不變的程序特征.在軟錯(cuò)誤發(fā)生后,由于程序受到影響,不變量一般不再滿(mǎn)足.根據(jù)該原理,在源代碼中插入以不變量為內(nèi)容的斷言,利用發(fā)生軟錯(cuò)誤后斷言報(bào)錯(cuò)來(lái)檢測(cè)軟錯(cuò)誤.首先,根據(jù)錯(cuò)誤傳播分析確定了檢測(cè)位置,提取了檢測(cè)位置的不變量;定義了表征不變量檢測(cè)能力的滲透率,在同一檢測(cè)位置依據(jù)滲透率將不變量轉(zhuǎn)化為斷言.通過(guò)錯(cuò)誤注入實(shí)驗(yàn),驗(yàn)證了該檢測(cè)方法的有效性.實(shí)驗(yàn)結(jié)果表明:該檢測(cè)方法具備較高的檢出率和較低的檢測(cè)代價(jià),為星載系統(tǒng)的軟錯(cuò)誤防護(hù)提供了新的解決思路.
[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é)計(jì)算機(jī)科學(xué)與工程學(xué)院;計(jì)算機(jī)網(wǎng)絡(luò)和信息集成教育部重點(diǎn)實(shí)驗(yàn)室(東南大學(xué));
【分類(lèi)號(hào)】：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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本文編號(hào)：1409182