Program control-flow structural integrity checking based soft error detection method for DSP

Yangming Guo, Hao Wu, Guochang Zhou, Shan Liu, Jiaqi Zhang, Xiangtao Wang

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

1 Scopus citations

Abstract

Nowadays, for the equipment in the outer space, the system safety and reliability are largely affected by soft errors which are caused by the single high energy particles. This is frequently reported in DSP and the other memory devices. Thus, the detection of soft error becomes an interesting research topic. For the purpose of detecting the occurrence of soft error occurred in storage areas of a DSP program, a control flow integrity based checking scheme for soft error detection is presented in this work. In this work, the DSP program implemented in assembly language is mainly focused. Firstly, the program is divided into a number of basic blocks with corresponding structure information being stored in a partition table. Then, for each basic block, a checkpoint is set at the end. The program control flow error can be easily determined by examining the consistency between the information at runtime and that recorded information in the partition table. Compared with the signature-based method, the proposed method is able to achieve almost 100% of error detection coverage. Furthermore, the proposed detection scheme has better cross platform portability under almost same detection efficiency and detection overhead.

Original languageEnglish
Title of host publicationLecture Notes in Mechanical Engineering
PublisherSpringer Heidelberg
Pages49-59
Number of pages11
Edition9783319622736
ISBN (Print)9783319666969, 9783319686189, 9789811053283, 9789811322723
DOIs
StatePublished - 2017

Publication series

NameLecture Notes in Mechanical Engineering
Number9783319622736
Volume0
ISSN (Print)2195-4356
ISSN (Electronic)2195-4364

Keywords

  • Control-flow error
  • DSP
  • Integrality checking
  • Soft error

Fingerprint

Dive into the research topics of 'Program control-flow structural integrity checking based soft error detection method for DSP'. Together they form a unique fingerprint.

Cite this