随着微处理器技术的迅速发展,嵌入式设备已经遍及人们工作和生活的方方面面,一些重要的安全领域例如银行安全系统和航空航天领域也在逐渐采用嵌入式设备作为其核心安全部件。但是嵌入式设备所面临的威胁依然十分严峻。一方面,来自外部的恶意攻击能够修改程序二进制文件甚至能够暂时更改芯片电路使程序沿着错误的控制流运行从而产生错误的运行结果,这些错误的运行结果可能会导致安全信息的泄露。另一方面,有些暴露在宇宙空间或者是强磁场等恶劣环境下的嵌入式设备可能会受到高能粒子束或者电磁串扰的影响,影响程序的正确运行,同样会产生错误的运行结果。而保护程序运行时的控制流完整性能够让程序无论处于什么情况下都能正确地实现自己的功能。因此,如何在最小硬件改动的前提下保证嵌入式设备中程序的控制流完整性,就成了保证嵌入式信息安全的必然需求。本文基于双核处理器架构,在每一个处理器中添加一块硬件监控模块,利用双核处理器的冗余计算能力进行控制流的安全验证。并利用硬件检查和程序软件自检相结合的方法同时进行验证,有效地减少了循环重复检验的次数并提高了验证的速度。本文设计的双核安全处理器架构使用两块ARMv7-A架构的乱序处理器,并运行在开源处理器仿真器GEM5中。经过SPEC 2006数据集的测试,验证了设计的正确性,并评估了性能。