Mitigación de errores de software producidos por la radiación del ambiente espacial
DOI:
https://doi.org/10.37537/rev.elektron.7.1.178.2023Palabras clave:
CFI, CMOS, ISA, PECOS, SEUResumen
En este trabajo se presenta el desarrollo e implementación de una técnica de mitigación de errores de software con el objetivo de proteger funciones a ser utilizadas en misiones espaciales. Se analiza la técnica Preemptive Control Signature para mitigar los errores del tipo Single Event Upset sobre la arquitectura ARMv7E-M y poder así extender el tiempo de disponibilidad de los dispositivos espaciales aumentando la tolerancia a dichos errores. La técnica implementada logró detectar el 79.5% de los errores.
Descargas
Referencias
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.
Publicado
Número
Sección
Licencia
Los autores que publican en esta revista están de acuerdo con los términos establecidos en Creative Commons Atribución/Reconocimiento-NoComercial-SinDerivados 4.0 Licencia Pública Internacional — CC BY-NC-ND 4.0.
