Estimating dependability of programmable systems using BBNs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1943, Issue , 2000, Pages 309-320

  Axel Gran, Bjørn ^a   Dahll, Gustav ^a   Eisinger, Siegfried ^b   Lund, Eivind J ^c   Norstrøm, Jan Gerhard ^c   Strocka, Peter ^c   Ystanes, Britt J ^c  

^a Det Norske Veritas ^*  (Norway)

^b DNV GL   (Norway)

^c AS Missives and Space Division   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

BAYESIAN BELIEF NETS; COMPUTERIZED SYSTEMS; CONTROL STATION; DET NORSKE VERITAS; KONGSBERG DEFENCE AND AEROSPACES; POSITION INFORMATION; PROGRAMMABLE SYSTEMS; REACTOR PROJECTS;

ARTIFICIAL INTELLIGENCE;

EID: 84956969451     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40891-6_27     Document Type: Conference Paper

References (14)

1. IEC 61508:.Functional safety of electrical/electronic/programmable electronic safety-related systems., (1995).
2. RTCA/DO-178B:.Software Considerations in Airborne Systems and Equipment Certifications., (1992).
3. HUGIN. Tool made by Hugin Expert a/s, Aalborg, (http://www.hugin.dk)
4. 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)
5. SERENE:.Safety and Risk Evaluation using Bayesian Nets.. ESPRIT Framework IV nr. 22187, (1999). (http://www.hugin.dk/serene/)
6. Aldenryd, S. H., Jensen, K. B., Nielsen L. B.:.Hugin Runtime for MSWindows., (1993).
7. Casella, G., Berger, R. L., Statistical Inference, Wadsworth and Brooks/Cole Advanced Books and Software, (1990).
8. Cowell, R. G., Dawid, A. P., Lauritzen, S. L., Spiegelhalter, D. J.: Probabilistic Networks and Expert Systems, Springer-Verlag, (1999).
9. Dahll, G. and 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.
10. Jensen, F.: An Introduction to Bayesian Networks, London: UCL Press, University College London. (1993).
11. 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.
12. 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.
13. Fenton, N., Neil, M.:.A Strategy for Improving Safety Related Software Engineering Standards.. IEEE Transactions on Software Engineering, Vol. 24(11), (1998) 1002-1013.
14. Welsh, A. H.: Aspects of Statistical Inference, Wiley and Sons, (1996).