Dependability Modeling for Fault-Tolerant Software and Systems
J.B. Dugan, Michael Rung-Tsong Lyu · 1995
Three major fault-tolerant software system architectures, distributed recovery blocks,N version programming, and N self-checking programming, are modeled by a combination of fault tree techniques and Markov processes. In these three architectures, transient and permanent hardware faults as well as unrelated and related software faults are modeled in the system-level domain. The model parameter values are determined from the analysis of data collected from a fault-tolerant avionic application. Quantitative analyses for reliability and safety factors achieved in these three fault-tolerant system architectures are presented.