{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T06:23:45Z","timestamp":1780727025849,"version":"3.54.1"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030328719","type":"print"},{"value":"9783030328726","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-32872-6_8","type":"book-chapter","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T19:04:24Z","timestamp":1570734264000},"page":"109-124","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS"],"prefix":"10.1007","author":[{"given":"Sohag","family":"Kabir","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9318-8177","authenticated-orcid":false,"given":"Koorosh","family":"Aslansefat","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ioannis","family":"Sorokos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yiannis","family":"Papadopoulos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Youcef","family":"Gheraibia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,10,11]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Adler, R., Forster, M., Trapp, M.: Determining configuration probabilities of safety-critical adaptive systems. In: 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW 2007), vol. 2, pp. 548\u2013555. IEEE (2007)","DOI":"10.1109\/AINAW.2007.153"},{"key":"8_CR2","unstructured":"Aslansefat, K.: A novel approach for reliability and safety evaluation of control systems with dynamic fault tree. M.Sc. thesis, Abbaspur Campus, Shahid Beheshti University (2014)"},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Aslansefat, K., Latif-Shabgahi, G.: A hierarchical approach for dynamic fault trees solution through semi-Markov process. IEEE Trans. Reliab. 1\u201318 (2019). \n                      https:\/\/doi.org\/10.1109\/TR.2019.2923893","DOI":"10.1109\/TR.2019.2923893"},{"issue":"2","key":"8_CR4","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0951-8320(03)00143-1","volume":"82","author":"M Bouissou","year":"2003","unstructured":"Bouissou, M., Bon, J.L.: A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes. Reliab. Eng. Syst. Saf. 82(2), 149\u2013163 (2003)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"22","key":"8_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.3182\/20130904-3-UK-4041.00043","volume":"46","author":"D Chen","year":"2013","unstructured":"Chen, D., Mahmud, N., Walker, M., Feng, L., L\u00f6nn, H., Papadopoulos, Y.: Systems modeling with EAST-ADL for fault tree analysis through HiP-HOPS. IFAC Proc. Vol. 46(22), 91\u201396 (2013)","journal-title":"IFAC Proc. Vol."},{"key":"8_CR6","doi-asserted-by":"publisher","DOI":"10.1002\/9780470400531","volume-title":"Wiley Encyclopedia of Operations Research and Management Science","author":"J Cochran","year":"2010","unstructured":"Cochran, J.: Wiley Encyclopedia of Operations Research and Management Science. Wiley, Hoboken (2010)"},{"issue":"12","key":"8_CR7","doi-asserted-by":"publisher","first-page":"3701","DOI":"10.1016\/j.camwa.2012.02.038","volume":"64","author":"S Distefano","year":"2012","unstructured":"Distefano, S., Longo, F., Trivedi, K.S.: Investigating dynamic reliability and availability through state-space models. Comput. Math. Appl. 64(12), 3701\u20133716 (2012)","journal-title":"Comput. Math. Appl."},{"issue":"3","key":"8_CR8","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/24.159800","volume":"41","author":"JB Dugan","year":"1992","unstructured":"Dugan, J.B., Bavuso, S., Boyd, M.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Reliab. 41(3), 363\u2013377 (1992)","journal-title":"IEEE Trans. Reliab."},{"key":"8_CR9","unstructured":"Fricks, R., Telek, M., Puliafito, A., Trivedi, K.S.: Markov renewal theory applied to performability evaluation. Technical report, North Carolina State University, Center for Advanced Computing and Communication (1996)"},{"key":"8_CR10","doi-asserted-by":"publisher","DOI":"10.1002\/9780470975916","volume-title":"Bayesian Analysis of Stochastic Process Models","author":"D Insua","year":"2012","unstructured":"Insua, D., Ruggeri, F., Wiper, M.: Bayesian Analysis of Stochastic Process Models, vol. 978. Wiley, Chichester (2012)"},{"key":"8_CR11","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":"8_CR12","doi-asserted-by":"crossref","unstructured":"Kabir, S., Azad, T., Walker, M., Gheraibia, Y.: Reliability analysis of automated pond oxygen management system. In: 18th International Conference on Computer and Information Technology (ICCIT), pp. 144\u2013149. IEEE (2015)","DOI":"10.1109\/ICCITechn.2015.7488058"},{"key":"8_CR13","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":"8_CR14","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/j.ijar.2016.05.006","volume":"77","author":"S Kabir","year":"2016","unstructured":"Kabir, S., Walker, M., Papadopoulos, Y., R\u00fcde, E., Securius, P.: Fuzzy temporal fault tree analysis of dynamic systems. Int. J. Approx. Reason. 77, 20\u201337 (2016)","journal-title":"Int. J. Approx. Reason."},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"29499","DOI":"10.1109\/ACCESS.2018.2843166","volume":"6","author":"S Kabir","year":"2018","unstructured":"Kabir, S., Yazdi, M., Aizpurua, J.I., Papadopoulos, Y.: Uncertainty-aware dynamic reliability analysis framework for complex systems. IEEE Access 6(1), 29499\u201329515 (2018)","journal-title":"IEEE Access"},{"issue":"11","key":"8_CR16","doi-asserted-by":"publisher","first-page":"1521","DOI":"10.1016\/j.ress.2006.10.010","volume":"92","author":"B Kaiser","year":"2007","unstructured":"Kaiser, B., Gramlich, C., F\u00f6rster, M.: State\/event fault trees-a safety analysis model for software-controlled systems. Reliab. Eng. Syst. Saf. 92(11), 1521\u20131537 (2007)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Kim, D.S., Ghosh, R., Trivedi, K.S.: A hierarchical model for reliability analysis of sensor networks. In: 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing, pp. 247\u2013248, December 2010","DOI":"10.1109\/PRDC.2010.25"},{"issue":"3","key":"8_CR18","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1109\/TR.1985.5222114","volume":"34","author":"WS Lee","year":"1985","unstructured":"Lee, W.S., Grosh, D.L., Tillman, F.A., Lie, C.H.: Fault tree analysis, methods, and applications a review. IEEE Trans. Reliab. 34(3), 194\u2013203 (1985)","journal-title":"IEEE Trans. Reliab."},{"issue":"6","key":"8_CR19","doi-asserted-by":"publisher","first-page":"1647","DOI":"10.3182\/20120523-3-RO-2023.00334","volume":"45","author":"Z Mian","year":"2012","unstructured":"Mian, Z., Bottaci, L., Papadopoulos, Y., Biehl, M.: System dependability modelling and analysis using AADL and HiP-HOPS. IFAC Proc. Vol. 45(6), 1647\u20131652 (2012)","journal-title":"IFAC Proc. Vol."},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"9273","DOI":"10.1109\/ACCESS.2019.2891282","volume":"7","author":"TA Nguyen","year":"2019","unstructured":"Nguyen, T.A., Min, D., Choi, E., Tran, T.D.: Reliability and availability evaluation for cloud data center networks using hierarchical models. IEEE Access 7, 9273\u20139313 (2019)","journal-title":"IEEE Access"},{"key":"8_CR21","unstructured":"Papadopoulos, Y., Maruhn, M.: Model-based synthesis of fault trees from Matlab-Simulink models. In: 2001 International Conference on Dependable Systems and Networks, pp. 77\u201382. IEEE (2001)"},{"key":"8_CR22","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). \n                      https:\/\/doi.org\/10.1007\/3-540-48249-0_13"},{"issue":"2","key":"8_CR23","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1016\/j.engfailanal.2010.09.025","volume":"18","author":"Y Papadopoulos","year":"2011","unstructured":"Papadopoulos, Y., et al.: Engineering failure analysis and design optimisation with HiP-HOPS. Eng. Fail. Anal. 18(2), 590\u2013608 (2011)","journal-title":"Eng. Fail. Anal."},{"key":"8_CR24","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. Ann. Rev. Control 41, 170\u2013182 (2016)","journal-title":"Ann. Rev. Control"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Ramezani, Z., Latif-Shabgahi, G.R., Khajeie, P., Aslansefat, K.: Hierarchical steady-state availability evaluation of dynamic fault trees through equal Markov model. In: 2016 24th Iranian Conference on Electrical Engineering (ICEE), pp. 1848\u20131854. IEEE (2016)","DOI":"10.1109\/IranianCEE.2016.7585822"},{"key":"8_CR26","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. Elsevier (2016)","DOI":"10.1016\/B978-0-12-802301-3.00012-0"},{"issue":"1","key":"8_CR27","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MS.2013.118","volume":"31","author":"L Silva Azevedo da","year":"2014","unstructured":"da Silva Azevedo, L., Parker, D., Walker, M., Papadopoulos, Y., Araujo, R.E.: Assisted assignment of automotive safety requirements. IEEE Softw. 31(1), 62\u201368 (2014)","journal-title":"IEEE Softw."},{"issue":"7","key":"8_CR28","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.ifacol.2015.06.466","volume":"48","author":"I Sorokos","year":"2015","unstructured":"Sorokos, I., Papadopoulos, Y., Azevedo, L., Parker, D., Walker, M.: Automating allocation of development assurance levels: an extension to HiP-HOPS. IFAC-PapersOnLine 48(7), 9\u201314 (2015)","journal-title":"IFAC-PapersOnLine"},{"issue":"5","key":"8_CR29","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1109\/TR.1983.5221727","volume":"32","author":"H Tanaka","year":"1983","unstructured":"Tanaka, H., Fan, L., Lai, F., Toguchi, K.: Fault-tree analysis by fuzzy probability. IEEE Trans. Reliab. 32(5), 453\u2013457 (1983)","journal-title":"IEEE Trans. Reliab."},{"key":"8_CR30","doi-asserted-by":"publisher","DOI":"10.1017\/9781316163047","volume-title":"Reliability and Availability Engineering: Modeling, Analysis, and Applications","author":"KS Trivedi","year":"2017","unstructured":"Trivedi, K.S., Bobbio, A.: Reliability and Availability Engineering: Modeling, Analysis, and Applications. Cambridge University Press, Cambridge (2017)"},{"issue":"2","key":"8_CR31","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1002\/asmb.951","volume":"29","author":"KS Trivedi","year":"2013","unstructured":"Trivedi, K.S., Kim, D.S., Ghosh, R.: System availability assessment using stochastic models. Appl. Stochast. Models Bus. Ind. 29(2), 94\u2013109 (2013)","journal-title":"Appl. Stochast. Models Bus. Ind."},{"key":"8_CR32","unstructured":"Vesely, W., Dugan, J., Fragola, J., Minarick, J., Railsback, J.: Fault tree handbook with aerospace applications. Technical report, NASA Office of Safety and Mission Assurance, Washington, DC (2002)"},{"issue":"10","key":"8_CR33","doi-asserted-by":"publisher","first-page":"1115","DOI":"10.1016\/j.conengprac.2008.10.003","volume":"17","author":"M Walker","year":"2009","unstructured":"Walker, M., Papadopoulos, Y.: Qualitative temporal analysis: towards a full implementation of the fault tree handbook. Control Eng. Pract. 17(10), 1115\u20131125 (2009)","journal-title":"Control Eng. Pract."},{"key":"8_CR34","first-page":"217","volume":"2","author":"M Zajac","year":"2011","unstructured":"Zajac, M., Kierzkowski, A.: Attempts at calculating chosen contributors with regard to the semi-Markov process and the Weibull function distribution. J. Pol. Saf. Reliab. Assoc. 2, 217\u2013222 (2011)","journal-title":"J. Pol. Saf. Reliab. Assoc."},{"key":"8_CR35","doi-asserted-by":"crossref","unstructured":"Zeller, M., Montrone, F.: Combination of component fault trees and Markov chains to analyze complex, software-controlled systems. In: 2018 3rd International Conference on System Reliability and Safety (ICSRS), pp. 13\u201320. IEEE (2019)","DOI":"10.1109\/ICSRS.2018.8688854"},{"issue":"12","key":"8_CR36","doi-asserted-by":"publisher","first-page":"1591","DOI":"10.1016\/j.ress.2011.08.004","volume":"96","author":"L Zixian","year":"2011","unstructured":"Zixian, L., Xin, N., Yiliu, L., Qinglu, S., Yukun, W.: Gastric esophageal surgery risk analysis with a fault tree and Markov integrated model. Reliab. Eng. Syst. Saf. 96(12), 1591\u20131600 (2011)","journal-title":"Reliab. Eng. Syst. Saf."}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-32872-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T19:07:30Z","timestamp":1570734450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-32872-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030328719","9783030328726"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-32872-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"11 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IMBSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Model-Based Safety and Assessment","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thessaloniki","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"imbsa2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/easyconferences.eu\/imbsa2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"46","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"24","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"52% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}