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

Software engineering
Software reliability
Machine oriented languages
Specification languages
Productivity
Testing
Experiments

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
Bishop, Peter ; Esp, David ; Barnes, Mel ; Humphreys, Peter ; Dahll, Gustav ; Lahti, Jaakko. / PODS : A project on diverse software. In: IEEE Transactions on Software Engineering. 1986 ; Vol. 12, No. 9. pp. 929 - 940.
@article{8fe1871f8b814eeb91a3e19ddf3970c9,
title = "PODS: A project on diverse software",
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.",
author = "Peter Bishop and David Esp and Mel Barnes and Peter Humphreys and Gustav Dahll and Jaakko Lahti",
year = "1986",
doi = "10.1109/TSE.1986.6313048",
language = "English",
volume = "12",
pages = "929 -- 940",
journal = "IEEE Transactions on Software Engineering",
issn = "0098-5589",
publisher = "Institute of Electrical and Electronic Engineers IEEE",
number = "9",

}

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

PODS : A project on diverse software. / Bishop, Peter; Esp, David; Barnes, Mel; Humphreys, Peter; Dahll, Gustav; Lahti, Jaakko.

In: IEEE Transactions on Software Engineering, Vol. 12, No. 9, 1986, p. 929 - 940.

Research output: Contribution to journalArticleScientificpeer-review

TY - JOUR

T1 - PODS

T2 - A project on diverse software

AU - Bishop, Peter

AU - Esp, David

AU - Barnes, Mel

AU - Humphreys, Peter

AU - Dahll, Gustav

AU - Lahti, Jaakko

PY - 1986

Y1 - 1986

N2 - 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.

AB - 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.

U2 - 10.1109/TSE.1986.6313048

DO - 10.1109/TSE.1986.6313048

M3 - Article

VL - 12

SP - 929

EP - 940

JO - IEEE Transactions on Software Engineering

JF - IEEE Transactions on Software Engineering

SN - 0098-5589

IS - 9

ER -

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