{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,26]],"date-time":"2025-04-26T18:04:36Z","timestamp":1745690676825,"version":"3.40.4"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031853555","type":"print"},{"value":"9783031853562","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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-85356-2_13","type":"book-chapter","created":{"date-parts":[[2025,4,16]],"date-time":"2025-04-16T11:44:34Z","timestamp":1744803874000},"page":"189-204","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards a\u00a0Model for\u00a0Energy-Efficient and\u00a0Flexible IoT Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-7127-5222","authenticated-orcid":false,"given":"Yassmine","family":"Gara Hellal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1920-1825","authenticated-orcid":false,"given":"Lazhar","family":"Hamel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0482-7254","authenticated-orcid":false,"given":"Mohamed","family":"Graiet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,4,17]]},"reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-030-65310-1_23","volume-title":"Service-Oriented Computing","author":"G Rjoub","year":"2020","unstructured":"Rjoub, G., Abdel Wahab, O., Bentahar, J., Bataineh, A.: A trust and energy-aware double deep reinforcement learning scheduling strategy for federated learning on IoT devices. In: Kafeza, E., Benatallah, B., Martinelli, F., Hacid, H., Bouguettaya, A., Motahari, H. (eds.) ICSOC 2020. LNCS, vol. 12571, pp. 319\u2013333. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-65310-1_23"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Bormann, C., Ersue, M., Keranen, A.: Terminology for constrained-node networks. Technical report (2014)","DOI":"10.17487\/rfc7228"},{"issue":"1","key":"13_CR3","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1109\/TCSS.2021.3087197","volume":"9","author":"S Wang","year":"2021","unstructured":"Wang, S., Chen, H., Wang, Y.: Collaborative caching for energy optimization in content-centric Internet of Things. IEEE Trans. Comput. Soc. Syst. 9(1), 230\u2013238 (2021)","journal-title":"IEEE Trans. Comput. Soc. Syst."},{"key":"13_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"issue":"8","key":"13_CR5","doi-asserted-by":"publisher","first-page":"4499","DOI":"10.3390\/su14084499","volume":"14","author":"S Kousar","year":"2022","unstructured":"Kousar, S., Zafar, N.A., Ali, T., Alkhammash, E.H., Hadjouni, M.: Formal modeling of IoT-based distribution management system for smart grids. Sustainability 14(8), 4499 (2022)","journal-title":"Sustainability"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"102990","DOI":"10.1016\/j.simpat.2024.102990","volume":"136","author":"IB Hafaiedh","year":"2024","unstructured":"Hafaiedh, I.B., Gafsi, A., Yahyaoui, M.Y., Aouinette, Y.: A model-based approach for formal verification and performance evaluation of energy harvesting architectures in IoT systems: a case study of a long-term healthcare application. Simul. Model. Pract. Theory 136, 102990 (2024)","journal-title":"Simul. Model. Pract. Theory"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"121501","DOI":"10.1016\/j.energy.2021.121501","volume":"238","author":"M Wetter","year":"2022","unstructured":"Wetter, M., et al.: OpenBuildingControl: digitizing the control delivery from building energy modeling to specification, implementation and formal verification. Energy 238, 121501 (2022)","journal-title":"Energy"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Ni, H.P., Chong, W.O., Chou, J.S.: Optimizing HVAC systems for semiconductor fabrication: a data-intensive framework for energy efficiency and sustainability. J. Build. Eng., 109397 (2024)","DOI":"10.1016\/j.jobe.2024.109397"},{"issue":"6","key":"13_CR9","doi-asserted-by":"publisher","first-page":"10846","DOI":"10.1109\/JIOT.2019.2942071","volume":"6","author":"Dogay Altinel and Gunes Karabulut Kurt","year":"2019","unstructured":"Dogay Altinel and Gunes Karabulut Kurt: Modeling of multiple energy sources for hybrid energy harvesting IoT systems. IEEE Internet Things J. 6(6), 10846\u201310854 (2019)","journal-title":"IEEE Internet Things J."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Lekidis, A., Katsaros, P.: Model-based design of energy-efficient applications for IoT systems. arXiv preprint: arXiv:1807.01242 (2018)","DOI":"10.4204\/EPTCS.272.3"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Demigha, O., Khalfi, C.: Formal analysis of energy consumption in IoT systems. In: IoTBDS, pp. 103\u2013114 (2019)","DOI":"10.5220\/0007702801030114"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Oliveira, L.P., da Silva, A.W.N., de Azevedo, L.P., da Silva, M.V.L.: Formal methods to analyze energy efficiency and security for IoT: a systematic review. In: International Conference on Advanced Information Networking and Applications, pp. 270\u2013279. Springer (2021)","DOI":"10.1007\/978-3-030-75078-7_28"},{"key":"13_CR13","unstructured":"Gara Hellal, Y., Hamel, L., Graiet, M.: An Event-B based approach for horizontally scalable IoT applications. In: Service-Oriented Computing: 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3\u20136, 2024, Proceedings 22. Springer (2024)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Gara Hellal, Y., Hamel, L., Graiet, M.: A formal approach for scalable applications in dynamic and constrained IoT-Cloud systems. Computing (2025)","DOI":"10.1007\/s00607-024-01358-y"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-030-38796-9_6","volume-title":"Adaptive Digital Circuits for Power-Performance Range beyond Wide Voltage Scaling","author":"S Jain","year":"2020","unstructured":"Jain, S., Lin, L., Alioto, M.: Conclusions. In: Adaptive Digital Circuits for Power-Performance Range beyond Wide Voltage Scaling, pp. 145\u2013148. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-38796-9_6"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Shelby, Z., et\u00a0al.: The Constrained Application Protocol (CoAP). RFC 7252 (2014)","DOI":"10.17487\/rfc7252"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-030-91431-8_21","volume-title":"Service-Oriented Computing","author":"A Elhabbash","year":"2021","unstructured":"Elhabbash, A., Elkhatib, Y.: Energy-aware placement of device-to-device mediation services in IoT systems. In: Hacid, H., Kao, O., Mecella, M., Moha, N., Paik, H. (eds.) ICSOC 2021. LNCS, vol. 13121, pp. 335\u2013350. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-91431-8_21"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Aslanpour, M.S., Toosi, A.N., Cheema, M.A., Gaire, R.: Energy-aware resource scheduling for serverless edge computing. In: 2022 22nd IEEE International Symposium on Cluster, Cloud and Internet Computing (CCGrid), pp. 190\u2013199. IEEE (2022)","DOI":"10.1109\/CCGrid54584.2022.00028"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Gara Hellal, Y., Hamel, L., Graiet, M., Balouek, D.: A formal modeling and verification approach for IoT-Cloud resource-oriented applications. In: 2024 IEEE 24th International Symposium on Cluster, Cloud and Internet Computing (CCGrid), pp. 347\u2013356. IEEE (2024)","DOI":"10.1109\/CCGrid59990.2024.00047"},{"issue":"1","key":"13_CR20","doi-asserted-by":"publisher","first-page":"2037255","DOI":"10.1080\/08839514.2022.2037255","volume":"36","author":"M Humayun","year":"2022","unstructured":"Humayun, M., Alsaqer, M.S., Jhanjhi, N.: Energy optimization for smart cities using IoT. Appl. Artif. Intell. 36(1), 2037255 (2022)","journal-title":"Appl. Artif. Intell."},{"issue":"3","key":"13_CR21","doi-asserted-by":"publisher","first-page":"1013","DOI":"10.1007\/s00607-023-01252-z","volume":"106","author":"E Heidari","year":"2024","unstructured":"Heidari, E.: A novel energy-aware method for clustering and routing in IoT based on whale optimization algorithm & Harris Hawks optimization. Computing 106(3), 1013\u20131045 (2024)","journal-title":"Computing"},{"issue":"24","key":"13_CR22","doi-asserted-by":"publisher","first-page":"4071","DOI":"10.3390\/electronics11244071","volume":"11","author":"S Khriji","year":"2022","unstructured":"Khriji, S., Ch\u00e9our, R., Kanoun, O.: Dynamic voltage and frequency scaling and duty-cycling for ultra low-power wireless sensor nodes. Electronics 11(24), 4071 (2022)","journal-title":"Electronics"},{"issue":"20","key":"13_CR23","doi-asserted-by":"publisher","first-page":"20763","DOI":"10.1109\/JIOT.2022.3175712","volume":"9","author":"L Liu","year":"2022","unstructured":"Liu, L., Wang, A., Sun, G., Li, J.: Multiobjective optimization for improving throughput and energy efficiency in UAV-enabled IoT. IEEE Internet Things J. 9(20), 20763\u201320777 (2022)","journal-title":"IEEE Internet Things J."},{"issue":"2","key":"13_CR24","doi-asserted-by":"publisher","first-page":"1591","DOI":"10.1109\/JIOT.2021.3091723","volume":"9","author":"M Chu","year":"2021","unstructured":"Chu, M., Liu, A., Chen, J., Lau, V.K., Cui, S.: A stochastic geometry analysis for energy-harvesting-based device-to-device communication. IEEE Internet Things J. 9(2), 1591\u20131607 (2021)","journal-title":"IEEE Internet Things J."},{"key":"13_CR25","unstructured":"Charef, N.: Energy sustainable reinforcement learning-based adaptive duty-cycling in wireless sensor networks-based internet of things networks (2023)"},{"key":"13_CR26","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R., et al.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transfer 12, 447\u2013466 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Ru\u00edz-Guirola, D.E.,\u00a0LA L\u00f3pez, O., Montejo-S\u00e1nchez, S., Mayorga, I.L., Han, Z., Popovski, P.: Intelligent duty cycling management and wake-up for energy harvesting IoT networks with correlated activity. arXiv preprint: arXiv:2405.06372 (2024)","DOI":"10.1109\/IEEECONF60004.2024.10942799"}],"container-title":["Lecture Notes in Computer Science","Verification and Evaluation of Computer and Communication Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-85356-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,16]],"date-time":"2025-04-16T11:44:44Z","timestamp":1744803884000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-85356-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031853555","9783031853562"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-85356-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"17 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VECoS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Verification and Evaluation of Computer and Communication Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Djerba","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tunisia","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":"16 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vecos2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.vecos-world.org\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}