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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-01466693
Contributor : Hal Ifip <>
Submitted on : Monday, February 13, 2017 - 4:39:40 PM
Last modification on : Friday, December 1, 2017 - 1:09:42 AM
Long-term archiving on : Sunday, May 14, 2017 - 3:04:29 PM

File

978-3-642-38853-8_5_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Rafael Parizi, Ronaldo Ferreira, Luigi Carro, Álvaro 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⟩

Share

Metrics

Record views

172

Files downloads

168