DocumentCode :
929537
Title :
Reliability growth of fault-tolerant software
Author :
Kanoun, Karama ; Kaâniche, Mohamed ; Béounes, Christian ; Laprie, Jean-Claude ; Arlat, Jean
Author_Institution :
LAAS-CNRS, Toulouse, France
Volume :
42
Issue :
2
fYear :
1993
fDate :
6/1/1993 12:00:00 AM
Firstpage :
205
Lastpage :
219
Abstract :
The influence of reliability growth of the fault-tolerant software components on the reliability of the software system in operation is modeled and estimated. Two fault-tolerant software techniques are investigated: recovery block and N-version programming. For each, the stable reliability model is transformed into a model that considers reliability growth using a transformation approach based on the hyperexponential model. Analytic and numeric processing of the transformed models identify the influence of fault removal on the reliability of the fault-tolerant software approaches. The modeling approach is based on the transformation of a Markov chain of the fault-tolerant software system in stable reliability into another modified Markov chain that enables reliability growth to be considered. This approach allows reliability growth relative to the classes of faults affecting fault-tolerant software to be identified and evaluated. The evaluations apply to systems of short successive mission durations with respect to the system lifetime. Using generalized stochastic Petri nets to model the fault-tolerant software system allows for an automatic application of the transformation technique
Keywords :
Markov processes; Petri nets; fault tolerant computing; programming; software reliability; Markov chain; N-version programming; fault removal; fault tolerant computing; generalized stochastic Petri nets; hyperexponential model; modelling; recovery block; reliability growth; software reliability; transformation; Fault diagnosis; Fault tolerance; Fault tolerant systems; Petri nets; Reliability theory; Software design; Software maintenance; Software reliability; Software systems; Stochastic systems;
fLanguage :
English
Journal_Title :
Reliability, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9529
Type :
jour
DOI :
10.1109/24.229488
Filename :
229488
Link To Document :
بازگشت