标题:
基于程序控制流完整性检查的DSP软错误检测DSP Soft Error Detection Based on Program Control Flow Integrity Checking
作者:
周国昌, 王向涛, 高翔, 赖晓玲, 郭阳明, 于登云
关键字:
DSP, 软错误, 控制流错误, 完整性检查DSP, Soft Error, Control-Flow Error, Integrality Checking
期刊名称:
《Computer Science and Application》, Vol.5 No.4, 2015-05-22
摘要:
空间环境中DSP等器件频繁发生的单粒子软错误，严重影响了系统的安全可靠运行。针对DSP程序存储区的软错误，本文提出了基于程序控制流完整性检查的软错误检测方法。首先对DSP程序在汇编语言上将程序划分为若干个基本块并将每个基本块的结构信息存储在一个分块表中；然后在每个基本块的末尾设置检测点，通过检查程序运行时信息与分块表中记录的信息的一致性来判断程序是否发生控制流错误。该方法和基于签名的检测方法相比，在故障检测效率和系统开销大致相当的情况下，具有近乎100%的控制流错误检测覆盖率以及良好的跨平台移植性。In the aerospace, the single particle soft errors are more and more frequently reported in DSP and the other memory devices, which seriously impact the system running safely and reliably. Aiming at the soft error occurring in DSP program storage areas, a soft error detection method based on program control flow integrity checking is presented. Firstly, the DSP program in assembly lan-guage is divided into some basic blocks whose structure information is stored in a partition table. And then setting up check points at the end of each basic block, the program control flow error will be fund by examining the application runtime information and blocking the consistency of the information recorded in the partition table. Compared with signature-based method, the proposed method can reach almost 100% of error detection coverage and has better cross platform portability under almost the same detection efficiency and detection overhead.