The Use of Proof in Diversity Arguments

@article{Littlewood2000TheUO,
  title={The Use of Proof in Diversity Arguments},
  author={Bev Littlewood},
  journal={IEEE Trans. Software Eng.},
  year={2000},
  volume={26},
  pages={1022-1023}
}
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
Tweets
This paper has been referenced on Twitter 1 time. VIEW TWEETS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…