Compiler Optimizations Impact the Reliability of the Control-Flow of Radiation-Hardened Software

Autor: Ronaldo Rodrigues Ferreira, Rafael Baldiati Parizi, Luigi Carro, Álvaro Freitas Moreira
Jazyk: angličtina
Rok vydání: 2013
Předmět:
Zdroj: Journal of Aerospace Technology and Management, Vol 5, Iss 3 (2013)
Druh dokumentu: article
ISSN: 2175-9146
Popis: http://dx.doi.org/10.5028/jatm.v5i3.224 This paper discusses how compiler optimizations influence software reliability when the optimized application is compiled with a technique to enable the software itself to detect and correct radiation-induced control-flow errors. Supported by a comprehensive fault-injection campaign using an established benchmark suite in the embedded systems domain, we show that the compiler is a non-negligible source of noise when hardening the software against radiationinduced soft errors.
Databáze: Directory of Open Access Journals