Abstract
A high integrity system typically has a number of redundant components operating in parallel to reduce the probability of a system failure. If the component failures were random, then the probability of several components failing simultaneously would be much smaller than the failure probability of any single component. However, should the components contain common design flaws, then more than one component could fail simultaneously due to a common cause (a common mode failure). This would increase the probability of a system failure. For a computer-based system where the same software “component” is being run in each processor, any software fault is a potential cause of common mode failure. One method of reducing common software faults is to use diverse software in each processor (n-version programming [Avižienis 1975]).
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
R. W. Alford, “A Requirement Engineering Methodology for Real-Time Processing Environments”, IEEE Trans, on Software Engineering, Vol. SE-3, No. 1, January 1973.
A. Avizienis, “Fault-Tolerance and Fault-Intolerance, Complementary Approaches to Reliable Computing”, Proc. 1975 Int. Conf. Reliable Software, Los Angeles, 1975.
M. Barnes et al, “PODS (The Project on Diverse Software)”, OECD Halden Reactor Report, HPR-323,1985.
P. G. Bishop et al, “PODS - A Project on Diverse Software”, IEEE Trans. on Software Engineering, Vol. SE-12, No. 9, pp. 929–940.
G. Dahll and J. Lahti, “The Specification System X-SPEX”, IFAC Conference “Safety of Computer Control Systems”, Cambridge, UK, pp. 111–118,1983.
“Guide to the Quality Assurance of Software”, Electronic Engineering Association, 1981.
M. E. Fagan, “Design and Code Inspections to Reduce Errors in Program Development”, IBM Systems Journal, No. 3, pp. 182–211,1976.
M. Lipow, “Number of Faults per Line of Code”, IEEE Trans, on Software Engineering, Vol. SE-8, No. 4, July 1982.
M. L. Minsky, Computation, Finite and Infinite Machines, Prentice Hall, 1967.
G. J. Myers, Software Reliability Principles and Practices, Wiley, 1976.
I. Nassi and B. Shneiderman, ACM Sigplan Notices, 8 (August 1973) 8, pp. 12–26.
E. Yourdon and L. Constantine, Structured Design, Yourdon Ine, 1975.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag/Wien
About this paper
Cite this paper
Bishop, P.G. (1988). The PODS Diversity Experiment. In: Voges, U. (eds) Software Diversity in Computerized Control Systems. Dependable Computing and Fault-Tolerant Systems, vol 2. Springer, Vienna. https://doi.org/10.1007/978-3-7091-8932-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-7091-8932-0_4
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-8934-4
Online ISBN: 978-3-7091-8932-0
eBook Packages: Springer Book Archive