摘要
针对软件控制流检测算法(CFCSS)存在的检测混淆和检测出错问题,分析了造成可靠性差的根本原因,并根据汇编语言结构特点,通过修改基础基本块的选择方法和多调整签名值赋值语句的插入位置,提出了改进的软件控制流检测算法(ICFCSS),弥补了硬件故障容错性能上的不足,改进算法克服了出错问题的发生.实验表明:此检测算法的平均未检测出错误率仅为2.9%.
In this paper, the basic reasons for checking confusion and errors existing in CFCSS （control flow chec- king by software signatures） were analyzed in detail. Based on the characteristics of assembly language and through modification of the basic-block selection method, as well as the insert position of muhi-adjusting signature value as- signment instructions, an ICFCSS （Improved CFCSS） was proposed which can make up the performace deficiency of the hardware fault tolerance. The experimental results show that the average undetected error rate of the ICFCSS algorithm is only 2.9%.
出处
《哈尔滨工程大学学报》
EI
CAS
CSCD
北大核心
2011年第6期814-819,共6页
Journal of Harbin Engineering University
基金
国家自然科学基金资助项目(61003036
60873037)
关键词
可靠性
硬件故障容错
控制流检测技术
基本块
reliability
hardware fault tolerance
control flow checking technique
basic block
