Skip to main content
SpringerLink
Log in

Estimating Dependability of Programmable Systems Using BBNs

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

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

Included in the following conference series:

Abstract

This paper describes a project carried out by a consortium composed of Kongsberg Defence & Aerospace AS, Det Norske Veritas, and OECD Halden Reactor Project. First of all he project goal is to research the use of Bayesian Belief Nets to investigate the implementation of the DO-178B standard for software approval in the comercial world. To reach our objectives a computerized system for atomized transmission of graphical position information from helicopters to land based control stations was selected and studied. This paper describes the Bayesian Belief Nets used, and sumarises some of the findings in this study.

Please note that this paper represents by no mean any official policy of KDA.

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 61508: “Functional safety of electrical/electronic/programmable electronic safety-related systems”, (1995).

    Google Scholar 

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

    Google Scholar 

  3. 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)

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

  5. Aldenryd, S. H., Jensen, K. B., Nielsen L. B.: “Hugin Runtime for MS-Windows”, (1993).

    Google Scholar 

  6. Casella, G., Berger, R. L., Statistical Inference, Wadsworth & Brooks/Cole Advanced Books & Software, (1990).

    Google Scholar 

  7. Cowell, R. G., Dawid, A. P., Lauritzen, S. L., Spiegelhalter, D. J.: Probabilistic Networks and Expert Systems, Springer-Verlag, (1999).

    Google Scholar 

  8. Dahll, G. & Gran, B.A.: “The Use of Bayesian Belief Nets in Safety Assessment of Software Based Systems”. Int. J. General Systems, Vol. 29(2), (2000) 205–229.

    Article  MATH  Google Scholar 

  9. Jensen, F.: An Introduction to Bayesian Networks, London: UCL Press, University College London. (1993).

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  12. Fenton, N., Neil, M.: “A Strategy for Improving Safety Related Software Engineering Standards”. IEEE Transactions on Software Engineering, Vol. 24(11), (1998) 1002–1013.

    Article  Google Scholar 

  13. Welsh, A. H.: Aspects of Statistical Inference, Wiley & Sons, (1996).

    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 & Gustav Dahll

  2. Det Norske Veritas Veritasvn, 1, N-1322, Høvik, Norway

    Siegfried Eisinger

  3. Kongsberg Defence & Aerospace AS, P.O.Box 1003, N-3601, Kongsberg, Norway

    Eivind J. Lund, Jan Gerhard Norstrøm, Peter Strocka & Britt J. Ystanes

Authors
  1. Bjørn Axel Gran
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gustav Dahll
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Siegfried Eisinger
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Eivind J. Lund
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Jan Gerhard Norstrøm
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Peter Strocka
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Britt J. Ystanes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Safety Science Group, TU Delft, Jaffalaan 5, 2628, BX Delft, The Netherlands

    Floor Koornneef

  2. SIMTECH, Max Euwelaan 60, 3062, MA Rotterdam, The Netherlands

    Meine van der Meulen

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Axel Gran, B. et al. (2000). Estimating Dependability of Programmable Systems Using BBNs. In: Koornneef, F., van der Meulen, M. (eds) Computer Safety, Reliability and Security. SAFECOMP 2000. Lecture Notes in Computer Science, vol 1943. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40891-6_27

Download citation

  • DOI: https://doi.org/10.1007/3-540-40891-6_27

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41186-4

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation