{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:13:45Z","timestamp":1743149625034,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030870935"},{"type":"electronic","value":"9783030870942"}],"license":[{"start":{"date-parts":[[2021,11,18]],"date-time":"2021-11-18T00:00:00Z","timestamp":1637193600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,11,18]],"date-time":"2021-11-18T00:00:00Z","timestamp":1637193600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-87094-2_43","type":"book-chapter","created":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T07:06:45Z","timestamp":1637132805000},"page":"483-495","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Model-Based Reliability Analysis Method Using Bayesian Network"],"prefix":"10.1007","author":[{"given":"Sohag","family":"Kabir","sequence":"first","affiliation":[]},{"given":"Felician","family":"Campean","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,11,18]]},"reference":[{"key":"43_CR1","unstructured":"AIAG: Potential Failure Mode and Effect Analysis. Technical report, Automotive Industry Action Group (1993)"},{"key":"43_CR2","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/j.ress.2018.07.020","volume":"180","author":"A Amrin","year":"2018","unstructured":"Amrin, A., Zarikas, V., Spitas, C.: Reliability analysis and functional design using Bayesian networks generated automatically by an \u201cidea algebra\u2019\u2019 framework. Reliab. Eng. Syst. Saf. 180, 211\u2013225 (2018)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"2","key":"43_CR3","first-page":"109","volume":"40","author":"A Arnold","year":"2000","unstructured":"Arnold, A., Point, G., Griffault, A., Rauzy, A.: The AltaRica formalism for describing concurrent systems. Fund. Inform. 40(2), 109\u2013124 (2000)","journal-title":"Fund. Inform."},{"key":"43_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/978-3-662-49674-9_31","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B Bittner","year":"2016","unstructured":"Bittner, B., et al.: The xSAP safety analysis platform. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 533\u2013539. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49674-9_31"},{"issue":"3","key":"43_CR5","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/S0951-8320(00)00077-6","volume":"71","author":"A Bobbio","year":"2001","unstructured":"Bobbio, A., Portinale, L., Minichino, M., Ciancamerla, E.: Improving the analysis of dependable systems by mapping fault trees into Bayesian networks. Reliab. Eng. Syst. Saf. 71(3), 249\u2013260 (2001)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"43_CR6","series-title":"IFIP \u2014 The International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-0-387-35602-0_14","volume-title":"Intelligent Information Processing","author":"M Borth","year":"2002","unstructured":"Borth, M., von Hasseln, H.: Systematic generation of Bayesian networks from systems specifications. In: Musen, M.A., Neumann, B., Studer, R. (eds.) IIP 2002. ITIFIP, vol. 93, pp. 155\u2013166. Springer, Boston, MA (2002). https:\/\/doi.org\/10.1007\/978-0-387-35602-0_14"},{"issue":"3","key":"43_CR7","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/j.ress.2004.06.004","volume":"87","author":"H Boudali","year":"2005","unstructured":"Boudali, H., Dugan, J.B.: A discrete-time Bayesian network reliability modeling and analysis framework. Reliab. Eng. Syst. Saf. 87(3), 337\u2013349 (2005)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"43_CR8","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/j.ress.2017.04.014","volume":"167","author":"D Codetta-Raiteri","year":"2017","unstructured":"Codetta-Raiteri, D., Portinale, L.: Generalized continuous time Bayesian networks as a modelling and analysis formalism for dependable systems. Reliab. Eng. Syst. Saf. 167, 639\u2013651 (2017)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"2","key":"43_CR9","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1016\/j.ress.2008.06.009","volume":"94","author":"O Doguc","year":"2009","unstructured":"Doguc, O., Ramirez-Marquez, J.E.: A generic method for estimating system reliability using Bayesian networks. Reliab. Eng. Syst. Saf. 94(2), 542\u2013550 (2009)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"43_CR10","unstructured":"Feiler, P., Rugina, A.: Dependability modeling with the architecture analysis & design language (AADL). Technical report July, Software Engineering Institute, Carnegie Mellon University (2007)"},{"issue":"3","key":"43_CR11","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0164-1212(93)90029-W","volume":"21","author":"P Fenelon","year":"1993","unstructured":"Fenelon, P., McDermid, J.A.: An integrated tool set for software safety analysis. J. Syst. Softw. 21(3), 279\u2013290 (1993)","journal-title":"J. Syst. Softw."},{"key":"43_CR12","doi-asserted-by":"crossref","unstructured":"Grunske, L., Kaiser, B.: Automatic generation of analyzable failure propagation models from component-level failure annotations. In: Fifth International Conference on Quality Software(QSIC 2005), pp. 117\u2013123 (2005)","DOI":"10.1109\/QSIC.2005.16"},{"key":"43_CR13","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.eswa.2017.01.058","volume":"77","author":"S Kabir","year":"2017","unstructured":"Kabir, S.: An overview of fault tree analysis and its application in model based dependability analysis. Expert Syst. Appl. 77, 114\u2013135 (2017)","journal-title":"Expert Syst. Appl."},{"key":"43_CR14","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.ssci.2019.02.009","volume":"115","author":"S Kabir","year":"2019","unstructured":"Kabir, S., Papadopoulos, Y.: Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: a review. Saf. Sci. 115, 154\u2013175 (2019)","journal-title":"Saf. Sci."},{"key":"43_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-319-12214-4_8","volume-title":"Model-Based Safety and Assessment","author":"S Kabir","year":"2014","unstructured":"Kabir, S., Walker, M., Papadopoulos, Y.: Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks. In: Ortmeier, F., Rauzy, A. (eds.) IMBSA 2014. LNCS, vol. 8822, pp. 96\u2013109. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-12214-4_8"},{"key":"43_CR16","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.ssci.2018.02.001","volume":"105","author":"S Kabir","year":"2018","unstructured":"Kabir, S., Walker, M., Papadopoulos, Y.: Dynamic system safety analysis in HiP-HOPS with Petri nets and Bayesian networks. Saf. Sci. 105, 55\u201370 (2018)","journal-title":"Saf. Sci."},{"key":"43_CR17","unstructured":"Kaiser, B., Liggesmeyer, P., M\u00e4ckel, O.: A new component concept for fault trees. In: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software (SCS 2003), vol.\u00a033, pp. 37\u201346 (2003)"},{"key":"43_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/3-540-48249-0_13","volume-title":"Computer Safety, Reliability and Security","author":"Y Papadopoulos","year":"1999","unstructured":"Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139\u2013152. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48249-0_13"},{"key":"43_CR19","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1016\/j.arcontrol.2016.04.008","volume":"41","author":"Y Papadopoulos","year":"2016","unstructured":"Papadopoulos, Y., et al.: A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annu. Rev. Control 41, 170\u2013182 (2016)","journal-title":"Annu. Rev. Control"},{"key":"43_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-77619-2_7","volume-title":"Software Architectures, Components, and Applications","author":"R Roshandel","year":"2007","unstructured":"Roshandel, R., Medvidovic, N., Golubchik, L.: A Bayesian model for predicting reliability of software systems at the architectural level. In: Overhage, S., Szyperski, C.A., Reussner, R., Stafford, J.A. (eds.) QoSA 2007. LNCS, vol. 4880, pp. 108\u2013126. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-77619-2_7"},{"key":"43_CR21","doi-asserted-by":"crossref","unstructured":"Sharvia, S., Kabir, S., Walker, M., Papadopoulos, Y.: Model-based dependability analysis: state-of-the-art, challenges, and future outlook. In: Software Quality Assurance, pp. 251\u2013278 (2016)","DOI":"10.1016\/B978-0-12-802301-3.00012-0"},{"key":"43_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/3-540-49795-1_17","volume-title":"Progress in Artificial Intelligence \u2014 IBERAMIA 98","author":"JG Torres-Toledano","year":"1998","unstructured":"Torres-Toledano, J.G., Sucar, L.E.: Bayesian networks for reliability analysis of complex systems. In: Coelho, H. (ed.) IBERAMIA 1998. LNCS (LNAI), vol. 1484, pp. 195\u2013206. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-49795-1_17"}],"container-title":["Advances in Intelligent Systems and Computing","Advances in Computational Intelligence Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-87094-2_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T07:13:42Z","timestamp":1637133222000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-87094-2_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,18]]},"ISBN":["9783030870935","9783030870942"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-87094-2_43","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2021,11,18]]},"assertion":[{"value":"18 November 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"UKCI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"UK Workshop on Computational Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aberystwyth","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ukci2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ukci2021.dcs.aber.ac.uk\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}