The PODS Diversity Experiment
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]).
KeywordsSoftware Development Process Customer Specification Residual Fault Input Domain Fault Report
Unable to display preview. Download preview PDF.
- [Alford 1973]R. W. Alford, “A Requirement Engineering Methodology for Real-Time Processing Environments”, IEEE Trans, on Software Engineering, Vol. SE-3, No. 1, January 1973.Google Scholar
- [Avižienis 1975]A. Avizienis, “Fault-Tolerance and Fault-Intolerance, Complementary Approaches to Reliable Computing”, Proc. 1975 Int. Conf. Reliable Software, Los Angeles, 1975.Google Scholar
- [Barnes 1985]M. Barnes et al, “PODS (The Project on Diverse Software)”, OECD Halden Reactor Report, HPR-323,1985.Google Scholar
- [Bishop 1986]P. G. Bishop et al, “PODS - A Project on Diverse Software”, IEEE Trans. on Software Engineering, Vol. SE-12, No. 9, pp. 929–940.Google Scholar
- [Dahll 1983]G. Dahll and J. Lahti, “The Specification System X-SPEX”, IFAC Conference “Safety of Computer Control Systems”, Cambridge, UK, pp. 111–118,1983.Google Scholar
- [EEA 1981]“Guide to the Quality Assurance of Software”, Electronic Engineering Association, 1981.Google Scholar
- [Fagan 1976]
- [Lipow 1982]
- [Minsky 1967]
- [Myers 1976]G. J. Myers, Software Reliability Principles and Practices, Wiley, 1976.Google Scholar
- [Nassi 1973]
- [Yourdan 1975]E. Yourdon and L. Constantine, Structured Design, Yourdon Ine, 1975.Google Scholar