| 一种基于格式化标签的可扩展控制流检测方法 |
| |
| 引用本文： | 徐建军,谭庆平,李建立,李剑明. 一种基于格式化标签的可扩展控制流检测方法[J]. 计算机研究与发展, 2011, 48(4) |
| |
| 作者姓名： | 徐建军 谭庆平 李建立 李剑明 |
| |
| 作者单位： | 国防科学技术大学计算机学院,长沙,410073 |
| |
| 摘 要： | 硬件瞬态故障是运行于高辐照宇宙环境下的航天计算机面临的最主要挑战之一.其中,控制流错误是这种故障影响系统可靠性的重要体现.首先在程序控制流图的基础上,利用图着色算法对基本块进行分类,然后基于基本块的格式化标签提出一种有效的控制流检测方法ECCFS,并针对基本块内部和过程间两个控制流检测问题分别给出其扩展解决方法.检测效能分析和故障注入实验的结果都表明,除了伪分支和几个边界检测盲点之外,ECCFS能够检测出绝大部分的控制流错误.与两个有代表性的控制流检测方法相比较,ECCFS在错误检测率和性能开销等方面都具有一定的优势.
|
| 关 键 词： | 控制流检测 基本块标签 硬件瞬态故障 软件容错 故障注入 |
An Extendable Control Flow Checking Method Based on Formatted Signatures |
| |
| Xu Jianjun,Tan Qingping,Li Jianli,Li Jianming. An Extendable Control Flow Checking Method Based on Formatted Signatures[J]. Journal of Computer Research and Development, 2011, 48(4) |
| |
| Authors: | Xu Jianjun Tan Qingping Li Jianli Li Jianming |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
