• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2010, Vol. 32 ›› Issue (3): 115-118.doi: 10.3969/j.issn.1007130X.2010.

• 论文 • 上一篇    下一篇

一种辐射环境下瞬时故障的软件检测方法

李建立, 谭庆平, 徐建军   

  1. (国防科学技术大学计算机学院,湖南 长沙 410073)
  • 收稿日期:2009-09-12 修回日期:2009-12-30 出版日期:2010-03-10 发布日期:2010-03-10
  • 通讯作者: 李建立 E-mail:ljl_003@163.com
  • 作者简介:李建立(1985),男,河南周口人,硕士生,研究方向为高可信软件工程;谭庆平,教授,博士生导师,研究方向为软件理论、软件质量管理等;徐建军,博士生,研究方向为软件可靠性。

A Software Approach to Detecting  Transient Faults in the Radiation Environment

LI Jian-Li, TAN Qiang-Beng, XU Jian-Jun-   

  1. (School of Computer Science,National University of Defense Technology,Changsha 410073,China)
  • Received:2009-09-12 Revised:2009-12-30 Online:2010-03-10 Published:2010-03-10
  • Contact: LI Jian-Li E-mail:ljl_003@163.com

摘要: 空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些瞬时故障致使程序执行出现数据错误或者控制流错误。针对瞬时故障导致的程序错误,本文提出了一种软件实现的故障检测算法SITFT,它结合软件复算和标签分析的方法,既可以检测程序运行中的数据错误,又可以有效检测控制流错误。故障注入实验的结果表明,SITFT算法在性能开销比源程序增加58%~111%,存储开销增加153%~225%的前提下,使程序执行出现错误结果的情形比源程序减少了49.0%~73.2%。

关键词: 数据错误, 控制流错误, 故障检测, 故障注入

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 show that the misdata in the SITFT program output decrease by 49.0%-73.2% on the precondition that the execution time increases by 58%-111% and the memory cost increases by 153%-225% than the original program execution.

Key words: data error;control flow error;fault detection;fault injection

中图分类号: