摘要
控制流检测是抵抗单粒子效应的有效手段之一。高效的控制流检测方法须实现容错性能和容错开销的合理均衡。首先对控制流标签检测方法的检测性能及影响因素进行建模分析,得到了标签添加的理论基础。然后将一种基于格式化标签的可拓展控制流检测方法 ECCFS做为优化目标算法,并以程序扩展块划分为优化手段,提出一种基于检测能力分析的控制流检测优化方法。该方法给出了容错开销与可靠性提升的工程参考和理论依据,并且实验结果验证了该方法受程序控制流图影响较小,能够实现容错开销与可靠性的合理均衡。
Control flow detection is one of the effective means to resist the single event upset. A method for efficient control flow detection must achieve a reasonable balance between fault-tolerant performance and fault-tolerant overhead. Firstly this paper analyzes the detection performance and the influencing factors of the embedded signature control flow detection methods,and gets theoretical guidance for adding signature. Then control-flow checking optimization method based on the analysis of detection performance is put forward in which ECCFS is used as the optimization target algorithm and the extend block method is introduced. The method proposes a theory of the balance between arithmetic overload and reliability improvement,and experimental results shows that the method is less affected by the program control flow graph,and achieves a reasonable balance between fault-tolerant overhead and reliability.
出处
《信息工程大学学报》
2015年第1期30-34,40,共6页
Journal of Information Engineering University
基金
国家863计划资助项目(2012AA01A502)
关键词
控制流检测
扩展块
标签检测
软件容错
故障注入
ontrol flow checking
extend block
embedded signature
software fault tolerance
fault injection
