Dependability Analysis of Iterative Fault-Tolerant Software Considering Correlation [chapter]

Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini
1995 Predictably Dependable Computing Systems  
We consider the dependability of fault tolerant software executed iteratively, as e.g. in process control applications. We recall the models usually adopted for evaluating the probability of mission survival (reliability at a certain time) and performability, and show the results obtained by applying these models to the adaptive scheme for software fault-tolerance SCOP, "Self-Configuring Optimal Programming" and to the more popular schemes, recovery blocks and multiple version programming. In
more » ... n programming. In the case considered, SCOP is equivalent to N-version programming in terms of the probability of delivering correct results, but achieves better performance by delaying the execution of some of the variants until it is made necessary by an error. A discussion follows highlighting the limits in the realism of these analyses, due to the assumptions made to obtain mathematically tractable models and to the lack of experimental data. As a contribution to overcoming these limitations, we present a simple black-box model of an iterative software component which takes into account dependencies among input values of successive iterations and the possibility that repeated, non fatal failures may together cause mission failure. Using this model we show the effects of different distributions of the correlations among inputs on the dependability indicators selected.
doi:10.1007/978-3-642-79789-7_26 fatcat:356rdszccbbvhh4p6xj5j453zi