| 一种辐射环境下瞬时故障的软件检测方法 |
| |
| 引用本文： | 李建立,谭庆平,徐建军. 一种辐射环境下瞬时故障的软件检测方法[J]. 计算机工程与科学, 2010, 32(3): 115-118. DOI: 10.3969/j.issn.1007130X.2010. |
| |
| 作者姓名： | 李建立 谭庆平 徐建军 |
| |
| 作者单位： | 国防科学技术大学计算机学院,湖南,长沙,410073 |
| |
| 摘 要： | 空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些瞬时故障致使程序执行出现数据错误或者控制流错误。针对瞬时故障导致的程序错误,本文提出了一种软件实现的故障检测算法SITFT,它结合软件复算和标签分析的方法,既可以检测程序运行中的数据错误,又可以有效检测控制流错误。故障注入实验的结果表明,SIT-FT算法在性能开销比源程序增加58%～111%,存储开销增加153%～225%的前提下,使程序执行出现错误结果的情形比源程序减少了49.0%～73.2%。
|
| 关 键 词： | 数据错误 控制流错误 故障检测 故障注入 |
| 收稿时间： | 2009-09-12 |
| 修稿时间： | 2009-12-30 |
A Software Approach to Detecting Transient Faults in the Radiation Environment |
| |
| LI Jian-li,TAN Qing-ping,XU Jian-jun. A Software Approach to Detecting Transient Faults in the Radiation Environment[J]. Computer Engineering & Science, 2010, 32(3): 115-118. DOI: 10.3969/j.issn.1007130X.2010. |
| |
| Authors: | LI Jian-li TAN Qing-ping XU Jian-jun |
| |
| Affiliation: | School of Computer Science/a>;National University of Defense Technology/a>;Changsha 410073/a>;China |
| |
| Abstract: | In the cosmic radiation environment,a large number of cosmic rays often lead to the transient faults in on-board computers,which result in data errors or control flow errors during program execution.Against program execution errors caused by transient faults,a software-implemented fault detection algorithm named SITFT is proposed,which not only detects data errors but also detects control flow errors effectively based on program redundancy and signature analysis.The results of fault injection experiment sho... |
| |
| Keywords: | data error control flow error fault detection fault injection |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
|
