一种基于不变量的软错误检测方法

发布时间：2018-01-11 10:28

本文关键词：一种基于不变量的软错误检测方法　出处：《软件学报》2016年02期 　论文类型：期刊论文

【摘要】：软错误是高辐照空间环境下影响计算可靠性的主要因素,结果错误(silent data corruption,简称SDC)是软错误造成的一种特殊的故障类型.针对SDC难以检测的问题,提出了一种基于不变量的检测方法.不变量是运行时刻保持不变的程序特征.在软错误发生后,由于程序受到影响,不变量一般不再满足.根据该原理,在源代码中插入以不变量为内容的断言,利用发生软错误后断言报错来检测软错误.首先,根据错误传播分析确定了检测位置,提取了检测位置的不变量;定义了表征不变量检测能力的渗透率,在同一检测位置依据渗透率将不变量转化为断言.通过错误注入实验,验证了该检测方法的有效性.实验结果表明:该检测方法具备较高的检出率和较低的检测代价,为星载系统的软错误防护提供了新的解决思路.
[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.
【作者单位】：东南大学计算机科学与工程学院;计算机网络和信息集成教育部重点实验室(东南大学);
【分类号】：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

【相似文献】