Abstract
Diversity has been proposed as a method of achieving software fault-tolerance. Several versions of a program are written on the basis of the same specification and executed in parallel. Most of the past considerations about reliability improvement through multiversion programming depended on the assumption that independently developed programs would also fail independently. Recent work, however, has presented convincing arguments both in an experimental [KNI86] and a theoretical [ECK85] approach leading to the conclusion that the independence assumption does not hold in the general case. Therefore an analysis of reliability of diverse programming has to include the effect of dependent programming errors.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
D.E. Eckhardt, L.D. Lee: A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors. IEEE Trans. on Software Engineering, Vol. SE-11, No. 12, December 1985
W.D. Ehrenberger, B. Krzykacz: Probabilistic Testing. Proc. of the EWICS meeting in Graz, ( V. Haase ed. ), Springer Verlag, April 1983
J. C. Knight, N. G. Leveson: An Experimental Evaluation of the Assumption of Independence in Multi-version Programming. IEEE Trans. on Software Engineering, Vol. SE-12, No. 1, January 1986
H. Stórmer: Mathematische Theorie der Zuverlässigkeit. Oldenbourg-Verlag, München, 1970
B. Littlewood, J.L. Venal A Bayesian Reliability Growth Model for Computer Software. Journal of the Royal Statistical Society, Series C, Appl. Stat., Vol. 22, No. 3, pp. 332–346, 1973
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 ECSC — EEC — EAEC, Brussels — Luxembourg
About this chapter
Cite this chapter
Saglietti, F., Ehrenberger, W. (1992). Considerations on Software Diversity on the Basis of Experimental and Theoretical Work. In: Kersken, M., Saglietti, F. (eds) Software Fault Tolerance. Research Reports ESPRIT, vol 1. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-84725-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-84725-7_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55212-3
Online ISBN: 978-3-642-84725-7
eBook Packages: Springer Book Archive