The Use of Proof in Diversity Arguments

  title={The Use of Proof in Diversity Arguments},
  author={Bev Littlewood},
  journal={IEEE Trans. Software Eng.},
The limits to the reliability that can be claimed for a design-diverse faulttolerant 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… CONTINUE READING
This paper has been referenced on Twitter 1 time. VIEW TWEETS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…