-
题名基于结构化标签的控制流错误检测算法
被引量：2
- 1
-
-
作者
张鹏
朱利
杜小智
贺朝会
陈皓
-
机构
西安交通大学软件学院
西安交通大学能源与动力工程学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2016年第6期37-42,共6页
-
基金
国家自然科学基金资助项目(61473220)
中央高校基本科研业务费专项基金资助项目(XJJ2015122)
陕西省工业公关计划基金资助项目(2013K06-20)
-
文摘
在高辐射宇宙环境下,大量射线容易使航天计算机发生瞬态故障,导致程序出现控制流错误,而传统控制流错误检测算法存在运算复杂度高、具有滞后性和配置不灵活等缺点。为此,基于结构化标签提出一种可配置的控制流错误检测算法。算法使用2个标签,通过对基本块设计结构引入双指令环,解决块间滞后性的问题,实现基本块间和块内的控制流检测。实验结果表明,与同类算法相比,该算法在保证等效检错能力的情况下可使空间开销降低49.3%,时间开销降低17%~45.3%,故障覆盖率提高6.2%~8.6%。
-
关键词
瞬态故障
控制流错误检测
基本块
结构化标签
故障注入
软件容错
-
Keywords
transient fault
Control Flow Error（CFE） detection
basic block
structural tag
fault injection
software fault tolerance
-
分类号
TP302.8
[自动化与计算机技术—计算机系统结构]
-
