{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:58:25Z","timestamp":1764053905984,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031575228"},{"type":"electronic","value":"9783031575235"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-57523-5_1","type":"book-chapter","created":{"date-parts":[[2024,4,28]],"date-time":"2024-04-28T15:01:38Z","timestamp":1714316498000},"page":"3-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A DEVS-Based Methodology for Simulation and Model-Driven Development of IoT"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-4007-6775","authenticated-orcid":false,"given":"Iman Alavi","family":"Fazel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3366-9184","authenticated-orcid":false,"given":"Gabriel","family":"Wainer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,4,29]]},"reference":[{"issue":"4","key":"1_CR1","doi-asserted-by":"publisher","first-page":"2233","DOI":"10.1109\/TII.2014.2300753","volume":"10","author":"L Da Xu","year":"2014","unstructured":"Da Xu, L., He, W., Li, S.: Internet of Things in industries: a survey. IEEE Trans. Ind. Inf. 10(4), 2233\u20132243 (2014)","journal-title":"IEEE Trans. Ind. Inf."},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"796","DOI":"10.1007\/s11036-018-1089-9","volume":"24","author":"M Noura","year":"2019","unstructured":"Noura, M., Atiquzzaman, M., Gaedke, M.: Interoperability in Internet of Things: taxonomies and open challenges. Mob. Netw. Appl. 24, 796\u2013809 (2019)","journal-title":"Mob. Netw. Appl."},{"issue":"2","key":"1_CR3","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1049\/iet-cps.2017.0068","volume":"3","author":"IS Udoh","year":"2018","unstructured":"Udoh, I.S., Kotonya, G.: Developing IoT applications: challenges and frameworks. IET Cyber-Phys. Syst. Theory Appl. 3(2), 65\u201372 (2018)","journal-title":"IET Cyber-Phys. Syst. Theory Appl."},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.jss.2015.01.027","volume":"103","author":"P Patel","year":"2015","unstructured":"Patel, P., Cassou, D.: Enabling high-level application development for the Internet of Things. J. Syst. Softw. 103, 62\u201384 (2015)","journal-title":"J. Syst. Softw."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Nguyen, X.T., Tran, H.T., Baraki, H., Geihs, K.: FRASAD: a framework for model-driven IoT application development. In: 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT), pp. 387\u2013392. IEEE (2015)","DOI":"10.1109\/WF-IoT.2015.7389085"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Doddapaneni, K., Ever, E., Gemikonakli, O., Malavolta, I., Mostarda, L., Muccini, H.: A model-driven engineering framework for architecting and analysing wireless sensor networks. In: 2012 Third International Workshop on Software Engineering for Sensor Network Applications (SESENA), pp. 1\u20137. IEEE (2012)","DOI":"10.1109\/SESENA.2012.6225729"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Saadawi, H., Wainer, G.: Verification of real-time DEVS models. In: Proceedings of the 2009 Spring Simulation Multiconference, pp. 1\u20138. Citeseer (2009)","DOI":"10.1145\/1878537.1878686"},{"key":"1_CR8","unstructured":"Labiche, Y., Wainer, G.: Towards the verification and validation of DEVS models. In: Proceedings of 1st Open International Conference on Modeling & Simulation, pp. 295\u2013305. Citeseer (2005)"},{"key":"1_CR9","unstructured":"Olsen, M.M., Raunak, M.S.: A method for quantified confidence of DEVS validation. In: SpringSim (TMS-DEVS), pp. 135\u2013142 (2015)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Manrique, J.A., Rueda-Rueda, J.S., Portocarrero, J.M.: Contrasting Internet of Things and wireless sensor network from a conceptual overview. In: 2016 IEEE International Conference on Internet of Things (iThings), pp. 252\u2013257. IEEE (2016)","DOI":"10.1109\/iThings-GreenCom-CPSCom-SmartData.2016.66"},{"issue":"9","key":"1_CR11","doi-asserted-by":"publisher","first-page":"1275","DOI":"10.1002\/spe.2509","volume":"47","author":"H Gupta","year":"2017","unstructured":"Gupta, H., Vahid Dastjerdi, A., Ghosh, S.K., Buyya, R.: IFogSim: a toolkit for modeling and simulation of resource management techniques in the Internet of Things, Edge and Fog computing environments. Softw. Pract. Experience 47(9), 1275\u20131296 (2017)","journal-title":"Softw. Pract. Experience"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Sotiriadis, S., Bessis, N., Asimakopoulou, E., Mustafee, N.: Towards simulating the Internet of Things. In: 28th International Conference on Advanced Information Networking and Applications Workshops, pp. 444\u2013448. IEEE (2014)","DOI":"10.1109\/WAINA.2014.74"},{"issue":"9","key":"1_CR13","doi-asserted-by":"publisher","first-page":"2563","DOI":"10.3390\/s20092563","volume":"20","author":"Y-W Lin","year":"2020","unstructured":"Lin, Y.-W., Lin, Y.-B., Yen, T.-H.: Simtalk: simulation of IoT applications. Sensors 20(9), 2563 (2020)","journal-title":"Sensors"},{"issue":"1","key":"1_CR14","first-page":"19","volume":"5","author":"A Nayyar","year":"2015","unstructured":"Nayyar, A., Singh, R.: A comprehensive review of simulation tools for wireless sensor networks (WSNs). J. Wirel. Netw. Commun. 5(1), 19\u201347 (2015)","journal-title":"J. Wirel. Netw. Commun."},{"issue":"5","key":"1_CR15","doi-asserted-by":"publisher","first-page":"1263","DOI":"10.3390\/math11051263","volume":"11","author":"S Arslan","year":"2023","unstructured":"Arslan, S., Ozkaya, M., Kardas, G.: Modeling languages for Internet of Things (IoT) applications: a comparative analysis study. Mathematics 11(5), 1263 (2023)","journal-title":"Mathematics"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Harrand, N., Fleurey, F., Morin, B., Husa, K.E.: ThingML: a language and code generation framework for heterogeneous targets. In: Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, pp. 125\u2013135 (2016)","DOI":"10.1145\/2976767.2976812"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/j.compind.2016.05.010","volume":"82","author":"K Thramboulidis","year":"2016","unstructured":"Thramboulidis, K., Christoulakis, F.: UML4IoT\u2014a UML-based approach to exploit IoT in cyber-physical manufacturing systems. Comput. Ind. 82, 259\u2013272 (2016)","journal-title":"Comput. Ind."},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Costa, B., Pires, P.F., Delicato, F.C., Li, W., Zomaya, A.Y.: Design and analysis of IoT applications: a model-driven approach. In: 14th International Conference on Dependable, Autonomic and Secure Computing, pp. 392\u2013399. IEEE (2016)","DOI":"10.1109\/DASC-PICom-DataCom-CyberSciTec.2016.81"},{"key":"1_CR19","unstructured":"Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation. Academic Press (2000)"},{"issue":"1","key":"1_CR20","first-page":"28","volume":"17","author":"JH Im","year":"2021","unstructured":"Im, J.H., Oh, H.-R., Seong, Y.R.: Simulation of a mobile IoT system using the DEVS formalism. J. Inf. Process. Syst. 17(1), 28\u201336 (2021)","journal-title":"J. Inf. Process. Syst."},{"issue":"2","key":"1_CR21","doi-asserted-by":"publisher","first-page":"172501","DOI":"10.1007\/s11704-021-0375-z","volume":"17","author":"A Maatoug","year":"2023","unstructured":"Maatoug, A., Belalem, G., Mahmoudi, S.: A location-based fog computing optimization of energy management in smart buildings: DEVS modeling and design of connected objects. Front. Comp. Sci. 17(2), 172501 (2023)","journal-title":"Front. Comp. Sci."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Barakat, G., Al-Duwairi, B., Jarrah, M., Jaradat, M.: Modeling and simulation of IoT botnet behaviors using DEVS. In: 2022 13th International Conference on Information and Communication Systems (ICICS), pp. 42\u201347 (2022)","DOI":"10.1109\/ICICS55353.2022.9811164"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"16857","DOI":"10.1007\/s11042-020-09186-w","volume":"80","author":"M Albataineh","year":"2021","unstructured":"Albataineh, M., Jarrah, M.: DEVS-IoT: performance evaluation of smart home devices network. Multimed. Tools Appl. 80, 16857\u201316885 (2021)","journal-title":"Multimed. Tools Appl."},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Albataineh, M., Jarrah, M.: DEVS-based IoT management system for modeling and exploring smart home devices. In: 2019 Sixth International Conference on Internet of Things: Systems, Management and Security (IOTSMS), pp. 73\u201378. IEEE (2019)","DOI":"10.1109\/IOTSMS48152.2019.8939215"},{"issue":"9","key":"1_CR25","doi-asserted-by":"publisher","first-page":"1466","DOI":"10.3390\/app8091466","volume":"8","author":"S Kim","year":"2018","unstructured":"Kim, S., Cho, J., Park, D.: Accelerated DEVS simulation using collaborative computation on multi-cores and GPUs for fire-spreading IoT sensing applications. Appl. Sci. 8(9), 1466 (2018)","journal-title":"Appl. Sci."},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Etemad, M., Aazam, M., St-Hilaire, M.: Using DEVS for modeling and simulating a Fog Computing environment. In: 2017 International Conference on Computing, Networking and Communications (ICNC), pp. 849\u2013854. IEEE (2017)","DOI":"10.1109\/ICCNC.2017.7876242"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Simulation Tools and Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-57523-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,17]],"date-time":"2024-11-17T05:53:18Z","timestamp":1731822798000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-57523-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031575228","9783031575235"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-57523-5_1","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"29 April 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SIMUtools","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Simulation Tools and Techniques","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Seville","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 December 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 December 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"simutools2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/simutools.eai-conferences.org\/2023\/","order":11,"name":"conference_url","label":"Conference URL","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":"EAI Confy +","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"58","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":"23","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":"0","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":"40% - 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.5","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)"}}]}}