共 1 条
一种辐射环境下瞬时故障的软件检测方法
被引:3
作者:
李建立
谭庆平
徐建军
机构:
[1] 国防科学技术大学计算机学院
来源:
关键词:
数据错误;
控制流错误;
故障检测;
故障注入;
D O I:
暂无
中图分类号:
TP311.52 [];
学科分类号:
081202 ;
0835 ;
摘要:
空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些瞬时故障致使程序执行出现数据错误或者控制流错误。针对瞬时故障导致的程序错误,本文提出了一种软件实现的故障检测算法SITFT,它结合软件复算和标签分析的方法,既可以检测程序运行中的数据错误,又可以有效检测控制流错误。故障注入实验的结果表明,SIT-FT算法在性能开销比源程序增加58%~111%,存储开销增加153%~225%的前提下,使程序执行出现错误结果的情形比源程序减少了49.0%~73.2%。
引用
收藏
页码:115 / 118
页数:4
相关论文