Conceptual modeling of coincident failures in multiversion software
作者： B. Littlewood , D.R. Miller
DOI: 10.1109/32.58771
关键词: Computer programming 、 Computer science 、 Reliability engineering 、 Theoretical computer science 、 Software quality 、 Decision theory 、 Software development 、 Generalization 、 Software 、 Fault tolerance 、 Sequence 、 Duality (mathematics)
摘要: … : specifically that simultaneous failure of … of simultaneous failure of several versions. Indeed, it is theoretically possible to obtain versions which exhibit better than independent failure …
acm.org
jaxa.jp参考文章(11)
L. D. Lee, D. E. Eckhardt, A theoretical basis for the analysis of redundant software subject to coincident errors ,(1985)
J. A. Skirvan, P. M. Nagel, F. M. Schotz, Software reliability: Additional investigations into modeling with replicated experiments ,(1984)
B. Littlewood, D. R. Miller, A Conceptual Model of the Effect of Diverse Methodologies on Coincident Failures in Multi-Version Software Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems. pp. 263- 272 ,(1987) , 10.1007/978-3-642-45628-2_23
John C. Knight, Nancy G. Leveson, An experimental evaluation of the assumption of independence in multiversion programming IEEE Transactions on Software Engineering. ,vol. 12, pp. 96- 109 ,(1986) , 10.1109/TSE.1986.6312924
D.E. Eckhardt, L.D. Lee, A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors IEEE Transactions on Software Engineering. ,vol. SE-11, pp. 1511- 1517 ,(1985) , 10.1109/TSE.1985.231895
Ingram Olkin, Barry C. Arnold, Albert W. Marshall, Inequalities: Theory of Majorization and Its Applications ,(2011)
Peter G. Bishop, David G. Esp, Mel Barnes, Peter Humphreys, Gustav Dahll, Jaakko Lahti, PODS — A project on diverse software IEEE Transactions on Software Engineering. ,vol. 12, pp. 929- 940 ,(1986) , 10.1109/TSE.1986.6313048
John C. Knight, Paul E. Ammann, An experimental evaluation of simple methods for seeding program errors international conference on software engineering. pp. 337- 342 ,(1985) , 10.5555/319568.319667
A. Avizienis, The N-Version Approach to Fault-Tolerant Software IEEE Transactions on Software Engineering. ,vol. SE-11, pp. 1491- 1501 ,(1985) , 10.1109/TSE.1985.231893
B. Randell, System structure for software fault tolerance ACM SIGPLAN Notices. ,vol. 10, pp. 437- 449 ,(1975) , 10.1145/390016.808467