| 软件实现的程序控制流校验方法研究进展 |
| |
| 引用本文： | 李爱国,洪炳镕,王司.软件实现的程序控制流校验方法研究进展[J].哈尔滨工业大学学报,2008,40(3):407-413. |
| |
| 作者姓名： | 李爱国 洪炳镕 王司 |
| |
| 作者单位： | 1. 哈尔滨工业大学计算机科学与技术学院,哈尔滨,150001
2. 哈尔滨工业大学航天学院,哈尔滨,150001 |
| |
| 摘 要： | 在太空环境中,由于宇宙射线的存在,计算机系统的硬件经常发生各种故障,致使软件系统的执行流程产生错误.对于这种由硬件引入的控制流错误,软件实现的运行时校验可提供一种低价、高效的在线错误探测方法.本文以国外近年来有关文献为依据,对由软件实现的控制流校验方法进行了综述与分类,介绍了它们的实现原理并阐明了它们之间的联系与区别,最后指出了软件控制流探测方法目前存在的问题以及发展前景.
|
| 关 键 词： | 控制流校验 并行错误探测 软错误 在线检测 |
| 文章编号： | 0367-6234(2008)03-0407-06 |
| 修稿时间： | 2006年4月27日 |
Survey of control flow checking using software |
| |
| LI Ai-guo,HONG Bing-rong,WANG Si.Survey of control flow checking using software[J].Journal of Harbin Institute of Technology,2008,40(3):407-413. |
| |
| Authors: | LI Ai-guo HONG Bing-rong WANG Si |
| |
| Affiliation: | 1.School of Computer Science and Technology,Harbin Institute of Technology,Harbin 150001,China;2.School of Astronautics,Harbin Institute of Technology,Harbin 150001,China) |
| |
| Abstract: | To avoid the hardware-induced control flow faults of computer system operating due to the radiation in space environment,the low-cost and efficient software schemes are employed to achieve the control flow checking(CFC).The methods of CFC implemented through software itself are summarized and classified,and their principles are discussed as well.Furthermore,some existing problems and the foreground about CFC through software are put forward. |
| |
| Keywords: | control flow checking concurrent error detection soft errors on-line fault detection single event upset |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
