{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T09:59:47Z","timestamp":1770458387656,"version":"3.49.0"},"publisher-location":"Singapore","reference-count":40,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819517855","type":"print"},{"value":"9789819517862","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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-981-95-1786-2_5","type":"book-chapter","created":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T16:13:45Z","timestamp":1770394425000},"page":"83-101","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Uncertainty-Aware DevOps for\u00a0Cyber-Physical Systems and Runtime Verification"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9979-3519","authenticated-orcid":false,"given":"Shaukat","family":"Ali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4854-685X","authenticated-orcid":false,"given":"Domenico","family":"Bianculli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0416-1787","authenticated-orcid":false,"given":"Antonio","family":"Cicchetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1863-3987","authenticated-orcid":false,"given":"Robbert","family":"Jongeling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8763-5548","authenticated-orcid":false,"given":"Violet Ka I","family":"Pun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1031-6936","authenticated-orcid":false,"given":"Volker","family":"Stolz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7675-6942","authenticated-orcid":false,"given":"Catia","family":"Trubiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,2,7]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1016\/j.jss.2018.01.010","volume":"138","author":"A Aleti","year":"2018","unstructured":"A. Aleti, C. Trubiani, A. van Hoorn, P. Jamshidi, An efficient method for uncertainty propagation in robust software performance estimation. J. Syst. Softw. 138, 222\u2013235 (2018)","journal-title":"J. Syst. Softw."},{"issue":"2","key":"5_CR2","doi-asserted-by":"publisher","first-page":"883","DOI":"10.1109\/TSE.2022.3166626","volume":"49","author":"R Amaro","year":"2023","unstructured":"R. Amaro, R. Pereira, M.M. da Silva, Capabilities and practices in devops: a multivocal literature review. IEEE Trans. Softw. Eng. 49(2), 883\u2013901 (2023)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR3","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2020.106371","volume":"127","author":"P Arcaini","year":"2020","unstructured":"P. Arcaini, O. Inverso, C. Trubiani, Automated model-based performance analysis of software product lines under uncertainty. Inf. Softw. Technol. 127, 106371 (2020)","journal-title":"Inf. Softw. Technol."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"P.\u00a0Aroonvatanaporn, C.\u00a0Sinthop, B.\u00a0Boehm, Reducing estimation uncertainty with continuous assessment: tracking the cone of uncertainty, in Proceedings of the 25th IEEE\/ACM International Conference on Automated Software Engineering (2010), pp. 337\u2013340","DOI":"10.1145\/1858996.1859065"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"J.S. Betzer, J.\u00a0Boudjadar, M.\u00a0Frasheri, P.\u00a0Talasila, Digital twin enabled runtime verification for autonomous mobile robots under uncertainty, in 2024 28th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) (2024), pp. 10\u201317","DOI":"10.1109\/DS-RT62209.2024.00012"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"C.\u00a0Birchler, S.\u00a0Khatiri, P.\u00a0Rani, T.\u00a0Kehrer, S.\u00a0Panichella, A roadmap for simulation-based testing of autonomous cyber-physical systems: challenges and future direction (2025)","DOI":"10.1145\/3711906"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"C.\u00a0Birchler, T.K. Mohammed, P.\u00a0Rani, T.\u00a0Nechita, T.\u00a0Kehrer, S.\u00a0Panichella, How does simulation-based testing for self-driving cars match human perception? in ACM International Conference on the Foundations of Software Engineering (2024)","DOI":"10.1145\/3643768"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"N.\u00a0Bosch, J.\u00a0Bosch, Software logs for machine learning in a devops environment, in 46th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2020 (IEEE, 2020), pp. 29\u201333","DOI":"10.1109\/SEAA51224.2020.00016"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"M.\u00a0Camilli, A.\u00a0Gargantini, P.\u00a0Scandurra, C.\u00a0Trubiani, Uncertainty-aware exploration in model-based testing, in Proceedings of the International Conference on Software Testing, Verification and Validation (ICST) (2021), pp. 71\u201381","DOI":"10.1109\/ICST49551.2021.00019"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"A. Capizzi, S. Distefano, L.J.P. Ara\u00fajo, M. Mazzara, M. Ahmad, E. Bobrov, Anomaly detection in DevOps toolchain, in Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment. ed. by J.-M. Bruel, M. Mazzara, B. Meyer (Springer International Publishing, Cham, 2020), pp. 37\u201351","DOI":"10.1007\/978-3-030-39306-9_3"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"J.\u00a0Cederbladh, A.\u00a0Cicchetti, J.\u00a0Suryadevara, Early validation and verification of system behaviour in model-based systems engineering: a systematic literature review. ACM Trans. Softw. Eng. Methodol. (2023)","DOI":"10.1145\/3631976"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"B. Combemale, J. Gray, J.-M. J\u00e9z\u00e9quel, B. Rumpe, How does your model represent the system? a note on model fidelity, underspecification, and uncertainty. Softw. Syst. Model. 23(5), 1053\u20131054 (2024)","DOI":"10.1007\/s10270-024-01210-z"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"J.\u00a0Dawes, D.\u00a0Bianculli, Checking complex source code-level constraints using runtime verification, in Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE Companion \u201924) (ACM, 2024), pp. 255\u2013265","DOI":"10.1145\/3663529.3663845"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"M. De Sanctis, A. Bucchiarone, C. Trubiani, A DevOps perspective for QoS-aware adaptive applications, in Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment. ed. by J.-M. Bruel, M. Mazzara, B. Meyer (Springer International Publishing, Cham, 2020), pp. 95\u2013111","DOI":"10.1007\/978-3-030-39306-9_7"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"A.\u00a0Di\u00a0Sorbo, F.\u00a0Zampetti, A.\u00a0Visaggio, M.\u00a0Di\u00a0Penta, S.\u00a0Panichella, Automated identification and qualitative characterization of safety concerns reported in uav software platforms. ACM Trans. Softw. Eng. Methodol. 32(3) (2023)","DOI":"10.1145\/3564821"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"100283","DOI":"10.1109\/ACCESS.2019.2930000","volume":"7","author":"J D\u00edaz","year":"2019","unstructured":"J. D\u00edaz, J.E. P\u00e9rez, M.A.L. Pe\u00f1a, G.A. Mena, A. Yag\u00fce, Self-service cybersecurity monitoring as enabler for DevSecOps. IEEE Access 7, 100283\u2013100295 (2019)","journal-title":"IEEE Access"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"A.\u00a0Filaseta, D.\u00a0Pianini, A.\u00a0Cortecchia, An architecture and prototype for monitoring distributed simulations of distributed systems, in 2024 28th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) (2024), pp. 158\u2013165","DOI":"10.1109\/DS-RT62209.2024.00037"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"N. Forsgren, M.C. Tremblay, D.E. VanderMeer, J. Humble, DORA platform: Devops assessment and benchmarking, in Designing the Digital Transformation, DESRIST 2017. ed. by A. Maedche, J. vom Brocke, A.R. Hevner. Volume 10243 of Lecture Notes in Computer Science. (Springer, Berlin, 2017), pp. 436\u2013440","DOI":"10.1007\/978-3-319-59144-5_27"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"J.\u00a0Galarraga, A.\u00a0Arrieta, S.\u00a0Ali, G.\u00a0Sagardui, M.\u00a0Arratibel. Genetic algorithm-based testing of industrial elevators under passenger uncertainty, in 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (2021), pp. 353\u2013358","DOI":"10.1109\/ISSREW53611.2021.00101"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"S.\u00a0Gautham, G.\u00a0Bakirtzis, A.\u00a0Will, A.V. Jayakumar, C.R. Elks, Stpa-driven multilevel runtime monitoring for in-time hazard detection, in Computer Safety, Reliability, and Security (Springer International Publishing, Cham, 2022), pp. 158\u2013172","DOI":"10.1007\/978-3-031-14835-4_11"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/s11219-016-9324-8","volume":"24","author":"M Goul\u00e3o","year":"2016","unstructured":"M. Goul\u00e3o, V. Amaral, M. Mernik, Quality in model-driven engineering: a tertiary study. Softw. Qual. J. 24, 601\u2013633 (2016)","journal-title":"Softw. Qual. J."},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"P.\u00a0Haindl, R.\u00a0Pl\u00f6sch, Focus areas, themes, and objectives of non-functional requirements in devops: A systematic mapping study, in Euromicro Conference on Software Engineering and Advanced Applications (SEAA) (2020), pp. 394\u2013403","DOI":"10.1109\/SEAA51224.2020.00071"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"L.\u00a0Han, T.\u00a0Yue, S.\u00a0Ali, A.\u00a0Arrieta, M.\u00a0Arratibel, Are elevator software robust against uncertainties? results and experiences from an industrial case study. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE 2022, Association for Computing Machinery, New York, NY, USA, 2022), pp. 1331\u20131342","DOI":"10.1145\/3540250.3558955"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"R.\u00a0Heldal, P.\u00a0Pelliccione, U.\u00a0Eliasson, J.\u00a0Lantz, J.\u00a0Derehag, J.\u00a0Whittle, Descriptive vs prescriptive models in industry, in Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS \u201916 (Association for Computing Machinery, New York, NY, USA, 2016), pp. 216\u2013226","DOI":"10.1145\/2976767.2976808"},{"issue":"4","key":"5_CR25","doi-asserted-by":"publisher","first-page":"1511","DOI":"10.1007\/s10270-022-01000-5","volume":"21","author":"R Jongeling","year":"2022","unstructured":"R. Jongeling, F. Ciccozzi, J. Carlson, A. Cicchetti, Consistency management in industrial continuous model-based development settings: a reality check. Softw. Syst. Model. 21(4), 1511\u20131530 (2022)","journal-title":"Softw. Syst. Model."},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"R.\u00a0Jongeling, A.\u00a0Vallecillo, Uncertainty-aware consistency checking in industrial settings, in2023 ACM\/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2023), pp. 73\u201383","DOI":"10.1109\/MODELS58315.2023.00026"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"A.\u00a0J\u00f8sang, D.\u00a0Wang, J.\u00a0Zhang, Multi-source fusion in subjective logic, in Proceedings of FUSION\u201917 (IEEE, 2017), pp. 1\u20138","DOI":"10.23919\/ICIF.2017.8009820"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"S.\u00a0Khatiri, F.M. Amin, S.\u00a0Panichella, P.\u00a0Tonella, When uncertainty leads to unsafety. empirical insights into the role of uncertainty in unmanned aerial vehicle safety. Empirical Softw. Eng. (2025)","DOI":"10.1007\/s10664-025-10697-z"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"S.\u00a0Khatiri, S.\u00a0Panichella, P.\u00a0Tonella, Simulation-based test case generation for unmanned aerial vehicles in the neighborhood of real flights, in International Conference on Software Testing, Verification and Validation (IEEE, 2023), pp. 281\u2013292","DOI":"10.1109\/ICST57152.2023.00034"},{"key":"5_CR30","doi-asserted-by":"publisher","DOI":"10.1016\/j.softx.2024.101748","volume":"27","author":"S Khatiri","year":"2024","unstructured":"S. Khatiri, A.D. Sorbo, F. Zampetti, C.A. Visaggio, M.D. Penta, S. Panichella, Identifying safety-critical concerns in unmanned aerial vehicle software platforms with SALIENT. SoftwareX 27, 101748 (2024)","journal-title":"SoftwareX"},{"issue":"3","key":"5_CR31","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1147\/sj.423.0462","volume":"42","author":"CF Kurtz","year":"2003","unstructured":"C.F. Kurtz, D.J. Snowden, The new dynamics of strategy: sense-making in a complex and complicated world. IBM Syst. J. 42(3), 462\u2013483 (2003)","journal-title":"IBM Syst. J."},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"N.\u00a0Laxman, M.\u00a0Schweizer, J.\u00a0Reich, Employing field monitoring and runtime safety verification for cumulative operational safety assurance in a safetydevops process, in 2024 8th International Conference on System Reliability and Safety (ICSRS) (2024), pp. 545\u2013549","DOI":"10.1109\/ICSRS63046.2024.10927424"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Z.\u00a0Li, W.\u00a0Liu, H.\u00a0Chen, X.\u00a0Wang, X.\u00a0Liao, L.\u00a0Xing, M.\u00a0Zha, H.\u00a0Jin, D.\u00a0Zou, Robbery on devops: Understanding and mitigating illicit cryptomining on continuous integration service platforms, in 43rd IEEE Symposium on Security and Privacy, SP 2022 (IEEE, 2022), pp. 2397\u20132412","DOI":"10.1109\/SP46214.2022.9833803"},{"key":"5_CR34","doi-asserted-by":"publisher","first-page":"1903","DOI":"10.1007\/s10664-016-9469-x","volume":"22","author":"T Menzies","year":"2017","unstructured":"T. Menzies, W. Nichols, F. Shull, L. Layman, Are delayed issues harder to resolve? Revisiting cost-to-fix of defects throughout the lifecycle. Empir. Softw. Eng. 22, 1903\u20131935 (2017)","journal-title":"Empir. Softw. Eng."},{"issue":"3","key":"5_CR35","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/S0951-8320(01)00120-X","volume":"75","author":"WL Oberkampf","year":"2002","unstructured":"W.L. Oberkampf, S.M. DeLand, B.M. Rutherford, K.V. Diegert, K.F. Alvin, Error and uncertainty in modeling and simulation. Reliab. Eng. Syst. Saf. 75(3), 333\u2013357 (2002)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"R. Pinciroli, R. Mirandola, C. Trubiani, Modular quality-of-service analysis of software design models for cyber-physical systems, in Proceedings of International Conference of Advanced Information Systems Engineering (CAiSE), vol. 13901, ed. by M. Indulska, I. Reinhartz-Berger, C. Cetina, O. Pastor (2023), pp. 88\u2013104","DOI":"10.1007\/978-3-031-34560-9_6"},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"S.D.C. Saratha, C.\u00a0Grimm, F.\u00a0Wawrzik, A digital twin with runtime-verification for industrial development-operation integration, in 2021 IEEE International Conference on Engineering, Technology and Innovation (ICE\/ITMC) (2021), pp. 1\u20139","DOI":"10.1109\/ICE\/ITMC52061.2021.9570222"},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"D.\u00a0Teixeira, R.\u00a0Pereira, T.\u00a0Henriques, M.M.D. Silva, J.A. Faustino, M.\u00a0Silva, A maturity model for DevOps. Int. J. Agile Syst. Manag. 13(4), 464\u2013511 (2020)","DOI":"10.1504\/IJASM.2020.112343"},{"issue":"2","key":"5_CR39","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1109\/MS.2018.2875989","volume":"36","author":"C Trubiani","year":"2019","unstructured":"C. Trubiani, P. Jamshidi, J. Cito, W. Shang, Z.M. Jiang, M. Borg, Performance issues? Hey DevOps, mind the uncertainty. IEEE Softw. 36(2), 110\u2013117 (2019)","journal-title":"IEEE Softw."},{"key":"5_CR40","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111425","volume":"192","author":"F Zampetti","year":"2022","unstructured":"F. Zampetti, R. Kapur, M. Di Penta, S. Panichella, An empirical characterization of software bugs in open-source cyber\u2013physical systems. J. Syst. Softw. 192, 111425 (2022)","journal-title":"J. Syst. Softw."}],"container-title":["Roadmap for DevOps in Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-95-1786-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T16:13:51Z","timestamp":1770394431000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-1786-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9789819517855","9789819517862"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-1786-2_5","relation":{},"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"7 February 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}