| 
|
QuoteRef: butlRW12_1991
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references a-b
Topic:
resourceful, redundant systems for reliability
Topic:
safety critical systems
Topic:
testing by voting or N-version
Reference
Butler, R.W., Finelli, G.B., "The infeasibility of experimental quantification of life- critical software reliability", Proceedings of the ACM SIGSOFT '91 Conference on Software for Critical Systems, Software Engineering Notes, 16, 5, December 1991, pp. 66-76. Google
72 ;;Quote: experimental evidence for the failure of the independence model of multi-version reliability
73 ;;Quote: a reliability model for ultrareliable software requires independent components; not reasonable for software/hardware design flaws
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references a-b (396 items)
Topic: resourceful, redundant systems for reliability (35 items)
Topic: safety critical systems (32 items)
Topic: testing by voting or N-version (10 items)