PODS: A project on diverse software

Peter Bishop, David Esp, Mel Barnes, Peter Humphreys, Gustav Dahll, Jaakko Lahti

Research output: Contribution to journalArticleScientificpeer-review

47 Citations (Scopus)

Abstract

A review of the Project on Diverse Software (PODS), a collaborative software reliability research project, is presented. The purpose of the project was to determine the effect of a number of different software development techniques on software reliability. The main objectives were to evaluate the merits of using diverse software, evaluate the specification language X-SPEX, and compare the productivity and reliability associated with high-level and low-level languages. A secondary objective was to monitor the software development process, with particular reference to the creation and detection of software faults. To achieve these objectives, an experiment was performed which simulated a normal software development process to produce three diverse programs to the same requirement. The requirement was for a reactor over-power protection (trip) system. After careful independent development and testing, the three programs were tested against each other in a special test harness to locate residual faults. The conclusions drawn from this project are discussed.
Original languageEnglish
Pages (from-to)929 - 940
Number of pages12
JournalIEEE Transactions on Software Engineering
Volume12
Issue number9
DOIs
Publication statusPublished - 1986
MoE publication typeNot Eligible

Fingerprint Dive into the research topics of 'PODS: A project on diverse software'. Together they form a unique fingerprint.

  • Cite this

    Bishop, P., Esp, D., Barnes, M., Humphreys, P., Dahll, G., & Lahti, J. (1986). PODS: A project on diverse software. IEEE Transactions on Software Engineering, 12(9), 929 - 940. https://doi.org/10.1109/TSE.1986.6313048