J4 ›› 2010, Vol. 32 ›› Issue (3): 115-118.doi: 10.3969/j.issn.1007130X.2010.
李建立, 谭庆平, 徐建军
LI Jian-Li, TAN Qiang-Beng, XU Jian-Jun-
摘要: 空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些瞬时故障致使程序执行出现数据错误或者控制流错误。针对瞬时故障导致的程序错误,本文提出了一种软件实现的故障检测算法SITFT,它结合软件复算和标签分析的方法,既可以检测程序运行中的数据错误,又可以有效检测控制流错误。故障注入实验的结果表明,SITFT算法在性能开销比源程序增加58%~111%,存储开销增加153%~225%的前提下,使程序执行出现错误结果的情形比源程序减少了49.0%~73.2%。
中图分类号: