{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:09:16Z","timestamp":1760044156631},"publisher-location":"London","reference-count":19,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781846283338"},{"type":"electronic","value":"9781846284472"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-84628-447-3_14","type":"book-chapter","created":{"date-parts":[[2007,12,27]],"date-time":"2007-12-27T17:28:05Z","timestamp":1198776485000},"page":"241-259","source":"Crossref","is-referenced-by-count":1,"title":["Use of Graphical Probabilistic Models to build SIL claims based on software safety standards such as IEC61508-3"],"prefix":"10.1007","author":[{"given":"Mario","family":"Brito","sequence":"first","affiliation":[]},{"given":"John","family":"May","sequence":"additional","affiliation":[]},{"given":"Julio","family":"Gallardo","sequence":"additional","affiliation":[]},{"given":"Ed","family":"Fergus","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Bishop P G and Bloomfield R E (1996). A conservative theory for long term reliability growth prediction. The Seventh International Symposium on Software Reliability Engineering (ISSRE\u2019 96), pp 308.","DOI":"10.1109\/ISSRE.1996.558887"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Black W S (2000). IEC 61508 \u2014 What doesn\u2019t tell you. Computing and Control Engineering Journal, February 2000.","DOI":"10.1049\/cce:20000104"},{"key":"14_CR3","unstructured":"Brown S (2000). Overview of IEC61508-design of electric\/electronic\/programmable electronic safety related systems. Computing and Control Engineering Journal, February 2000."},{"key":"14_CR4","unstructured":"Fenton N E and Neil M (2005a). Improved Software Defect Prediction. Tenth Annual European SEPG, London 13\u201316 June 2005."},{"key":"14_CR5","unstructured":"Fenton N E, Neil M, Marsh W, Krause P and Mishra R (2005b). Predicting Software Defects in Varying Development Lifecycles using Bayesian Nets, submitted to ESEC 2005."},{"key":"14_CR6","unstructured":"Fenton N E and Neil M (2004). Combining evidence in risk analysis using Bayesian Networks. Safety Critical Systems Club Newsletter 13(4) September 2004."},{"issue":"4","key":"14_CR7","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1109\/MS.2002.1020298","volume":"10","author":"N. E. Fenton","year":"2002","unstructured":"Fenton N E, Krause P and Neil M (2002). Software Measurement: Uncertainty and Causal Modelling. IEEE Software 10(4), 116\u2013122, 2002.","journal-title":"IEEE Software"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Fenton N E, Krause P and Neil M (2001a). Probabilistic Modelling for Software Quality Control. Sixth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty September 19\u201321, Toulouse, France, 2001.","DOI":"10.1007\/3-540-44652-4_39"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1016\/S0950-7051(00)00071-X","volume":"14","author":"N. E. Fenton","year":"2001","unstructured":"Fenton N E and Neil M (2001b). Making Decisions: Using Bayesian Nets and MCDA. Knowledge-Based Systems vol. 14, pp. 307\u2013325, 2001.","journal-title":"Knowledge-Based Systems"},{"issue":"1","key":"14_CR10","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1049\/cce:20010103","volume":"12","author":"M. Neil","year":"2001","unstructured":"Neil M, Fenton N E, Forey S and Harris R (2001c). Using Bayesian Belief networks to predict the reliability of military vehicles. Computing and Control Engineering Journal. February 2001, vol. 12 issue 1, pp 11\u201320.","journal-title":"Computing and Control Engineering Journal"},{"issue":"8","key":"14_CR11","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1109\/32.879815","volume":"26","author":"N. E. Fenton","year":"2000","unstructured":"Fenton N E and Ohlsson N (2000). Quantitative Analysis of Faults and Failures in a Complex Software System. IEEE Transactions on Software Engineering, 26(8), 797\u2013814, 2000.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"14_CR12","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1109\/32.815326","volume":"25","author":"N. E. Fenton","year":"1999","unstructured":"Fenton N E and Neil M (1999). A Critique of Software Defect Prediction Models\u2019, 25(5) IEEE Transactions on Software Engineering, 675\u2013689, 1999.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1016\/S0925-7535(01)00088-1","volume":"40","author":"B. A. Gran","year":"2002","unstructured":"Gran B A (2002). Assessment of programmable systems using Bayesian Belief nets. Safety Science 40 pp 797\u2013812. 2002.","journal-title":"Safety Science"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Hall P, May J, Nichol D, Csachur K and Kinch B (1992). Integrity Prediction during Software Development. Safety of Computer Control Systems. (SAFECOMP\u201992), Computer Systems in Safety-Critical Applications, Proceedings of the IFAC Symposium, Zurich, Switzerland, 28\u201330 Oct 1992, 1992.","DOI":"10.1016\/B978-0-08-041893-3.50044-6"},{"key":"14_CR15","volume-title":"IEC61508 functional safety of electrical\/ electronic\/programmable electronic safety-related systems parts 1\u20137","author":"IEC61508","year":"1998","unstructured":"IEC61508 (1998\u20132000). IEC61508 functional safety of electrical\/ electronic\/programmable electronic safety-related systems parts 1\u20137. 1998-2000. Published by the International Electrotechnical Commission (IEC), Geneva, Switzerland."},{"key":"14_CR16","volume-title":"Proceedings of the 19th International System Safety Conference","author":"J. McDermid","year":"2001","unstructured":"McDermid J and Pumfrey D J (2001). Software safety: Why is there no Consensus?. Proceedings of the 19th International System Safety Conference, Huntsville, AL, System Safety Society, P.O. Box 70, Unionville, VA 22567-0070"},{"key":"14_CR17","unstructured":"Pearl J (1998). Probabilistic reasoning in intelligent systems. Morgan Kaufmann, San Mateo 1988 (revised 1997) 0934613737."},{"key":"14_CR18","unstructured":"Weaver R A, McDermid J A and Kelly T P (2002). Software Safety Arguments-Towards a Systematic Categorisation of Evidence. Twentieth International System Safety Conference, Denver, Colorado, USA, August 2002."},{"key":"14_CR19","unstructured":"Weaver R A, Despotou G, Kelly T P, McDermind J A (2005). Combining Software Evidence \u2014 Arguments and Assurance. Twenty seventh International Conference on Software Engineering (ICSE): Workshop on Realising Evidence-based Software Engineering. St. Louis Missouri, USA, May 2005."}],"container-title":["Developments in Risk-based Approaches to Safety"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-84628-447-3_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:25:30Z","timestamp":1619555130000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-84628-447-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781846283338","9781846284472"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/1-84628-447-3_14","relation":{},"subject":[]}}