|
| |
VIEW
TOC [PDF
Full-Text (1256 KB)] PREV NEXT ABSTRACT
PLUS
You are not currently logged in. Guests
may access abstract/citation records free of charge. Click
here to log in.
You may purchase the PDF full-text
document for up to three (3) downloads within 30 days.
Reliability growth of fault-tolerant
software
Kanoun, K. Kaaniche,
M. Beounes, C. Laprie,
J.-C. Arlat, J.
LAAS-CNRS, Toulouse;
This paper appears in: Reliability, IEEE
Transactions on
Publication Date: Jun 1993
On page(s): 205-219
Volume: 42, Issue:
2
ISSN:
0018-9529
References Cited:
31
CODEN: IERQAD
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
VIEW
TOC [PDF
Full-Text (1256 KB)] PREV NEXT ABSTRACT
PLUS
| |
