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.
https://hal.inria.fr/hal-01466693 Contributor : Hal IfipConnect in order to contact the contributor Submitted on : Monday, February 13, 2017 - 4:39:40 PM Last modification on : Friday, January 7, 2022 - 11:00:13 AM Long-term archiving on: : Sunday, May 14, 2017 - 3:04:29 PM
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⟩