Abstract
The dependability of technological systems is a growing social concern. Increasingly computer based systems are developed that carry the potential of increasing catastrophic consequences from single accidents. There have been significant research advances in assessment methods. However dependability assessment of computer systems in practice is still a very uncertain and often ad-hoc procedure. Decision making about system dependability is an uncertain affair and must account of failures in expertise and be capable of integrating different sources of evidence. A more meaningful way of reasoning about systems dependability can be achieved by rejecting current ad-hoc dependability assessment methods and replacing them with the idea of dependability argumentation. Bayesian Belief Networks (BBN’s) is proposed as the most promising technology to support this kind of dependability argumentation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Apostolakis G. The Concept of Probability in Safety Assessments of Technological Systems. Science, vol. 250, December 1990.
Ayton P. On the Competence and Incompetence of Experts. In Expertise and Decision Support (Ed. G. Wright and F. Bolger), pp. 77-105, Plenum Press, 1994.
Basili V. and Rombach D. The TAME project: Towards Improvement-Orientated Software Environments. IEEE Transactions in Software Engineering, Vol. 14, No 6 January, pp. 758–773, 1988.
Blockley D. I. The Nature of Structural Design and Safety. Ellis Horwood Ltd, 1980.
Boehm B.W. Characteristics of Software Quality. TRW Series of Software Technology 1. North-Holland Publishing Company, 1978.
Burnell L. and Horvitz E. Structure and Chance: Melding Logic and Probability for Software Debugging. Communications of the ACM, vol. 38, no.3, 1995.
de Finetti B. Theory of Probability, Volume 1. John Wiley & Sons, 1974.
The Procurement of Safety Critical Software in Defence Equipment Part 1: Requirements Part 2: Guidance Interim Defence Standard, no 00-55 Issue 1. Ministry of Defence, Directorate of Standardisation, Kentigern House, 65 Brown Street, Glasgow, G2 8EX, UK, 1991.
Hazard Analysis and Safety Classification of the Computer and Programmable Electronic System Elements of Defence Equipment. Interim Defence Standard no 00-56 Issue 1. Ministry of Defence, Directorate of Standardisation Kentigern House, 65 Brown Street, Glasgow, G2 8EX, UK, 1991.
A Guideline for HAZOP Studies on Systems Which Include A Programmable Electronic System. Interim Defence Standard no 00-58 Issue 1. Ministry of Defence, Directorate of Standardisation, Kentigern House, 65 Brown Street, Glasgow, G2 8EX, UK, 1995.
Devine C. Fenton N and Page S. Deficiencies in existing software engineering standards as exposed by SMARTIE. In Safety Critical Systems. (Ed. Redmill F and Anderson T.) Chapman and Hall, pp 255-272, 1993.
Preliminary Standard, DIN0801 DIN-V/VDE 0801. Principles for Computers in Safety-Related Systems, 1989.
Fenton N.E. Pfleeger L and Glass R. Science and Substance: A Challenge to Software Engineers. IEEE Software, pp. 86-95, My 1994.
Frimtzis A. Lipow M. and Reifer DJ. Software Failure Modes and Effects Analysis. Proceedings of Industry/Space and Missile Systems Organisation Conference and Workshop on Mission Assurance. Los Angeles, California, April 1978.
HUGIN Expert A/S. P.O. Box 8201 DK-9220 Aalborg, Denmark.
Functional Safety of Programmable Electronic Systems: Generic Aspects. International Electrotechnical Commission. Technical Committee no. 65, Working Group 10 (WG10), type DEC no 65A (Secretariat), February, 1992.
Software for Computers in the Application of Industrial Safety Related Systems. International Electrotechnical Commission Technical Committee no. 65 Working Group 9 (WG9) DEC no 65A (Secretariat), Version 1.0 August 1991.
IEEE Standard 1061: Software Quality Metrics Methodology, 1991.
ISO (International Organisation for Standardisation). Information Technology — Software Product Evaluation — Quality characteristics and guidelines for their use — ISO9126. 1991.
Laprie, J.C. (Ed.) Dependability: Basic Concepts and Terminology. IFIP WG 10.4 Dependable Computing and Fault Tolerance. Springer-Verlag, Vienna, 1992.
Lauritzen S. L. and Spiegelhalter DJ. Local Computations with Probabilities on Graphical Structures and their Application to Expert Systems (with discussion). J. R. Statis. Soc. B, 50, No 2, pp 157–224, 1988.
Leveson N.G. Safeware: System Safety and Computers, a guide to preventing accidents and losses caused by technology. Addison-Wesley Publishing company, 1995.
Lindley D.V. The Probability Approach to the Treatment of Uncertainty in Artificial Intelligence and Expert Systems. Statistical Science, Vol 2, No 1,pp 17–24, 1987.
Littlewood B. The need for evidence from disparate sources to evaluate safety. In directions in safety critical systems — proceedings of the first safety-critical systems symposium (eds. F. Redmill and T. Anderson). Springer-Verlag, London, 1993.
Validation of Ultra-High Dependability for software-based Systems. Communications of the ACM, 36, 11, pp.69-80, 1993.
Littlewood B. Neil M. and Ostrolenk G. Uncertainty in Software-Intensive Systems. Accepted for publication in High-Integrity Systems Journal, 1995.
Littlewood B. Neil M. and Ostrolenk G. The Role of Models in Managing Uncertainty of Software-Intensive Systems. Accepted for publication by Reliability Engineering and System Safety Journal, 1995.
McCabe T. J. A Complexity Measure, IEEE Transactions In Software Engineering, vol. 2, no 4, p 308–320, 1976.
Mellor, P. CAD: Computer Aided Disasters. High Integrity Systems. Volume 1, number 2, pp. 101–156. 1994.
Pearl J. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufman, 1988.
Perrow C. Normal Accidents: Living with High-Risk Technologies, Basic Books, 1984.
Rae A. Robert P. and Hausen H. (Eds.) Software Evaluation for Certification: Principles, Practice and Legal Liability. McGraw Hill, International Software Quality Assurance Series, London, 1995.
Smith D. and Lloyd. D. Wither Objectivity: Technocracy and the Social Construction of Risk. In proceedings of the safety and reliability society symposium on engineers and risk issues (Ed. Cox R.F. and Watson I.A.), Altrincham, October 1993.
Guide to Software Quality Management, System Construction and Certification using ISO 9001/EN 29001/BS 5750, Issue 2.0. DTI, available from TickIT Project Office, 68 Newman Street, London W1A 4SE, 1992.
Walters G.F. and McCall J.A. Development of Metrics for Reliability and Maintainability. Proceedings Annual Reliability and Maintainability Symposium, IEEE, 1978.
Watson S. R. The meaning of Probability in Probabilistic Safety Analysis. Reliability Engineering and System Safety, 45, pp.261–269, Elsevier Science Ltd, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag London Limited
About this paper
Cite this paper
Neil, M., Littlewood, B., Fenton, N. (1996). Applying Bayesian Belief Networks to System Dependability Assessment. In: Redmill, F., Anderson, T. (eds) Safety-Critical Systems: The Convergence of High Tech and Human Factors. Springer, London. https://doi.org/10.1007/978-1-4471-1480-2_5
Download citation
DOI: https://doi.org/10.1007/978-1-4471-1480-2_5
Publisher Name: Springer, London
Print ISBN: 978-3-540-76009-2
Online ISBN: 978-1-4471-1480-2
eBook Packages: Springer Book Archive