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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
IEC publication 61508: “Functional safety of electrical/electronic/programmable electronic safety-related systems”, version 4.0 (2000).
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).
Helminen, A.: “Reliability Estimation of Software-based Digital Systems Using Bayesian Networks”, Helsinki University of Technology, Espoo, pp. 1–50 (2000).
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).
Tool made by Hugin Expert a/s, Aalborg, Denmark (http://www.hugin.dk).
SERENE: “Safety and Risk Evaluation using Bayesian Nets”. ESPRIT Framework IV nr. 22187, (1999). (http://www.hugin.dk/serene/).
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).
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).
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).
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).
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).
Gelman, A., Carlin, J. B., Stern, H. S. & Rubin, D. B.: “Bayesian Data Analysis”, Chapman & Hall, London, pp. 1–526 (1995).
Cowell, R. G., Dawid, A. P., Lauritzen, S. L., Spiegelhalter, D. J.: “Probabilistic Networks and Expert Systems”, Springer-Verlag, pp. 1–309 (1999).
Pulkkinen, U. & Holmberg, J.: “A Method for Using Expert Judgement in PSA”, Finnish Centre for Radiation and Nuclear Safety, Helsinki, pp. 1–32 (1997).
Whittaker, J.: “Graphical Models in Applied Multivariate Statistics”, Wiley & Sons (1990).
Spiegelhalter, D.J., Dawid, A.P., Lauritzen, S.L., and Cowell, R.G.: “Bayesian Analysis in Expert Systems”, Statistical Science, Vol. 8-3 (1993).
RTCA/DO-178B: “Software Considerations in Airborne Systems and Equipment Certifications”, (1992).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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