The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.10 - October (2000 vol.26)
pp: 1022-1023
ABSTRACT
<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>
INDEX TERMS
Software fault tolerance, reliability, safety, probability, verification, proof.
CITATION
Bev Littlewood, "The Use of Proof in Diversity Arguments", IEEE Transactions on Software Engineering, vol.26, no. 10, pp. 1022-1023, October 2000, doi:10.1109/32.879822
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool