Mitigation of software errors produced by radiation from the space environment
DOI:
https://doi.org/10.37537/rev.elektron.7.1.178.2023Keywords:
CFI, CMOS, ISA, PECOS, SEUAbstract
This paper presents the development and implementation of a software error mitigation technique with the aim of protecting functions to be used in space missions. The Preemptive Control Signature technique is analyzed to mitigate Single Event Upset type errors on the ARMv7E-M architecture and thus be able to extend the availability time of spatial devices by increasing tolerance to such errors. Implemented technique detected 79.5% of the errors.Downloads
References
A. Marko, P. Vladimir, S. Zoran, R. Goran, and J. Goran, “Circuit-level simulation of the single event transients in an on-chip single event latchup protection switch.” Journal of Electronic Testing., 2015. DOI: 31. 275-289. 10.1007/s10836-015-5529-1.
S. Hillmann and M. Wachter, “New space is becoming increasingly important for german industry.” The Federation of German Industries (BDI)., Jun. 2022.
D. Asciolla, L. Dilillo, D. Santos, D. Melo, A. Menicucci, and M. Ottavi, “Characterization of a risc-v microcontroller through fault injection.” Applications in Electronics Pervading Industry, Environment and Society., 2020. DOI: 10.1007/978-3-030-37277-4_11.
S. S. Yau and F.-C. Chen, “An approach to concurrent control flow checking.” IEEE Transactions on Software Engineering., Mar. 1980. DOI: 10.1109/TSE.1980.234478.
S. Chandra and P. M. Chen, “How fail-stop are faulty programs?.” Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224)., 1998. DOI: 10.1109/FTCS.1998.689475.
S. Bagchi, Z. Kalbarczyk, R. Iyer, and Y. Levendel, “Design and evaluation of preemptive control signature checking.” IEEE Transactions on Computers., 2003.
Z. Alkhalifa, V. S. S. Nair, N. Krishnamurthy, and J. A. Abraham, “Design and evaluation of system-level checks for on-line control flow error detection.” IEEE Transactions on Parallel and Distributed Systems., Jun. 1999. DOI: 10.1109/71.774911.
R. W. Hamming, “Error detecting and error correcting codes.” The Bell System Technical Journal., Apr. 1950. DOI: 10.1002/j.1538-7305.1950.tb00463.x.
N. J. Wang and S. J. Patel, “Restore: Symptom-based soft error detection in microprocessors.” IEEE Transactions on Parallel and Distributed Systems., Jul. 2006. DOI: 10.1109/TDSC.2006.40.
H. Madeira, D. Costa, and M. Vieira, “On the emulation of software faults by software fault injection.” Proceeding International Conference on Dependable Systems and Networks., 2000. DOI: 10.1109/ICDSN.2000.857571.
Downloads
Published
Issue
Section
License
The authors who publish in this journal agree with terms established in the license Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)
