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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Nodoushan MJ, Miremadi SG, Ejlali A (2008) Control-flow checking using branch instructions. In: Proceeding of the IEEE/IFIP international conference on embedded and ubiquitous computing (EUC 2008), Shanghai, China
Xing KF (2007) Single event effect detection and mitigation techniques for spaceborne signal processing platform. National University of Defence Technology, Changsha
Alkhalifa Z, Nair VSS, Krishnamurthy N et al (1999) Design and evaluation of system-level checks for on-line control-flow error detection. IEEE Trans Parallel Distrib Syst 10:627–641. doi:10.1109/71.774911
Oh N, Shirvani PP, McCluskey EJ (2002) Control-flow checking by software signatures. IEEE Trans Reliab 51:111–122. doi:10.1109/24.994926
Reis GA, Chang J, Vachharajani N et al (2005) SWIFT: Software implemented fault tolerance. In: Proceedings of the third international symposium on code generation and optimization (CGO), San Jose, CA
Borin E, Wang C, Wu YF et al (2006) Software-based transparent and comprehensive control-flow error detection. In: Proceedings of the international symposium on code generation and optimization (CGO), New York, NY
Benso A, Di Carlo S, Di Natale G, Prinetto P (2002) Static analysis of SEU effects on software applications. In: Proceedings of the international test conference (ITC), Baltimore, MD
Goloubeva O, Rebaudengo M, Sonza Reorda M, Violante M (2003) Soft-error detection using control flow assertions. In: Proceedings of the 18th IEEE international symposium on defect and fault tolerance in VLSI systems (DFT’03), Boston, MA
Huang ZY (2006) Research and implementation of software error detection technique for on-board computers. Harbin Institute of Technology, Harbin
Acknowledgments
This work is supported by National Natural Science Foundation of China under Grant No. 61371024 and No. 61601371, Aviation Science Fund of China under Grant No. 2016ZD53035, the Industry-Academy-Research Project of AVIC No.cxy2013XGD14, and the Open Research Project of Electronic components reliability physics and application technology Key Laboratory.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Guo, Y., Wu, H., Zhou, G., Liu, S., Zhang, J., Wang, X. (2018). Program Control-Flow Structural Integrity Checking Based Soft Error Detection Method for DSP. In: Zuo, M., Ma, L., Mathew, J., Huang, HZ. (eds) Engineering Asset Management 2016. Lecture Notes in Mechanical Engineering. Springer, Cham. https://doi.org/10.1007/978-3-319-62274-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-62274-3_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-62273-6
Online ISBN: 978-3-319-62274-3
eBook Packages: EngineeringEngineering (R0)