This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 15th IEEE International On-Line Testing Symposium
Invariant checkers: An efficient low cost technique for run-time transient errors detection
Sesimbra-Lisbon, Portugal
June 24-June 26
ISBN: 978-1-4244-4596-7
Carmela Noro Grando, Instituto de Informatica, PPGC, Universidade Federal do Rio Grande do Sul, Brazil
Carlos Arthur Lisboa, Instituto de Informatica, PPGC, Universidade Federal do Rio Grande do Sul, Brazil
Alvaro Freitas Moreira, Instituto de Informatica, PPGC, Universidade Federal do Rio Grande do Sul, Brazil
Luigi Carro, Instituto de Informatica, PPGC, Universidade Federal do Rio Grande do Sul, Brazil
Semiconductor technology evolution brings along higher soft error rates and long duration transients, which require new low cost system level approaches for error detection and mitigation. Known software based error detection techniques imply a high overhead in terms of memory usage and execution times. In this work, the use of software invariants as a means to detect transient errors affecting a system at run-time is proposed. The technique is based on the use of a publicly available tool to automate the invariant detection process, and the decomposition of complex algorithms into simpler ones, which are checked through the verification of their invariants during the execution of the program. A sample program is used as a case study, and fault injection campaigns are performed to verify the error detection capability of the proposed technique. The experimental results show that the proposed technique provides high error detection capability, with low execution time overhead.
Citation:
Carmela Noro Grando, Carlos Arthur Lisboa, Alvaro Freitas Moreira, Luigi Carro, "Invariant checkers: An efficient low cost technique for run-time transient errors detection," iolts, pp.35-40, 2009 15th IEEE International On-Line Testing Symposium, 2009
Usage of this product signifies your acceptance of the Terms of Use.