This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Statistical Reliability Estimation of Microprocessor-Based Systems
Nov. 2012 (vol. 61 no. 11)
pp. 1521-1534
A. Savino, Dept. of Control & Comput. Eng., Politec. di Torino, Torino, Italy
S. Di Carlo, Dept. of Control & Comput. Eng., Politec. di Torino, Torino, Italy
G. Politano, Dept. of Control & Comput. Eng., Politec. di Torino, Torino, Italy
A. Benso, Dept. of Control & Comput. Eng., Politec. di Torino, Torino, Italy
A. Bosio, Lab. d'Inf., de Robot. et de Microelectron. de Montpellier, Univ. of Montpellier II, Montpellier, France
G. Di Natale, Lab. d'Inf., de Robot. et de Microelectron. de Montpellier, Univ. of Montpellier II, Montpellier, France
What is the probability that the execution state of a given microprocessor running a given application is correct, in a certain working environment with a given soft-error rate? Trying to answer this question using fault injection can be very expensive and time consuming. This paper proposes the baseline for a new methodology, based on microprocessor error probability profiling, that aims at estimating fault injection results without the need of a typical fault injection setup. The proposed methodology is based on two main ideas: a one-time fault-injection analysis of the microprocessor architecture to characterize the probability of successful execution of each of its instructions in presence of a soft-error, and a static and very fast analysis of the control and data flow of the target software application to compute its probability of success. The presented work goes beyond the dependability evaluation problem; it also has the potential to become the backbone for new tools able to help engineers to choose the best hardware and software architecture to structurally maximize the probability of a correct execution of the target software.
Index Terms:
statistical analysis,multiprocessing systems,probability,service-oriented architecture,software reliability,target software,statistical reliability estimation,microprocessor-based systems,fault injection,microprocessor error probability profiling,one-time fault-injection analysis,target software application,data flow,dependability evaluation problem,software architecture,Hardware,Reliability,Microprocessors,Software,Estimation,Integrated circuit modeling,Probability,Microprocessor reliability,Hardware,Reliability,Microprocessors,Software,Estimation,Integrated circuit modeling,Probability,safety-critical systems,Hardware,Reliability,Microprocessors,Software,Estimation,Integrated circuit modeling,Probability,statistical analysis
Citation:
A. Savino, S. Di Carlo, G. Politano, A. Benso, A. Bosio, G. Di Natale, "Statistical Reliability Estimation of Microprocessor-Based Systems," IEEE Transactions on Computers, vol. 61, no. 11, pp. 1521-1534, Nov. 2012, doi:10.1109/TC.2011.188
Usage of this product signifies your acceptance of the Terms of Use.