Skip to main content
SpringerLink
Log in

A Bayesian Belief Network for Reliability Assessment

  • Conference paper
  • First Online:
Computer Safety, Reliability and Security (SAFECOMP 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2187))

Included in the following conference series:

Abstract

The objective of this paper is to present work on how a Bayesian Belief Network for a software safety standard, can be merged with a BBN on the reliability estimation of software based digital systems. The results on applying BBN methodology with a software safety standard is based upon previous research by the Halden Project, while the results on the reliability estimation is based on a Master’s Thesis by Helminen. The research is also a part in the more long-term activity by the Halden Reactor Project on the use of BBNs as support for safety assessment of programmable systems. In this report it is discussed how the two approaches can be merged together into one Bayesian Network, and the problems with merging are pinpointed.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. IEC publication 61508: “Functional safety of electrical/electronic/programmable electronic safety-related systems”, version 4.0 (2000).

    Google Scholar 

  2. Dahll, G. & Gran, B.A.: “The Use of Bayesian Belief Nets in Safety Assessment of Software Based Systems”. In Special Issues of International Journal on Intelligent Information Systems at FLINS’98, Int. J. General Systems v24, no2, pp. 205–229 (2000).

    Article  Google Scholar 

  3. Helminen, A.: “Reliability Estimation of Software-based Digital Systems Using Bayesian Networks”, Helsinki University of Technology, Espoo, pp. 1–50 (2000).

    Google Scholar 

  4. Gran, B.A. et al. (Dahll, Eisinger, Lund, Norstrøm, Strocka, Ystanes) “Estimating Dependability of Programmable Systems Using BBNs”. Printed in Koornneef, van der Meulen (Ed.): “Computer Safety, Reliability and Security”, Proceedings from Safecomp 2000, Springer, (Lecture Notes in Computer Science 1943), pp. 309–320 (2000).

    Chapter  Google Scholar 

  5. Tool made by Hugin Expert a/s, Aalborg, Denmark (http://www.hugin.dk).

  6. SERENE: “Safety and Risk Evaluation using Bayesian Nets”. ESPRIT Framework IV nr. 22187, (1999). (http://www.hugin.dk/serene/).

  7. Spiegelhalter, D., Thomas, A., Best. N., & Gilks. W.: “BUGS 0.5 Bayesian Inference Using Gibbs Sampling Manual (version ii)”, MRC Biostatistic Unit, Cambridge, pp.1–59 (1996).

    Google Scholar 

  8. IMPRESS: “Improving the software process using Bayesian nets”. EPSRC project nr. GR/L06683, (1999). (http://www.csr.city.ac.uk/csr_city/projects/impress.html).

  9. Neil, M. and Fenton, N.: “Predicting software quality using Bayesian Belief Networks”. In: Proceedings of 21st. Annual Software Engineering Workshop, NASA Goddard Space Flight Centre, pp. 217–230 (1996).

    Google Scholar 

  10. Neil, M., Littlewod, B., and Fenton, N.: “Applying Bayesian Belief Nets to systems dependability assessment”. In: Proceedings of 4th Safety Critical Systems Symposium, Springer-Verlag, pp. 71–93 (1996).

    Google Scholar 

  11. Fenton, N. and Neil, M.: “A strategy for improving safety related software engineering standards” IEEE Trans. on SW Eng. v24, no. 11, pp. 1002–1013 (1998).

    Article  Google Scholar 

  12. Gelman, A., Carlin, J. B., Stern, H. S. & Rubin, D. B.: “Bayesian Data Analysis”, Chapman & Hall, London, pp. 1–526 (1995).

    Google Scholar 

  13. Cowell, R. G., Dawid, A. P., Lauritzen, S. L., Spiegelhalter, D. J.: “Probabilistic Networks and Expert Systems”, Springer-Verlag, pp. 1–309 (1999).

    Google Scholar 

  14. Pulkkinen, U. & Holmberg, J.: “A Method for Using Expert Judgement in PSA”, Finnish Centre for Radiation and Nuclear Safety, Helsinki, pp. 1–32 (1997).

    Google Scholar 

  15. Whittaker, J.: “Graphical Models in Applied Multivariate Statistics”, Wiley & Sons (1990).

    Google Scholar 

  16. Spiegelhalter, D.J., Dawid, A.P., Lauritzen, S.L., and Cowell, R.G.: “Bayesian Analysis in Expert Systems”, Statistical Science, Vol. 8-3 (1993).

    Google Scholar 

  17. RTCA/DO-178B: “Software Considerations in Airborne Systems and Equipment Certifications”, (1992).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. OECD Halden Reactor Project, P.O.Box 173, N-1751, Halden, Norway

    Bjørn Axel Gran

  2. VTT Automation, P.O.Box 1301, FIN-02044, VTT, Finland

    Atte Helminen

Authors
  1. Bjørn Axel Gran
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Atte Helminen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Forschungszentrum Karlsruhe, Institut für Angewandte Informatik, Postfach 3640, 76021, Karlsruhe, Germany

    Udo Voges

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gran, B.A., Helminen, A. (2001). A Bayesian Belief Network for Reliability Assessment. In: Voges, U. (eds) Computer Safety, Reliability and Security. SAFECOMP 2001. Lecture Notes in Computer Science, vol 2187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45416-0_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-45416-0_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42607-3

  • Online ISBN: 978-3-540-45416-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation