中文摘要：

控制流检测是抵御单粒子事件的有效手段之一．目前的主流方法是采用嵌入式签名技术，但是该技术引入的检测指令过多，导致程序效率低下．本文使用基本块规约的技术，在原基本块的基础上，选择合适的约束量重新划分基本块，减少引入的检测指令．与8个常见算法的性能比较表明，该方法在软错误检测覆盖率基本不变的前提下，能有效提高目标程序效率．

英文摘要：

Control-flow checking is an effective method on resisting single event upset, the mainstream method is embedded signature, but this method involve too many detecting instructions to make program ineffective. In this paper, we introduce a new method which named＇basic block reduced＇to decrease the instruction involved, and inprove the performance of the program, without changing soft error detection rate.