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

AUTOR(ES)

Ferreira, Ronaldo Rodrigues, Parizi, Rafael Baldiati, Carro, Luigi, Moreira, Álvaro Freitas

FONTE

J. Aerosp. Technol. Manag.

DATA DE PUBLICAÇÃO

2013-09

RESUMO

ABSTRACT: This paper discusses how compiler optimizations influence software reliability when the optimized application is compiled with a technique to enable the software itself to detect and correct radiation-induced control-flow errors. Supported by a comprehensive fault-injection campaign using an established benchmark suite in the embedded systems domain, we show that the compiler is a non-negligible source of noise when hardening the software against radiation-induced soft errors.

Documentos Relacionados

• Transistor level automatic generation of radiation-hardened circuits
• Padrões de Fluxos de Processos em Banco de Dados Relacionais
• A loosely coupled architecture to run workflow control-flow patterns in grid
• ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo
• Software de aprendizagem e controle motor para avaliação de indivíduos hemiparéticos : validade e confiabilidade