Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Dependability Modeling and Evaluation of Software Fault-Tolerant Systems
Arlat J., Kanoun K., Laprie J. IEEE Transactions on Computers39 (4):504-513,1990.Type:Article
Date Reviewed: Jul 1 1991

The structure of the authors’ fault-tolerance model is based on the fact that failures in software execution have different origins. The specifications may contain faults, and the implementation of the separate variants of the software may contain faults, and these faults are not necessarily independent of each other. The paper uses this model to analyze two major approaches to software fault tolerance: recovery blocks (two alternates and an acceptance test) and N-version programming (three versions and a decider).

Program behavior is described as a state-transition model. In the model a state corresponds to the execution of a software block (alternate or test, version or decider, respectively), either in the “normal mode” or when a certain type of fault has been activated. The state transitions are determined by the various fault-activation probabilities.

The analysis produces two failure rates: the rate for detected failures of the system and the rate for catastrophic (non-detected) failures. The derivation of the results presents an interesting case in probabilistic modeling. It is easy to read and understand for anybody familiar with the basic probability theory.

A practitioner might raise questions about the fault-activation probabilities, however. It is hardly possible to get estimates of them in a real software production environment, and without these estimates the analysis remains qualitative.

The major contribution of the paper is in its way to model the behavior of some important fault-tolerant software systems. The analytical results also give some insight into the relative performance of various fault-tolerance methods.

Reviewer:  T. Alanko Review #: CR123913
Bookmark and Share
 
Fault-Tolerance (D.4.5 ... )
 
 
Modeling And Prediction (D.4.8 ... )
 
 
Software/ Program Verification (D.2.4 )
 
Would you recommend this review?
yes
no
Other reviews under "Fault-Tolerance": Date
A theory of reliability in database systems
Hadzilacos V. Journal of the ACM 35(1): 121-145, 1988. Type: Article
Oct 1 1988
A technique for constructing highly available services
Ladin R., Liskov B., Shrira L. Algorithmica 3(3): 393-420, 1988. Type: Article
Nov 1 1988
Applications of Byzantine agreement in database systems
Molina H., Pittelli F., Davidson S. ACM Transactions on Database Systems 11(1): 27-47, 1986. Type: Article
Nov 1 1986
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy