Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software - Embedded Systems: Design, Analysis and Verification
Conference Papers Year : 2013

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

Abstract

This paper characterizes how compiler optimizations impact software control-flow reliability when the optimized application is compiled with a technique to enable the software itself to detect and correct radiation induced soft-errors occurring in branches. Supported by a comprehensive fault injection campaign using an established benchmark suite in the embedded systems domain, we show that the careful selection of the available compiler optimizations is necessary to avoid a significant decrease of software reliability while sustaining the performance boost those optimizations provide.
Fichier principal
Vignette du fichier
978-3-642-38853-8_5_Chapter.pdf (553.29 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01466693 , version 1 (13-02-2017)

Licence

Identifiers

Cite

Rafael B. Parizi, Ronaldo R. Ferreira, Luigi Carro, Álvaro F. Moreira. Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software. 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.49-60, ⟨10.1007/978-3-642-38853-8_5⟩. ⟨hal-01466693⟩
139 View
147 Download

Altmetric

Share

More