| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
Cited literature [16 references]
https://hal.inria.fr/hal-01466693
Contributor : Hal Ifip <>
Submitted on : Monday, February 13, 2017 - 4:39:40 PM
Last modification on : Thursday, March 5, 2020 - 5:40:27 PM
Long-term archiving on: : Sunday, May 14, 2017 - 3:04:29 PM
Contributor : Hal Ifip <>
Submitted on : Monday, February 13, 2017 - 4:39:40 PM
Last modification on : Thursday, March 5, 2020 - 5:40:27 PM
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