This Article 
 Bibliographic References 
 Add to: 
The Use of Proof in Diversity Arguments
October 2000 (vol. 26 no. 10)
pp. 1022-1023

Abstract—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 independence 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.

[1] D.E. Eckhardt and L.D. Lee, “A Theoretical Basis of Multiversion Software Subject to Coincident Errors,” IEEE Trans. Software Eng., vol. 11, pp. 1,511–1,517, Nov. 1985.
[2] D.M. Hunns and N. Wainwright, “Software-Based Protection for Sizewell B: The Regulator's Perspective,” Nuclear Eng. Int'l, vol. Sept., pp. 38–40, 1991.
[3] J.C. Knight and N.G. Leveson, "An Experimental Evaluation of the Assumption of Independence in Multiversion Programming," IEEE Trans. Software Eng., Vol. 12, No. 1, 1986, pp. 96-109.
[4] B. Littlewood, “The Impact of Diversity upon Common Mode Failures,” Reliability Eng. and System Safety, vol. 51, no. 1, pp. 101–113, 1996.
[5] Bev Littlewood and Douglas R. Miller, "Conceptual Modeling of Coincident Failures in Multiversion Software," IEEE Transactions on Software Engineering, vol. 15, p. 1,596, Dec. 1989.
[6] J.C. Rouquet and P.J. Traverse., “Safe and Reliable Computing on Board the Airbus and ATR aircraft,” Safecomp: Fifth IFAC Workshop Safety of Computer Control Systems, 1986.
[7] Temelin, “Modernising the Temelin VVER Power Plant,” Modern Power Systems, pp. 34–37, 1993.

Index Terms:
Software fault tolerance, reliability, safety, probability, verification, proof.
Bev Littlewood, "The Use of Proof in Diversity Arguments," IEEE Transactions on Software Engineering, vol. 26, no. 10, pp. 1022-1023, Oct. 2000, doi:10.1109/32.879822
Usage of this product signifies your acceptance of the Terms of Use.