{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:57:13Z","timestamp":1757627833265,"version":"3.44.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032009418"},{"type":"electronic","value":"9783032009425"}],"license":[{"start":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T00:00:00Z","timestamp":1756339200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T00:00:00Z","timestamp":1756339200000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-00942-5_11","type":"book-chapter","created":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T12:03:48Z","timestamp":1756296228000},"page":"203-221","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Ensuring Integration Conditions During the\u00a0Update of\u00a0Cyber-Physical Systems at\u00a0Runtime"],"prefix":"10.1007","author":[{"given":"Janis","family":"Kr\u00f6ger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingo","family":"Stierand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Fr\u00e4nzle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,28]]},"reference":[{"key":"11_CR1","unstructured":"AUTOSAR: Guide to mode management (2022). https:\/\/www.autosar.org"},{"key":"11_CR2","unstructured":"AUTOSAR: Specification of update and configuration management. Technical report, AP R22-11 (2022)"},{"key":"11_CR3","doi-asserted-by":"publisher","unstructured":"Bebawy, Y., et al.: Incremental contract-based verification of software updates for safety-critical cyber-physical systems. In: 2020 International Conference on Computational Science and Computational Intelligence (CSCI). IEEE (2020). https:\/\/doi.org\/10.1109\/CSCI51800.2020.00318","DOI":"10.1109\/CSCI51800.2020.00318"},{"key":"11_CR4","unstructured":"Becker, J.S., Koopmann, B., Stierand, I., Westhofen, L.: Providing evidence for correct and timely functioning of software safety mechanisms. In: Software Engineering 2023 Workshops, pp. 66\u201377. Gesellschaft f\u00fcr Informatik eV (2023)"},{"issue":"2\u20133","key":"11_CR5","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1561\/1000000053","volume":"12","author":"A Benveniste","year":"2018","unstructured":"Benveniste, A., et al.: Contracts for System Design. Found. Trends Electron. Des. Autom. 12(2\u20133), 124\u2013400 (2018). https:\/\/doi.org\/10.1561\/1000000053","journal-title":"Found. Trends Electron. Des. Autom."},{"key":"11_CR6","unstructured":"B\u00f6de, E., et al.: MULTIC-tooling. In: FAT Series, No.\u00a0316, Research Association for Automotive Technology (2019). https:\/\/www.vda.de\/vda\/de\/aktuelles\/publikationen\/publication\/fat-schriftenreihe-316"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Bu, L., Xing, S., Ren, X., Yang, Y., Wang, Q., Li, X.: Incremental online verification of dynamic cyber-physical systems. In: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 782\u2013787. IEEE (2019)","DOI":"10.23919\/DATE.2019.8715003"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Cheng, Z., Tisi, M.: Incremental deductive verification for relational model transformations. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 379\u2013389. IEEE (2017)","DOI":"10.1109\/ICST.2017.41"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-13754-9_6","volume-title":"Time for Verification","author":"W Damm","year":"2010","unstructured":"Damm, W., Dierks, H., Oehlerking, J., Pnueli, A.: Towards component based design of hybrid systems: safety and stability. In: Manna, Z., Peled, D.A. (eds.) Time for Verification. LNCS, vol. 6200, pp. 96\u2013143. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13754-9_6"},{"key":"11_CR10","doi-asserted-by":"publisher","unstructured":"Damm, W., Hungar, H., Josko, B., Peikenkamp, T., Stierand, I.: Using contract-based component specifications for virtual integration testing and architecture design. In: 2011 Design, Automation & Test in Europe, pp. 1023\u20131028. IEEE (2011). https:\/\/doi.org\/10.1109\/DATE.2011.5763167","DOI":"10.1109\/DATE.2011.5763167"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Geisberger, E., Broy, M.: Cyber-physical systems: visionen, charakteristika und neue f\u00e4higkeiten. agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems, pp. 29\u201368 (2012)","DOI":"10.1007\/978-3-642-29099-2_2"},{"key":"11_CR12","doi-asserted-by":"publisher","unstructured":"Ghezzi, C., Greenyer, J., Manna, V.P.L.: Synthesizing dynamically updating controllers from changes in scenario-based specifications. In: 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 145\u2013154 (2012). https:\/\/doi.org\/10.1109\/SEAMS.2012.6224401","DOI":"10.1109\/SEAMS.2012.6224401"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"G\u00f6ttmann, H., Caesar, B., Beers, L., Lochau, M., Sch\u00fcrr, A., Fay, A.: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games. Softw. Syst. Model. 1\u201331 (2024)","DOI":"10.1007\/s10270-024-01195-9"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"57696","DOI":"10.1109\/ACCESS.2022.3176879","volume":"10","author":"H Guissouma","year":"2022","unstructured":"Guissouma, H., Hohl, C.P., Lesniak, F., Schindewolf, M., Becker, J., Sax, E.: Lifecycle management of automotive safety-critical over the air updates: a systems approach. IEEE Access 10, 57696\u201357717 (2022)","journal-title":"IEEE Access"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Guissouma, H., Klare, H., Sax, E., Burger, E.: An empirical study on the current and future challenges of automotive software release and configuration management. In: 2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp. 298\u2013305. IEEE (2018)","DOI":"10.1109\/SEAA.2018.00056"},{"issue":"7","key":"11_CR16","doi-asserted-by":"publisher","first-page":"688","DOI":"10.3390\/jmse9070688","volume":"9","author":"G Hake","year":"2021","unstructured":"Hake, G., Hohl, C.P., Hahn, A.: Continuous contract based verification of updates in maritime shipboard equipment. J. Mar. Sci. Eng. 9(7), 688 (2021)","journal-title":"J. Mar. Sci. Eng."},{"issue":"3","key":"11_CR17","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Jabbari, R., bin Ali, N., Petersen, K., Tanveer, B.: What is devops? A systematic mapping study on definitions and practices. In: Proceedings of the Scientific Workshop Proceedings of XP2016, pp. 1\u201311 (2016)","DOI":"10.1145\/2962695.2962707"},{"key":"11_CR19","unstructured":"Ketfi, A., Belkhatir, N., Cunin, P.Y.: Dynamic updating of component-based applications. In: SERP 2002 (2002)"},{"key":"11_CR20","unstructured":"Kr\u00f6ger, J., Fr\u00e4nzle, M.: Updates at runtime for cyber physical systems. A game theoretic approach. In: Software Engineering 2023 Workshops, pp. 54\u201365. Gesellschaft f\u00fcr Informatik eV (2023)"},{"key":"11_CR21","unstructured":"Kr\u00f6ger, J., Fr\u00e4nzle, M.: Mode management in contract-based design. In: SE 2024-Companion, pp. 31\u201342. Gesellschaft f\u00fcr Informatik eV (2024)"},{"issue":"1","key":"11_CR22","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s11334-023-00531-4","volume":"20","author":"J Kr\u00f6ger","year":"2024","unstructured":"Kr\u00f6ger, J., Koopmann, B., Stierand, I., Fr\u00e4nzle, M.: Contract-based specification of mode-dependent timing behavior. Innov. Syst. Softw. Eng. 20(1), 31\u201347 (2024). https:\/\/doi.org\/10.1007\/s11334-023-00531-4","journal-title":"Innov. Syst. Softw. Eng."},{"key":"11_CR23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.07.083","volume":"157","author":"WP Luz","year":"2019","unstructured":"Luz, W.P., Pinto, G., Bonif\u00e1cio, R.: Adopting devops in the real world: a theory, a model, and a case study. J. Syst. Softw. 157, 110384 (2019)","journal-title":"J. Syst. Softw."},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Munk, P., Schweizer, M.: Devops and safety? Safeops! towards ensuring safety in feature-driven development with frequent releases. In: Trapp, M., Schoitsch, E., Guiochet, J., Bitsch, F. (eds.) Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, pp. 145\u2013157. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-14862-0_11"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Nguyen, T.N.: Component-based software update process in collaborative software development. In: 2008 15th Asia-Pacific Software Engineering Conference, pp. 437\u2013444. IEEE (2008)","DOI":"10.1109\/APSEC.2008.74"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Oertel, M., Rettberg, A.: Reducing re-verification effort by requirement-based change management. In: International Embedded Systems Symposium, pp. 104\u2013115. Springer, Cham (2013)","DOI":"10.1007\/978-3-642-38853-8_10"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Panzica La\u00a0Manna, V.: Dynamic software update for component-based distributed systems. In: Proceedings of the 16th International Workshop on Component-Oriented Programming, pp.\u00a01\u20138 (2011)","DOI":"10.1145\/2000292.2000294"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Panzica La\u00a0Manna, V.: Local dynamic update for component-based distributed systems. In: Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, pp. 167\u2013176 (2012)","DOI":"10.1145\/2304736.2304764"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Rakow, A., Kr\u00f6ger, J.: Roles and responsibilities for a predictable update process\u2013a position paper. In: International Conference on Verification and Evaluation of Computer and Communication Systems, pp. 17\u201326. Springer, Cham (2021)","DOI":"10.1007\/978-3-030-98850-0_2"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Strathmann, T., et al.: Project overview for step-up! CPS-process, methods and technologies for updating safety-critical cyber-physical systems. In: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 1326\u20131329. IEEE (2021)","DOI":"10.23919\/DATE51398.2021.9474032"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Yarza, I., Agirre, I., Mugarza, I., Nitsche, G., Uven, P., Orbegozo, J.M.: Towards a contract-based definition of update-compatibility\u2013modelling safety integration criteria. In: 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC), pp. 710\u2013717. IEEE (2023)","DOI":"10.1109\/ITSC57777.2023.10422590"},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Zeller, M.: Towards continuous safety assessment in context of devops. In: Habli, I., Sujan, M., Gerasimou, S., Schoitsch, E., Bitsch, F. (eds.) Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, pp. 145\u2013157. Springer, Cham (2021)","DOI":"10.1007\/978-3-030-83906-2_11"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-00942-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T04:41:50Z","timestamp":1757479310000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-00942-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,28]]},"ISBN":["9783032009418","9783032009425"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-00942-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,28]]},"assertion":[{"value":"28 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aarhus","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 August 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 August 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/FMICS2025.uni-muenster.de","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}