{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T10:05:08Z","timestamp":1781172308191,"version":"3.54.1"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030860431","type":"print"},{"value":"9783030860448","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"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":[[2021]]},"DOI":"10.1007\/978-3-030-86044-8_2","type":"book-chapter","created":{"date-parts":[[2021,8,25]],"date-time":"2021-08-25T08:03:37Z","timestamp":1629878617000},"page":"20-36","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Runtime Safety Enforcement Approach by Monitoring and Adaptation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9679-4551","authenticated-orcid":false,"given":"Silvia","family":"Bonfanti","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1400-1026","authenticated-orcid":false,"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9209-3624","authenticated-orcid":false,"given":"Patrizia","family":"Scandurra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,8,26]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-319-67531-2_5","volume-title":"Runtime Verification","author":"B Andersson","year":"2017","unstructured":"Andersson, B., Chaki, S., de Niz, D.: Combining symbolic runtime enforcers for cyber-physical systems. In: Lahiri, S., Reger, G. (eds.) RV 2017. LNCS, vol. 10548, pp. 68\u201384. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67531-2_5"},{"issue":"4","key":"2_CR2","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/s00607-020-00874-x","volume":"103","author":"J Andersson","year":"2020","unstructured":"Andersson, J., Grassi, V., Mirandola, R., Perez-Palacin, D.: A conceptual framework for resilience: fundamental definitions, strategies and metrics. Computing 103(4), 559\u2013588 (2020)","journal-title":"Computing"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-030-76020-5_13","volume-title":"Logic, Computation and Rigorous Methods","author":"P Arcaini","year":"2021","unstructured":"Arcaini, P., Bombarda, A., Bonfanti, S., Gargantini, A., Riccobene, E., Scandurra, P.: The ASMETA approach to safety assurance of software systems. In: Raschke, A., Riccobene, E., Schewe, K.-D. (eds.) Logic, Computation and Rigorous Methods. LNCS, vol. 12750, pp. 215\u2013238. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-76020-5_13"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"110558","DOI":"10.1016\/j.jss.2020.110558","volume":"164","author":"P Arcaini","year":"2020","unstructured":"Arcaini, P., Mirandola, R., Riccobene, E., Scandurra, P.: MSL: a pattern language for engineering self-adaptive systems. J. Syst. Softw. 164, 110558 (2020)","journal-title":"J. Syst. Softw."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Arcaini, P., Riccobene, E., Scandurra, P.: Modeling and analyzing MAPE-K feedback loops for self-adaptation. In: Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM (2015)","DOI":"10.1109\/SEAMS.2015.10"},{"issue":"4","key":"2_CR6","doi-asserted-by":"publisher","first-page":"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), 1\u201335 (2017)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-030-29852-4_7","volume-title":"Software Technology: Methods and Tools","author":"A Bombarda","year":"2019","unstructured":"Bombarda, A., Bonfanti, S., Gargantini, A.: Developing medical devices from abstract state machines to embedded systems: a smart pill box case study. In: Mazzara, M., Bruel, J.-M., Meyer, B., Petrenko, A. (eds.) TOOLS 2019. LNCS, vol. 11771, pp. 89\u2013103. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29852-4_7"},{"issue":"2","key":"2_CR8","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)","journal-title":"J. Softw. Evol. Process"},{"key":"2_CR9","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). https:\/\/doi.org\/10.1007\/978-3-662-56641-1"},{"issue":"11","key":"2_CR10","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":"2_CR11","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). https:\/\/doi.org\/10.1007\/978-3-642-21292-5_7"},{"issue":"2","key":"2_CR12","doi-asserted-by":"crossref","first-page":"e1730","DOI":"10.1002\/stvr.1730","volume":"30","author":"M Camilli","year":"2020","unstructured":"Camilli, M., Gargantini, A., Scandurra, P.: Model-based hypothesis testing of uncertain software systems. Softw. Test. Verification Reliab. 30(2), e1730 (2020)","journal-title":"Softw. Test. Verification Reliab."},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Desai, A., Ghosh, S., Seshia, S.A., Shankar, N., Tiwari, A.: SOTER: a runtime assurance framework for programming safe robotics systems. In: 49th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (2019)","DOI":"10.1109\/DSN.2019.00027"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Erlingsson, U., Schneider, F.B.: SASI enforcement of security policies: a retrospective. In: Proceedings of the 1999 Workshop on New Security Paradigms. NSPW 1999. Association for Computing Machinery (1999)","DOI":"10.1145\/335169.335201"},{"key":"2_CR15","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). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_4"},{"issue":"3","key":"2_CR16","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s10703-011-0114-4","volume":"38","author":"Y Falcone","year":"2011","unstructured":"Falcone, Y., Mounier, L., Fernandez, J., Richier, J.: Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods Syst. Des. 38(3), 223\u2013262 (2011)","journal-title":"Formal Methods Syst. Des."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Fernandez, E.B., Hamid, B.: Two safety patterns: safety assertion and safety assertion enforcer. In: Proceedings of the 22nd European Conference on Pattern Languages of Programs. EuroPLoP 2017. Association for Computing Machinery (2017)","DOI":"10.1145\/3147704.3147737"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-0-387-89828-5_2","volume-title":"Autonomic Computing and Networking","author":"D Garlan","year":"2009","unstructured":"Garlan, D., Schmerl, B.R., Cheng, S.: Software architecture-based self-adaptation. In: Zhang, Y., Yang, L., Denko, M. (eds.) Autonomic Computing and Networking, pp. 31\u201355. Springer, Boston (2009). https:\/\/doi.org\/10.1007\/978-0-387-89828-5_2"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"He, Y., Schumann, J.: A framework for the analysis of adaptive systems using Bayesian statistics. In: Proceedings of the IEEE\/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (2020)","DOI":"10.1145\/3387939.3391596"},{"issue":"1","key":"2_CR20","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41\u201350 (2003)","journal-title":"Computer"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Lutz, R.R.: Software engineering for safety: a roadmap. In: Proceedings of the Conference on the Future of Software Engineering. ICSE 2000. Association for Computing Machinery (2000)","DOI":"10.1145\/336512.336556"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"de Niz, D., Andersson, B., Moreno, G.: Safety enforcement for the verification of autonomous systems. In: Dudzik, M.C., Ricklin, J.C. (eds.) Autonomous Systems: Sensors, Vehicles, Security, and the Internet of Everything, vol. 10643. International Society for Optics and Photonics, SPIE (2018)","DOI":"10.1117\/12.2307575"},{"issue":"6","key":"2_CR23","doi-asserted-by":"publisher","first-page":"1077","DOI":"10.1007\/s00165-013-0289-0","volume":"26","author":"E Riccobene","year":"2014","unstructured":"Riccobene, E., Scandurra, P.: A formal framework for service modeling and prototyping. Formal Aspects Comput. 26(6), 1077\u20131113 (2014)","journal-title":"Formal Aspects Comput."},{"key":"2_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). https:\/\/doi.org\/10.1007\/978-3-030-48077-6_18"},{"key":"2_CR25","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/978-3-030-59155-7_29","volume-title":"Software Architecture","author":"E Riccobene","year":"2020","unstructured":"Riccobene, E., Scandurra, P.: Model-based simulation at runtime with abstract state machines. In: Muccini, H., et al. (eds.) ECSA 2020. CCIS, vol. 1269, pp. 395\u2013410. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59155-7_29"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Riganelli, O., Micucci, D., Mariani, L.: Policy enforcement with proactive libraries. In: 12th IEEE\/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems. IEEE Computer Society (2017)","DOI":"10.1109\/SEAMS.2017.9"},{"issue":"2","key":"2_CR27","doi-asserted-by":"publisher","first-page":"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), 1\u201329 (2019)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"2_CR28","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). https:\/\/doi.org\/10.1007\/978-3-319-08915-7_11"},{"key":"2_CR29","doi-asserted-by":"crossref","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. IEEE Computer Society (2016)","DOI":"10.1109\/ICAC.2016.67"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Wu, M., Zeng, H., Wang, C., Yu, H.: Safety guard: runtime enforcement for safety-critical cyber-physical systems: invited. In: Proceedings of the 54th Annual Design Automation Conference. ACM (2017)","DOI":"10.1145\/3061639.3072957"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-86044-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,7]],"date-time":"2023-11-07T21:05:06Z","timestamp":1699391106000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-86044-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030860431","9783030860448"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-86044-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"26 August 2021","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":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ecsa2021","order":10,"name":"conference_id","label":"Conference ID","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":"68","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":"16","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":"24% - 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":"2","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)"}}]}}