摘要:空间辐射环境下,硬件瞬时故障经常导致程序执行出现数据错误或者控制流错误。本文针对瞬时故障导致的程序错误,提出了一种软件实现的检测算法ESWIFT,它基于程序冗余的思想检测数据错误,基于标签分析的思想检测控制流错误,不但可以检测无存基本块间的跳转错误,同时可以检测块内控制流错误,并在可靠性和性能消耗之间提供了选择的灵活性。故障注入实验的结果表明,性能开销比采用SWIFT算法程序增加10.9%~13.1%,存储开销增加6.2%~11.5%的前提下,程序执行出现错误结果的情形比采用SWIFT算法程序减少了31.4%~51.7%。