基于程序控制流完整性检查的DSP软错误检测

摘要

空间环境中DSP等器件频繁发生的单粒子软错误,严重影响了系统的安全可靠运行。针对DSP程序存储区的软错误,本文提出了基于程序控制流完整性检查的软错误检测方法。首先对DSP程序在汇编语言上将程序划分为若干个基本块并将每个基本块的结构信息存储在一个分块表中;然后在每个基本块的末尾设置检测点,通过检查程序运行时信息与分块表中记录的信息的一致性来判断程序是否发生控制流错误。该方法和基于签名的检测方法相比,在故障检测效率和系统开销大致相当的情况下,具有近乎100%的控制流错误检测覆盖率以及良好的跨平台移植性。