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