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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
IEC 61508: “Functional safety of electrical/electronic/programmable electronic safety-related systems”, (1995).
RTCA/DO-178B: “Software Considerations in Airborne Systems and Equipment Certifications”, (1992).
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)
SERENE: “Safety and Risk Evaluation using Bayesian Nets”. ESPRIT Framework IV nr. 22187, (1999). (http://www.hugin.dk/serene/)
Aldenryd, S. H., Jensen, K. B., Nielsen L. B.: “Hugin Runtime for MS-Windows”, (1993).
Casella, G., Berger, R. L., Statistical Inference, Wadsworth & Brooks/Cole Advanced Books & Software, (1990).
Cowell, R. G., Dawid, A. P., Lauritzen, S. L., Spiegelhalter, D. J.: Probabilistic Networks and Expert Systems, Springer-Verlag, (1999).
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.
Jensen, F.: An Introduction to Bayesian Networks, London: UCL Press, University College London. (1993).
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.
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.
Fenton, N., Neil, M.: “A Strategy for Improving Safety Related Software Engineering Standards”. IEEE Transactions on Software Engineering, Vol. 24(11), (1998) 1002–1013.
Welsh, A. H.: Aspects of Statistical Inference, Wiley & Sons, (1996).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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