{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T16:10:24Z","timestamp":1762272624285,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030591540"},{"type":"electronic","value":"9783030591557"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-59155-7_29","type":"book-chapter","created":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T19:26:08Z","timestamp":1599765968000},"page":"395-410","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Model-Based Simulation at Runtime with Abstract State Machines"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1400-1026","authenticated-orcid":false,"given":"Elvinia","family":"Riccobene","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9209-3624","authenticated-orcid":false,"given":"Patrizia","family":"Scandurra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,9,7]]},"reference":[{"key":"29_CR1","unstructured":"Defence standard 00\u201356, issue 4: Safety management requirements for defence systems, June 2007"},{"issue":"4","key":"29_CR2","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MSP.2013.49","volume":"11","author":"H Alemzadeh","year":"2013","unstructured":"Alemzadeh, H., Kalbarczyk, Z., Iyer, R., Raman, J.: Analysis of safety-critical computer failures in medical devices. IEEE Secur. Priv. 11(4), 14\u201326 (2013). \nhttps:\/\/doi.org\/10.1109\/MSP.2013.49","journal-title":"IEEE Secur. Priv."},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-29860-8_17","volume-title":"Runtime Verification","author":"P Arcaini","year":"2012","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: CoMA: conformance monitoring of Java programs by abstract state machines. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 223\u2013238. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-29860-8_17"},{"key":"29_CR4","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1002\/spe.1019","volume":"41","author":"P Arcaini","year":"2011","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. 41, 155\u2013166 (2011). \nhttps:\/\/doi.org\/10.1002\/spe.1019\n\n. \nhttp:\/\/dx.doi.org\/10.1002\/spe.1019","journal-title":"Softw. Pract. Exp."},{"issue":"4","key":"29_CR5","doi-asserted-by":"publisher","first-page":"25:1","DOI":"10.1145\/3019598","volume":"11","author":"P Arcaini","year":"2017","unstructured":"Arcaini, P., Riccobene, E., Scandurra, P.: Formal design and verification of self-adaptive systems with decentralized control. ACM Trans. Auton. Adapt. Syst. 11(4), 25:1\u201325:35 (2017)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"29_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-08915-7_1","volume-title":"Models@run.time","author":"U A\u00dfmann","year":"2014","unstructured":"A\u00dfmann, U., G\u00f6tz, S., J\u00e9z\u00e9quel, J.-M., Morin, B., Trapp, M.: A reference architecture and roadmap for models@run.time systems. In: Bencomo, N., France, R., Cheng, B.H.C., A\u00dfmann, U. (eds.) Models@run.time. LNCS, vol. 8378, pp. 1\u201318. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-08915-7_1"},{"key":"29_CR7","unstructured":"Baresi, L., Ghezzi, C.: The disappearing boundary between development-time and run-time. In: Roman, G., Sullivan, K.J. (eds.) Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, 7\u201311 November 2010, pp. 17\u201322. ACM (2010)"},{"issue":"5","key":"29_CR8","doi-asserted-by":"publisher","first-page":"3049","DOI":"10.1007\/s10270-018-00712-x","volume":"18","author":"N Bencomo","year":"2019","unstructured":"Bencomo, N., G\u00f6tz, S., Song, H.: Models@run.time: a guided tour of the state of the art and research challenges. Softw. Syst. Model. 18(5), 3049\u20133082 (2019). \nhttps:\/\/doi.org\/10.1007\/s10270-018-00712-x","journal-title":"Softw. Syst. Model."},{"issue":"2","key":"29_CR9","doi-asserted-by":"publisher","first-page":"e2205","DOI":"10.1002\/smr.2205","volume":"32","author":"S Bonfanti","year":"2020","unstructured":"Bonfanti, S., Gargantini, A., Mashkoor, A.: Design and validation of a C++ code generator from Abstract State Machines specifications. J. Softw. Evol. Process 32(2), e2205 (2020). \nhttps:\/\/doi.org\/10.1002\/smr.2205\n\n. \nhttps:\/\/onlinelibrary.wiley.com\/doi\/abs\/10.1002\/smr.2205","journal-title":"J. Softw. Evol. Process"},{"key":"29_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56641-1","volume-title":"Modeling Companion for Software Practitioners","author":"E B\u00f6rger","year":"2018","unstructured":"B\u00f6rger, E., Raschke, A.: Modeling Companion for Software Practitioners. Springer, Heidelberg (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-662-56641-1"},{"key":"29_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003). \nhttps:\/\/doi.org\/10.1007\/978-3-642-18216-7"},{"issue":"11","key":"29_CR12","doi-asserted-by":"publisher","first-page":"1039","DOI":"10.1109\/TSE.2017.2738640","volume":"44","author":"R Calinescu","year":"2018","unstructured":"Calinescu, R., Weyns, D., Gerasimou, S., Iftikhar, M.U., Habli, I., Kelly, T.: Engineering trustworthy self-adaptive software with dynamic assurance cases. IEEE Trans. Software Eng. 44(11), 1039\u20131069 (2018)","journal-title":"IEEE Trans. Software Eng."},{"key":"29_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-21292-5_7","volume-title":"Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems","author":"R Calinescu","year":"2011","unstructured":"Calinescu, R., Kikuchi, S.: Formal methods @ runtime. In: Calinescu, R., Jackson, E. (eds.) Monterey Workshop 2010. LNCS, vol. 6662, pp. 122\u2013135. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-21292-5_7"},{"key":"29_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-319-75632-5_4","volume-title":"Lectures on Runtime Verification","author":"Y Falcone","year":"2018","unstructured":"Falcone, Y., Mariani, L., Rollet, A., Saha, S.: Runtime failure prevention and reaction. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification. LNCS, vol. 10457, pp. 103\u2013134. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-75632-5_4"},{"key":"29_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-36498-6_15","volume-title":"Abstract State Machines 2003","author":"A Gargantini","year":"2003","unstructured":"Gargantini, A., Riccobene, E., Rinzivillo, S.: Using spin to generate tests from ASM specifications. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 263\u2013277. Springer, Heidelberg (2003). \nhttps:\/\/doi.org\/10.1007\/3-540-36498-6_15"},{"issue":"12","key":"29_CR16","doi-asserted-by":"publisher","first-page":"1949","DOI":"10.3217\/jucs-014-12-1949","volume":"14","author":"A Gargantini","year":"2008","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: A metamodel-based language and a simulation engine for abstract state machines. J. UCS 14(12), 1949\u20131983 (2008). \nhttps:\/\/doi.org\/10.3217\/jucs-014-12-1949","journal-title":"J. UCS"},{"key":"29_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-540-69073-3_23","volume-title":"Models in Software Engineering","author":"HJ Goldsby","year":"2008","unstructured":"Goldsby, H.J., Cheng, B.H.C., Zhang, J.: AMOEBA-RT: run-time verification of adaptive software. In: Giese, H. (ed.) MODELS 2007. LNCS, vol. 5002, pp. 212\u2013224. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-69073-3_23"},{"key":"29_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/3-540-61377-3_43","volume-title":"Computer Science Logic","author":"Y Gurevich","year":"1996","unstructured":"Gurevich, Y., Huggins, J.K.: The railroad crossing problem: an experiment with instantaneous actions and immediate reactions. In: Kleine B\u00fcning, H. (ed.) CSL 1995. LNCS, vol. 1092, pp. 266\u2013290. Springer, Heidelberg (1996). \nhttps:\/\/doi.org\/10.1007\/3-540-61377-3_43"},{"key":"29_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-642-34059-8_21","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"EK Jackson","year":"2012","unstructured":"Jackson, E.K., Schulte, W.: Understanding specification languages through their model theory. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol. 7539, pp. 396\u2013415. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-34059-8_21"},{"key":"29_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-16612-9_11"},{"issue":"4","key":"29_CR21","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/s11334-009-0096-1","volume":"5","author":"H Liang","year":"2009","unstructured":"Liang, H., Dong, J.S., Sun, J., Wong, W.E.: Software monitoring through formal specification animation. ISSE 5(4), 231\u2013241 (2009). \nhttps:\/\/doi.org\/10.1007\/s11334-009-0096-1","journal-title":"ISSE"},{"key":"29_CR22","doi-asserted-by":"publisher","unstructured":"Moreno, G.A., C\u00e1mara, J., Garlan, D., Schmerl, B.R.: Proactive self-adaptation under uncertainty: a probabilistic model checking approach. In: Nitto, E.D., Harman, M., Heymans, P. (eds.) Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE 2015, Bergamo, Italy, 30 August\u20134 September 2015, pp. 1\u201312. ACM (2015). \nhttps:\/\/doi.org\/10.1145\/2786805.2786853","DOI":"10.1145\/2786805.2786853"},{"issue":"5s","key":"29_CR23","doi-asserted-by":"publisher","first-page":"178:1","DOI":"10.1145\/3126500","volume":"16","author":"S Pinisetty","year":"2017","unstructured":"Pinisetty, S., Roop, P.S., Smyth, S., Allen, N., Tripakis, S., von Hanxleden, R.: Runtime enforcement of cyber-physical systems. ACM Trans. Embed. Comput. Syst. 16(5s), 178:1\u2013178:25 (2017). \nhttps:\/\/doi.org\/10.1145\/3126500","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"29_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-030-48077-6_18","volume-title":"Rigorous State-Based Methods","author":"E Riccobene","year":"2020","unstructured":"Riccobene, E., Scandurra, P.: Exploring the concept of abstract state machines for system runtime enforcement. In: Raschke, A., M\u00e9ry, D., Houdek, F. (eds.) ABZ 2020. LNCS, vol. 12071, pp. 244\u2013247. Springer, Cham (2020). \nhttps:\/\/doi.org\/10.1007\/978-3-030-48077-6_18"},{"issue":"2","key":"29_CR25","doi-asserted-by":"publisher","first-page":"8:1","DOI":"10.1145\/3368087","volume":"14","author":"O Riganelli","year":"2019","unstructured":"Riganelli, O., Micucci, D., Mariani, L.: Controlling interactions with libraries in android apps through runtime enforcement. ACM Trans. Auton. Adapt. Syst. 14(2), 8:1\u20138:29 (2019). \nhttps:\/\/doi.org\/10.1145\/3368087","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"issue":"5","key":"29_CR26","doi-asserted-by":"publisher","first-page":"2821","DOI":"10.1007\/s10270-018-0700-7","volume":"18","author":"YV Tendeloo","year":"2019","unstructured":"Tendeloo, Y.V., Mierlo, S.V., Vangheluwe, H.: A multi-paradigm modelling approach to live modelling. Softw. Syst. Model. 18(5), 2821\u20132842 (2019). \nhttps:\/\/doi.org\/10.1007\/s10270-018-0700-7","journal-title":"Softw. Syst. Model."},{"key":"29_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-319-08915-7_11","volume-title":"Models@run.time","author":"M Trapp","year":"2014","unstructured":"Trapp, M., Schneider, D.: Safety assurance of open adaptive systems \u2013 a survey. In: Bencomo, N., France, R., Cheng, B.H.C., A\u00dfmann, U. (eds.) Models@run.time. LNCS, vol. 8378, pp. 279\u2013318. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-08915-7_11"},{"key":"29_CR28","doi-asserted-by":"publisher","unstructured":"Weyns, D., Iftikhar, M.U.: Model-based simulation at runtime for self-adaptive systems. In: Kounev, S., Giese, H., Liu, J. (eds.) 2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, 17\u201322 July 2016, pp. 364\u2013373. IEEE Computer Society (2016). \nhttps:\/\/doi.org\/10.1109\/ICAC.2016.67","DOI":"10.1109\/ICAC.2016.67"},{"key":"29_CR29","unstructured":"Weyns, D., Iftikhar, M.U.: ActivFORMS: a model-based approach to engineer self-adaptive systems. CoRR abs\/1908.11179 (2019). \nhttp:\/\/arxiv.org\/abs\/1908.11179"},{"issue":"1","key":"29_CR30","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1007\/s00170-018-1617-6","volume":"96","author":"C Zhuang","year":"2018","unstructured":"Zhuang, C., Liu, J., Xiong, H.: Digital twin-based smart production management and control framework for the complex product assembly shop-floor. Int. J. Adv. Manuf. Technol. 96(1), 1149\u20131163 (2018)","journal-title":"Int. J. Adv. Manuf. Technol."}],"container-title":["Communications in Computer and Information Science","Software Architecture"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-59155-7_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T20:10:18Z","timestamp":1599768618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-59155-7_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030591540","9783030591557"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-59155-7_29","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"7 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ECSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Software Architecture","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"L'Aquila","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ecsa2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ecsa2020.disim.univaq.it\/","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":"103","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":"18","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":"5","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":"17% - 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":"5","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":"4","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the Corona pandemic ECSA 2020 was held as a virtual event. ECSA 2020 Tracks and Workshops information: single-blind review, submissions: 72, full papers accepted: 30, short papers accepted: 9.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}