{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,22]],"date-time":"2026-06-22T13:21:54Z","timestamp":1782134514852,"version":"3.54.5"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031818998","type":"print"},{"value":"9783031819001","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,12,29]],"date-time":"2024-12-29T00:00:00Z","timestamp":1735430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,29]],"date-time":"2024-12-29T00:00:00Z","timestamp":1735430400000},"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-81900-1_12","type":"book-chapter","created":{"date-parts":[[2024,12,28]],"date-time":"2024-12-28T17:44:32Z","timestamp":1735407872000},"page":"189-206","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Actuation Conflict Management in\u00a0Internet of\u00a0Things Systems DevOps: A Discrete Event Modeling and Simulation Approach"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Capocchi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9143-532X","authenticated-orcid":false,"given":"Jean-Francois","family":"Santucci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0531-6384","authenticated-orcid":false,"given":"Jean-Yves","family":"Tigli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thibault","family":"Gomnin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3341-6577","authenticated-orcid":false,"given":"Stephane","family":"Lavirotte","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3874-6276","authenticated-orcid":false,"given":"Gerald","family":"Rocher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,12,29]]},"reference":[{"key":"12_CR1","unstructured":"Al Farooq, A., Al-Shaer, E., Moyer, T., Kant, K.: IoTC2: a formal method approach for detecting conflicts in large scale IoT systems. In: 2019 IFIP\/IEEE Symposium on Integrated Network and Service Management (IM), pp. 442\u2013447 (2019)"},{"key":"12_CR2","unstructured":"Capocchi, L.: DEVSimPy. https:\/\/github.com\/capocchi\/DEVSimPy. Accessed 10 Oct 2019"},{"key":"12_CR3","doi-asserted-by":"publisher","unstructured":"Capocchi, L., Santucci, J.F., Tigli, J.Y., Gonnin, T., Lavirotte, S., Rocher, G.: A new discrete-event simulation based approach for validating actuation conflict management in IoT systems. In: 2021 Annual Modeling and Simulation Conference (ANNSIM), pp. 1\u201312 (2021). https:\/\/doi.org\/10.23919\/ANNSIM52504.2021.9552098","DOI":"10.23919\/ANNSIM52504.2021.9552098"},{"key":"12_CR4","unstructured":"Clarke\u00a0Jr, E.M., Grumberg, O., Kroening, D., Peled, D., Veith, H.: Model Checking. MIT Press (2018)"},{"issue":"1","key":"12_CR5","doi-asserted-by":"publisher","DOI":"10.1016\/j.hcc.2021.100004","volume":"1","author":"Z Fang","year":"2021","unstructured":"Fang, Z., et al.: A model checking-based security analysis framework for IoT systems. High-Confidence Comput. 1(1), 100004 (2021). https:\/\/doi.org\/10.1016\/j.hcc.2021.100004","journal-title":"High-Confidence Comput."},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-030-06019-0_9","volume-title":"Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment","author":"N Ferry","year":"2019","unstructured":"Ferry, N., et al.: ENACT: development, operation, and quality assurance of trustworthy smart IoT systems. In: Bruel, J.-M., Mazzara, M., Meyer, B. (eds.) DEVOPS 2018. LNCS, vol. 11350, pp. 112\u2013127. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-06019-0_9"},{"key":"12_CR7","doi-asserted-by":"publisher","unstructured":"Huang, B., Chaki, D., Bouguettaya, A., Lam, K.Y.: A survey on conflict detection in IoT-based smart homes. ACM Comput. Surv. 56(5) (2023). https:\/\/doi.org\/10.1145\/3629517","DOI":"10.1145\/3629517"},{"key":"12_CR8","doi-asserted-by":"publisher","unstructured":"Pradeep, P., Kant, K.: Conflict detection and resolution in IoT systems: a survey. IoT 3(1), 191\u2013218 (2022). https:\/\/doi.org\/10.3390\/iot3010012. https:\/\/www.mdpi.com\/2624-831X\/3\/1\/12","DOI":"10.3390\/iot3010012"},{"key":"12_CR9","doi-asserted-by":"publisher","unstructured":"Rocher, G., et al.: An actuation conflicts management flow for smart IoT-based systems. In: 2020 7th International Conference on Internet of Things: Systems, Management and Security (IOTSMS), pp.\u00a01\u20138 (2020). https:\/\/doi.org\/10.1109\/IOTSMS52051.2020.9340196","DOI":"10.1109\/IOTSMS52051.2020.9340196"},{"key":"12_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0109998","volume-title":"An Introduction to Hybrid Dynamical Systems","author":"AJ Van Der Schaft","year":"2000","unstructured":"Van Der Schaft, A.J., Schumacher, J.M.: An Introduction to Hybrid Dynamical Systems, vol. 251. Springer, London (2000)"},{"key":"12_CR11","doi-asserted-by":"publisher","unstructured":"Zeigler, B.: DEVS-based building blocks and architectural patterns for intelligent hybrid cyberphysical system design. Information 12(12) (2021). https:\/\/doi.org\/10.3390\/info12120531. https:\/\/www.mdpi.com\/2078-2489\/12\/12\/531","DOI":"10.3390\/info12120531"},{"key":"12_CR12","unstructured":"Zeigler, B.P., Muzy, A., Kofman, E.: Theory of Modeling and Simulation: Discrete Event & Iterative System Computational Foundations. Academic Press (2018)"},{"key":"12_CR13","unstructured":"Zheng, T., Wainer, G.A.: Implementing finite state machines using the CD++ toolkit. In: Proceedings of the SCS Summer Computer Simulation Conference, 2003. atomic model, 1 CD++, 1 coupled model, 1 DEVS, 1 DEVS Graph, 1 discrete-event modeling. Citeseer (2003)"}],"container-title":["IFIP Advances in Information and Communication Technology","Internet of Things"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-81900-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,28]],"date-time":"2024-12-28T18:02:41Z","timestamp":1735408961000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-81900-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,29]]},"ISBN":["9783031818998","9783031819001"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-81900-1_12","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"value":"1868-4238","type":"print"},{"value":"1868-422X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12,29]]},"assertion":[{"value":"29 December 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IFIPIoT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Internet of Things Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nice","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","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":"7 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ifipiot2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ifip-iotconference.org\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}