基于结构化标签的控制流错误检测算法

摘要：

在高辐射宇宙环境下,大量射线容易使航天计算机发生瞬态故障,导致程序出现控制流错误,而传统控制流错误检测算法存在运算复杂度高、具有滞后性和配置不灵活等缺点.为此,基于结构化标签提出一种可配置的控制流错误检测算法.算法使用2个标签,通过对基本块设计结构引入双指令环,解决块间滞后性的问题,实现基本块间和块内的控制流检测.实验结果表明,与同类算法相比,该算法在保证等效检错能力的情况下可使空间开销降低49.3％,时间开销降低17％ ～ 45.3％,故障覆盖率提高6.2％～8.6％.

关键词：瞬态故障、控制流错误检测、基本块、结构化标签、故障注入、软件容错

所属期刊栏目：42

分类号：TP302.8(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61473220;中央高校基本科研业务费专项基金资助项目XJJ2015122;陕西省工业公关计划基金资助项目2013K06-20

在线出版日期：2016-08-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：37-42