Journal of Aerospace Technology and Management (Aug 2013)

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

  • Ronaldo Rodrigues Ferreira,
  • Rafael Baldiati Parizi,
  • Luigi Carro,
  • Álvaro Freitas Moreira

Journal volume & issue
Vol. 5, no. 3

Abstract

Read online

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.

Keywords