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

Rafael B. Parizi, Ronaldo Rodrigues Ferreira, Luigi Carro, Álvaro F. Moreira. Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software. In Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro Cesar Zanella, Franz J. Rammig, editors, Embedded Systems: Design, Analysis and Verification - 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings. Volume 403 of IFIP Advances in Information and Communication Technology, pages 49-60, Springer, 2013. [doi]

Abstract

Abstract is missing.