Issue No. 10 - October (2000 vol. 26)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.879822
<p><b>Abstract</b>—The limits to the reliability that can be claimed for a design-diverse fault-tolerant system are mainly determined by the dependence that must be expected in the failure behaviours of the different versions: claims for <it>independence</it> between version failure processes are not believable. In this note we examine a different approach, in which a simple secondary system is used as a back-up to a more complex primary. The secondary system is sufficiently simple that claims for its perfection (with respect to design faults) are possible, but there is not complete certainty about such perfection. It is shown that assessment of the reliability of the overall fault-tolerant system in this case may take advantage of claims for independence that are more plausible than those involved in design diversity.</p>
Software fault tolerance, reliability, safety, probability, verification, proof.
B. Littlewood, "The Use of Proof in Diversity Arguments," in IEEE Transactions on Software Engineering, vol. 26, no. , pp. 1022-1023, 2000.