{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T04:21:26Z","timestamp":1743913286002,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031664557"},{"type":"electronic","value":"9783031664564"}],"license":[{"start":{"date-parts":[[2024,9,29]],"date-time":"2024-09-29T00:00:00Z","timestamp":1727568000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,9,29]],"date-time":"2024-09-29T00:00:00Z","timestamp":1727568000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-66456-4_11","type":"book-chapter","created":{"date-parts":[[2024,9,28]],"date-time":"2024-09-28T06:01:58Z","timestamp":1727503318000},"page":"201-222","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["QuanSafe: A DTBN-Based Framework of\u00a0Quantitative Safety Analysis for\u00a0AADL Models"],"prefix":"10.1007","author":[{"given":"Yiwei","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haiying","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiexiang","family":"Kang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,29]]},"reference":[{"issue":"1","key":"11_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3158668","volume":"28","author":"G Agha","year":"2018","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. (TOMACS) 28(1), 1\u201339 (2018)","journal-title":"ACM Trans. Model. Comput. Simul. (TOMACS)"},{"issue":"11","key":"11_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11432-015-5346-2","volume":"58","author":"E Ahmad","year":"2015","unstructured":"Ahmad, E., Dong, Y., Larson, B.R., L\u00fc, J., Tang, T., Zhan, N.: Behavior modeling and verification of movement authority scenario of Chinese train control system using AADL. Sci. China Inf. Sci. 58(11), 1\u201320 (2015)","journal-title":"Sci. China Inf. Sci."},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-319-06410-9_7","volume-title":"FM 2014: Formal Methods","author":"K Bae","year":"2014","unstructured":"Bae, K., \u00d6lveczky, P.C., Meseguer, J.: Definition, semantics, and analysis of multirate synchronous AADL. In: Jones, C., Pihlajasaari, P., Sun, J. (eds.) FM 2014. LNCS, vol. 8442, pp. 94\u2013109. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06410-9_7"},{"issue":"12","key":"11_CR4","doi-asserted-by":"crossref","first-page":"1989","DOI":"10.1109\/TCAD.2017.2681076","volume":"36","author":"Y Bao","year":"2017","unstructured":"Bao, Y., Chen, M., Zhu, Q., Wei, T., Mallet, F., Zhou, T.: Quantitative performance evaluation of uncertainty-aware hybrid AADL designs using statistical model checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(12), 1989\u20132002 (2017)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Borgonovo, E.: Sensitivity analysis. In: Tutorials in Operations Research: Advancing the Frontiers of OR\/MS: From Methodologies to Applications, pp. 52\u201381 (2023)","DOI":"10.1287\/educ.2023.0259"},{"issue":"3","key":"11_CR6","doi-asserted-by":"crossref","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":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-030-17462-0_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M Bozzano","year":"2019","unstructured":"Bozzano, M., Bruintjes, H., Cimatti, A., Katoen, J.-P., Noll, T., Tonetta, S.: COMPASS\u00a03.0. In: Vojnar, T., Zhang, L. (eds.) TACAS 2019. LNCS, vol. 11427, pp. 379\u2013385. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17462-0_25"},{"issue":"5","key":"11_CR8","doi-asserted-by":"crossref","first-page":"754","DOI":"10.1093\/comjnl\/bxq024","volume":"54","author":"M Bozzano","year":"2011","unstructured":"Bozzano, M., Cimatti, A., Katoen, J.P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended AADL models. Comput. J. 54(5), 754\u2013775 (2011)","journal-title":"Comput. J."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Bruintjes, H., Katoen, J.P., Lesens, D.: A statistical approach for timed reachability in AADL models. In: 2015 45th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, pp. 81\u201388. IEEE (2015)","DOI":"10.1109\/DSN.2015.32"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"\u010cepin, M., \u010cepin, M.: Event tree analysis. In: Assessment of Power System Reliability: Methods and Applications, pp. 89\u201399 (2011)","DOI":"10.1007\/978-0-85729-688-7_6"},{"key":"11_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-97704-1","volume-title":"Markov Chains","author":"R Douc","year":"2018","unstructured":"Douc, R., Moulines, E., Priouret, P., Soulier, P.: Markov Chains. Springer, Cham (2018)"},{"key":"11_CR12","unstructured":"Feiler, P.: Open source AADL tool environment (OSATE). In: AADL Workshop, Paris, pp. 1\u201340 (2004)"},{"key":"11_CR13","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/j.arcontrol.2018.04.006","volume":"45","author":"A Giua","year":"2018","unstructured":"Giua, A., Silva, M.: Petri nets and automatic control: a historical perspective. Annu. Rev. Control. 45, 223\u2013239 (2018)","journal-title":"Annu. Rev. Control."},{"key":"11_CR14","volume":"216","author":"Y Guo","year":"2021","unstructured":"Guo, Y., Zhong, M., Gao, C., Wang, H., Liang, X., Yi, H.: A discrete-time Bayesian network approach for reliability analysis of dynamic systems with common cause failures. Reliab. Eng. Syst. Saf. 216, 108028 (2021)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"11_CR15","doi-asserted-by":"crossref","first-page":"72814","DOI":"10.1109\/ACCESS.2020.2987972","volume":"8","author":"ASA Hadad","year":"2020","unstructured":"Hadad, A.S.A., Ma, C., Ahmed, A.A.O.: Formal verification of AADL models by Event-B. IEEE Access 8, 72814\u201372834 (2020)","journal-title":"IEEE Access"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Junges, S., Guck, D., Katoen, J.P., Stoelinga, M.: Uncovering dynamic fault trees. In: 2016 46th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 299\u2013310. IEEE (2016)","DOI":"10.1109\/DSN.2016.35"},{"key":"11_CR17","doi-asserted-by":"crossref","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":"11_CR18","doi-asserted-by":"crossref","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":"11_CR19","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.ress.2012.07.009","volume":"109","author":"N Khakzad","year":"2013","unstructured":"Khakzad, N., Khan, F., Amyotte, P.: Risk-based design of process systems using discrete-time Bayesian networks. Reliab. Eng. Syst. Saf. 109, 5\u201317 (2013)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"6","key":"11_CR20","doi-asserted-by":"crossref","first-page":"911","DOI":"10.1007\/s10009-022-00665-z","volume":"24","author":"J Lee","year":"2022","unstructured":"Lee, J., Bae, K., \u00d6lveczky, P.C., Kim, S., Kang, M.: Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL. Int. J. Softw. Tools Technol. Transfer 24(6), 911\u2013948 (2022)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/978-3-319-91908-9_23","volume-title":"Computing and Software Science","author":"A Legay","year":"2019","unstructured":"Legay, A., Lukina, A., Traonouez, L.M., Yang, J., Smolka, S.A., Grosu, R.: Statistical model checking. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 478\u2013504. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_23"},{"key":"11_CR22","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1007\/s11219-015-9302-6","volume":"25","author":"Y Liu","year":"2017","unstructured":"Liu, Y., Shen, G., Huang, Z., Yang, Z.: Quantitative risk analysis of safety-critical embedded systems. Softw. Qual. J. 25, 503\u2013527 (2017)","journal-title":"Softw. Qual. J."},{"key":"11_CR23","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1016\/j.jss.2019.02.019","volume":"151","author":"Z Mian","year":"2019","unstructured":"Mian, Z., Bottaci, L., Papadopoulos, Y., Mahmud, N.: Model transformation for analyzing dependability of AADL model by using hip-hops. J. Syst. Softw. 151, 258\u2013282 (2019)","journal-title":"J. Syst. Softw."},{"key":"11_CR24","unstructured":"Pearl, J.: Bayesian networks (2011)"},{"issue":"1","key":"11_CR25","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/3379106.3379113","volume":"39","author":"S Procter","year":"2020","unstructured":"Procter, S., Feiler, P.: The AADL error library: an operationalized taxonomy of system errors. ACM SIGAda Ada Lett. 39(1), 63\u201370 (2020)","journal-title":"ACM SIGAda Ada Lett."},{"issue":"1\u20132","key":"11_CR26","first-page":"1","volume":"5","author":"KD Sharma","year":"2018","unstructured":"Sharma, K.D., Srivastava, S.: Failure mode and effect analysis (FMEA) implementation: a literature review. J. Adv. Res. Aeronaut. Space Sci. 5(1\u20132), 1\u201317 (2018)","journal-title":"J. Adv. Res. Aeronaut. Space Sci."},{"key":"11_CR27","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1007\/s13198-019-00811-y","volume":"10","author":"S Sinha","year":"2019","unstructured":"Sinha, S., Goyal, N.K., Mall, R.: Survey of combined hardware-software reliability prediction approaches from architectural and system failure viewpoint. Int. J. Syst. Assurance Eng. Manag. 10, 453\u2013474 (2019)","journal-title":"Int. J. Syst. Assurance Eng. Manag."},{"key":"11_CR28","first-page":"1","volume":"2022","author":"Y Tan","year":"2022","unstructured":"Tan, Y., Zhao, Y., Ma, D., Zhang, X.: A comprehensive formalization of AADL with behavior annex. Sci. Program. 2022, 1\u201326 (2022)","journal-title":"Sci. Program."},{"issue":"2","key":"11_CR29","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1016\/j.net.2018.10.019","volume":"51","author":"A Wakankar","year":"2019","unstructured":"Wakankar, A., Kabra, A., Bhattacharjee, A., Karmakar, G.: Architectural model driven dependability analysis of computer based safety system in nuclear power plant. Nucl. Eng. Technol. 51(2), 463\u2013478 (2019)","journal-title":"Nucl. Eng. Technol."},{"key":"11_CR30","doi-asserted-by":"crossref","first-page":"580","DOI":"10.1016\/j.jss.2017.06.018","volume":"137","author":"X Wei","year":"2018","unstructured":"Wei, X., Dong, Y., Li, X., Wong, W.E.: Architecture-level hazard analysis using AADL. J. Syst. Softw. 137, 580\u2013604 (2018)","journal-title":"J. Syst. Softw."},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Wei, X., Dong, Y., Yang, M., Hu, N., Ye, H.: Hazard analysis for AADL model. In: 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, pp. 1\u201310. IEEE (2014)","DOI":"10.1109\/RTCSA.2014.6910512"},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Wei, X., Dong, Y., Ye, H.: Qasten: integrating quantitative verification with safety analysis for AADL model. In: 2015 International Symposium on Theoretical Aspects of Software Engineering, pp. 103\u2013110. IEEE (2015)","DOI":"10.1109\/TASE.2015.10"},{"key":"11_CR33","first-page":"1","volume":"2021","author":"J Xie","year":"2021","unstructured":"Xie, J., Tan, W., Fang, B., Huang, Z.: Towards a statistical model checking method for safety-critical cyber-physical system verification. Secur. Commun. Netw. 2021, 1\u201312 (2021)","journal-title":"Secur. Commun. Netw."},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Yang, C., et al.: Uncertainty modeling and quantitative evaluation of cyber-physical systems. In: 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC), pp. 874\u2013883. IEEE (2021)","DOI":"10.1109\/COMPSAC51774.2021.00120"},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Yuan, C., Wu, K., Chen, G., Mo, Y.: An automatic transformation method from AADL reliability model to CTMC. In: 2021 IEEE International Conference on Information Communication and Software Engineering (ICICSE), pp. 322\u2013326. IEEE (2021)","DOI":"10.1109\/ICICSE52190.2021.9404135"},{"key":"11_CR36","doi-asserted-by":"crossref","first-page":"27421","DOI":"10.1109\/ACCESS.2017.2770323","volume":"5","author":"F Zhang","year":"2017","unstructured":"Zhang, F., Zhao, Y., Ma, D., Niu, W.: Formal verification of behavioral AADL models by stateful timed CSP. IEEE Access 5, 27421\u201327438 (2017)","journal-title":"IEEE Access"}],"container-title":["Lecture Notes in Computer Science","Engineering of Complex Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-66456-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T22:02:53Z","timestamp":1743890573000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-66456-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,29]]},"ISBN":["9783031664557","9783031664564"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-66456-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,9,29]]},"assertion":[{"value":"29 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICECCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Engineering of Complex Computer Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iceccs2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cyprusconferences.org\/iceccs2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}