Fault-Tolerant Programs and Their Reliability

  • Belli F
  • Jedrzejowicz P
  • 3


    Mendeley users who have this article in their library.
  • 30


    Citations of this article.


The authors review and extend available techniques for achieving fault-tolerant programs. The representation of the techniques is uniform and is illustrated by simple examples. For each technique a fault tree has been developed to derive failure probability from the probabilities of the basic fault events. This allows the subsequent analysis of program-failure causes and the reliability modeling of computer programs. Numerical examples are given to support the comparison of the reviewed techniques. The models can be used to evaluate numerical values of program reliability in a relatively simple way. The models deal with program reliability for a single run, which seems more practical and straightforward than dealing with distributions as for hardware systems. Evaluations obtained by using models correspond to those used in the literature; however, the authors' procedures are computationally simpler.

Author-supplied keywords

  • Fault-tree analysis
  • Program construction
  • Recovery-block scheme
  • Software fault
  • Software reliability
  • Softwarefault tolerance
  • n-version programming

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Fevzi Belli

  • Piotr Jedrzejowicz

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free