本文主要研究以下内容：
(1)由于传统的验证控制流错误检测算法检测能力的模型很少考虑新增
的检测指令对算法检测能力的影响，为了从理论上更准确的分析算法的检测
能力，本文开展了对控制流错误检测算法检测能力的验证模型的研究：
(2)由于基于汇编语言的CFCSS算法实用性较强，本文对其中存在的检测混淆和检测错误的问题展开研究；同时，为了降低系统功耗，减少检测点，本文尝试修改检测粒度，在不影响控制流错误检测能力的基础上，提出低功耗的控制流错误检测算法：为了提高控制流错误检测能力，消除基本块间冗余的依赖关系，本文对签名表示方法和签名检测方法进行研究，提出基于汇编语言的DPNCFC算法；
(3)基于签名的控制流错误检测算法在编译时就确定检测位置，导致延
迟发现故障，降低了系统的可靠性；同时，这类算法是以基本块作为检测的
基本单位，在不增加冗余检测指令时无法检测基本块内的控制流错误跳转。
为了解决这两个问题，本文从软硬结合的角度对控制流错误检测算法展开研
究；
(4)由于大部分控制流检测算法不具备容错能力，为了使控制流错误检
测算法和故障恢复技术结合的更紧密，本文基于R80515体系结构，采用软
硬结合的方法，对容控制流错误的方法展开研究。