Mitigación de errores de software producidos por la radiación del ambiente espacial

German Castro

Resumen


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. 


Palabras clave


CFI; CMOS; ISA; PECOS; SEU

Texto completo:

PDF HTML

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.




DOI: https://doi.org/10.37537/rev.elektron.7.1.178.2023

Enlaces de Referencia

  • Por el momento, no existen enlaces de referencia


Copyright (c) 2023 German Castro

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.


Revista elektron,  ISSN-L 2525-0159
Facultad de Ingeniería. Universidad de Buenos Aires 
Paseo Colón 850, 3er piso
C1063ACV - Buenos Aires - Argentina
revista.elektron@fi.uba.ar
+54 (11) 528-50889