90
Views
17
CrossRef citations to date
0
Altmetric
Original Articles

Use of Bayesian Belief Networks when combining disparate sources of information in the safety assessment of software-based systems

Pages 529-542 | Published online: 26 Nov 2010

  • ALDENRYD , S. H. , JENSEN , K. B. and NIELSEN , L. B. 1993 . Hugin Runtime for MS-Window , Tool made by Hugin Expert a/s Aalborg [http://www.hugin.dk]
  • BERTOLINO , A. and STRIGINI , L. Predicting software reliability from testing taking into account other knowledge about a program . Proceedings of the 9th International Software Quality Week . San Francisco. Software Research Institute .
  • BERTOLINO , A. and STRIGINI , L. Acceptance criteria for critical software based on testability estimates and test results . Proceedings of the SAFECOMP'96, 15th International Conference on Computer Safety, Reliability and Security . Berlin. Edited by: Schoitsch . pp. 83 – 94 . Springer .
  • BERTOLINO , A. and STRIGINI , L. 1998 . Assessing the risk due to software design faults: estimates of failure rate vs evidence of perfection . Software Testing Verification and Reliability , 8 : 155 – 166 .
  • CORAS . 2000 . A Platform for Risk Analysis of Security Critical Systems , 1ST Project No. 2000-25031 [http://www.nr.no/coras/]
  • COWELL , R. G. , DAWID , A. P. , LAURITZEN , S. L. and SPIEGELHALTER , D. J. 1999 . Probabilistic Networks and Expert Systems , Berlin : Springer .
  • CUDLEIGH , M. and CATMUR , J. 1992 . “ Safety assessment of computer systems using HazOp and audit techniques ” . In Safety of Computer Systems SAFECOMP'92 , Edited by: Prey . Oxford : Pergamon .
  • DAHLL , G. 1997 . “ Safety assessment of software based systems ” . In SAFECOMP'97 , Edited by: Daniel . 14 – 24 . Berlin : Springer .
  • DAHLL , G. 2000 . Combining disparate sources of information in the safety assessment of software based systems . Nuclear Engineering and Design , 195 : 307 – 319 .
  • DAHLL , G. and GRAN , B. A. 2000 . The use of Bayesian Belief Nets in safety assessment of software based systems Special Issues of International Journal on Intelligent Information Systems at FLINS'98 . International Journal of General Systems , 24 : 205 – 229 .
  • FENTON , N. and NEIL , M. 1999 . A critique of software defect prediction models . IEEE Transactions on Software Engineering , 25 : 675689
  • GELMAN , A. , CARLIN , J. B. , STERN , H. S. and RUBIN , D. B. 1995 . Bayesian Data Analysis , 1 – 526 . London : Chapman & Hall .
  • GRAN , B. A. , DAHLL , G. , EISINGER , S. , LUND , E. , NORSTRØM , J. , STROCKA , P. and YSTANES , B. 2000 . “ Estimating dependability of programmable systems using BBNs ” . In Computer Safety. Reliability and Security. Proceedings from Safecomp 2000 , Lecture Notes in Computer Science 1943 Edited by: Koomneef and van der Meulen . 309 – 320 . Berlin : Springer .
  • GRAN , B. A. and HELMINEN , A. A Bayesian Belief Network for reliability assessment . Paper presented at Safecomp 2001 . September 25-28 2001 , Budapest, Hungary.
  • GRAN , B. A. and THUNEM , H. 1998 . “ EISTRAM-Experimental Investigation of the PIE-technique ” . In Safety and Reliability , Edited by: Lydersen , Hansen and Sandtorv . 409 – 416 . Rotterdam : Balkema .
  • HELMINEN , A. 2000 . Reliability Estimation of Software-based Digital Systems Using Bayesian Networks , 1 – 50 . Espoo : Helsinki University of Technology .
  • IEC . 2000 . Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems , Publication 61508
  • IMPRESS . 1999 . Improving the software process using Bayesian nets , EPSRC Project No. GR/L06683 [http://www.csr.city.ac.uk/csrjcity/ projects/impress.html]
  • JENSEN , F. 1996 . An Introduction to Bayesian Networks , London : UCL Press .
  • LAURITZEN , S. L. and SPIEGELHALTER , D. J. 1988 . Local computations with probabilities on graphical structures and their application to expert systems (with discussions) . Journal of the Royal Statistical Society Series B , 50 : 157 – 224 .
  • LEVESON , N. G. 1995 . Safeware-System Safety and Computers , New York : Addison-Wesley .
  • LITTLEWOOD , B. and WRIGHT , D. 1995 . “ A Bayesian model that combines disparate evidence for the quantitative assessment of system dependability ” . In Proceedings SAFECOMP'95 , Edited by: Rabe . 173 – 188 . Berlin : Springer .
  • LITTLEWOOD , B. and WRIGHT , D. 1997 . Some conservative stopping rules for the operational testing of safety-critical software . IEEE Transactions of Software Engineering , 23 : 673 – 683 .
  • NEIL , M. and FENTON , N. Predicting software quality using Bayesian Belief Networks . Proceedings of the 21st Annual Software Engineering Workshop . pp. 217 – 230 . NASA Goddard Space Flight Centre .
  • NEIL , M. and FENTON , N. 1998 . A strategy for improving safety related software engineering standards . IEEE Transactions on Software Engineering , 24 : 1002 – 1013 .
  • NEIL , M. , FENTON , N. , FOREY , S. and HARRIS , R. 2001 . Using Bayesian Belief Networks to predict the reliability of military vehicles . IEEE Computing and Control Engineering , 12 : 11 – 20 .
  • NEIL , M. , FENTON , N. and NIELSEN , L. 2000 . Building large-scale Bayesian Networks . Knowledge Engineering Review , 15 : 257 – 284 .
  • NEIL , M. , LITTLEWOOD , B. and FENTON , N. Applying Bayesian Belief Nets to systems dependability assessment . Proceedings of the 4th Safety Critical Systems Symposium . Berlin. pp. 71 – 93 . Springer .
  • PEARL , J. 1988 . Probabilistic Reasoning in Intelligent Systems: Networks for Plausible Inference , New York : Morgan Kaufman .
  • PULKKINEN , U. and HOLMBERG , J. 1997 . A Method for Using Expert Judgement in PSA , 1 – 32 . Helsinki : Finnish Centre for Radiation and Nuclear Safety .
  • RTCA/DO-178B . 1999 . Software Considerations in Airborne Systems and Equipment Certifications (Guideline)
  • SEREN . 1999 . Safety and risk evaluation using Bayesian Nets , ESPRIT Framework IV No. 22187 [http://www.hugin.dk/serene/]
  • SPIEGELHALTER , D. J. , DAWID , A. P. , LAURITZEN , S. L. and COWELL , R. G. 1993 . Bayesian analysis in expert systems . Statistical Science , 8 : 219 – 283 .
  • SPIEGELHALTER , D. , THOMAS , A. , BEST , N. and GILKS , W. 1996 . BUGS 0.5 Bayesian Inference using Gibbs Sampling Manual, v.ii , 1 – 59 . Cambridge : MRC Biostatistic Unit .
  • STÅLHANE , T. Safety in software-intensive systems . Paper presented at the 8th European Workshop on Dependable Computing, EWDC-8 . Gothenburg, Sweden.
  • STÅLHANE , T. , MEULEN , M. J. P VAN DER and CODE , R. Reliability assessment of PES, using subjective and objective categorcial data . Paper presented at the Workshop on Production Control in the Process Industry . March 29-31 , Dusseldorf, Germany.
  • VOAS , J. M. , MICHAEL , C. C. and MILLER , K. W. Confidently assessing a zero probability of software failure . Proceedings of the 12th International Conference on Computer Safety. Reliability, and Security . Berlin. Edited by: Poznan and Poland . pp. 197 – 206 . Springer .
  • WELSH , A. H. 1996 . Aspects of Statistical Inference , Chichester : Wiley .
  • WHITTAKER , J. 1990 . Graphical Models in Applied Multivariate Statistics , Chichester Wiley .
  • XIE , M. 1991 . Software Reliability Modelling , Singapore : World Scientific .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.