Skip to main content
Top
Published in:
Cover of the book

2024 | OriginalPaper | Chapter

A DEVS-Based Methodology for Simulation and Model-Driven Development of IoT

Authors : Iman Alavi Fazel, Gabriel Wainer

Published in: Simulation Tools and Techniques

Publisher: Springer Nature Switzerland

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The Internet of Things (IoT) has emerged as a promising technology with diverse applications across industries, including smart homes, healthcare services, and manufacturing. However, despite its potential, IoT presents unique challenges, such as interoperability, system complexity, and the need for efficient development and maintenance. This paper explores a model-driven development (MDD) approach to design IoT applications by employing high-level models to facilitate abstraction and reusability. Specifically, we adopt a methodology based on Discrete Event System Specification (DEVS), a modular and hierarchical formalism for MDD of IoT. In our work, different DEVS models are developed to address distinct functional aspects of the devices, encompassing data retrieval, data serialization/deserialization, and network connectivity. The developed models, along with a DEVS simulator, are then used for both simulation and deployment. To create a comprehensive simulation environment, the paper introduces two additional models for simulating the MQTT protocol, including its Quality of Service (QoS) mechanism.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
Source code for the Cadmium library can be found at https://​github.​com/​SimulationEveryw​here/​cadmium.
 
Literature
1.
go back to reference Da Xu, L., He, W., Li, S.: Internet of Things in industries: a survey. IEEE Trans. Ind. Inf. 10(4), 2233–2243 (2014)CrossRef Da Xu, L., He, W., Li, S.: Internet of Things in industries: a survey. IEEE Trans. Ind. Inf. 10(4), 2233–2243 (2014)CrossRef
2.
go back to reference Noura, M., Atiquzzaman, M., Gaedke, M.: Interoperability in Internet of Things: taxonomies and open challenges. Mob. Netw. Appl. 24, 796–809 (2019)CrossRef Noura, M., Atiquzzaman, M., Gaedke, M.: Interoperability in Internet of Things: taxonomies and open challenges. Mob. Netw. Appl. 24, 796–809 (2019)CrossRef
3.
go back to reference Udoh, I.S., Kotonya, G.: Developing IoT applications: challenges and frameworks. IET Cyber-Phys. Syst. Theory Appl. 3(2), 65–72 (2018)CrossRef Udoh, I.S., Kotonya, G.: Developing IoT applications: challenges and frameworks. IET Cyber-Phys. Syst. Theory Appl. 3(2), 65–72 (2018)CrossRef
4.
go back to reference Patel, P., Cassou, D.: Enabling high-level application development for the Internet of Things. J. Syst. Softw. 103, 62–84 (2015)CrossRef Patel, P., Cassou, D.: Enabling high-level application development for the Internet of Things. J. Syst. Softw. 103, 62–84 (2015)CrossRef
5.
go back to reference 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–392. IEEE (2015) 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–392. IEEE (2015)
6.
go back to reference 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–7. IEEE (2012) 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–7. IEEE (2012)
7.
go back to reference Saadawi, H., Wainer, G.: Verification of real-time DEVS models. In: Proceedings of the 2009 Spring Simulation Multiconference, pp. 1–8. Citeseer (2009) Saadawi, H., Wainer, G.: Verification of real-time DEVS models. In: Proceedings of the 2009 Spring Simulation Multiconference, pp. 1–8. Citeseer (2009)
8.
go back to reference Labiche, Y., Wainer, G.: Towards the verification and validation of DEVS models. In: Proceedings of 1st Open International Conference on Modeling & Simulation, pp. 295–305. Citeseer (2005) Labiche, Y., Wainer, G.: Towards the verification and validation of DEVS models. In: Proceedings of 1st Open International Conference on Modeling & Simulation, pp. 295–305. Citeseer (2005)
9.
go back to reference Olsen, M.M., Raunak, M.S.: A method for quantified confidence of DEVS validation. In: SpringSim (TMS-DEVS), pp. 135–142 (2015) Olsen, M.M., Raunak, M.S.: A method for quantified confidence of DEVS validation. In: SpringSim (TMS-DEVS), pp. 135–142 (2015)
10.
go back to reference 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–257. IEEE (2016) 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–257. IEEE (2016)
11.
go back to reference 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–1296 (2017)CrossRef 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–1296 (2017)CrossRef
12.
go back to reference 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–448. IEEE (2014) 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–448. IEEE (2014)
13.
14.
go back to reference Nayyar, A., Singh, R.: A comprehensive review of simulation tools for wireless sensor networks (WSNs). J. Wirel. Netw. Commun. 5(1), 19–47 (2015) Nayyar, A., Singh, R.: A comprehensive review of simulation tools for wireless sensor networks (WSNs). J. Wirel. Netw. Commun. 5(1), 19–47 (2015)
15.
go back to reference Arslan, S., Ozkaya, M., Kardas, G.: Modeling languages for Internet of Things (IoT) applications: a comparative analysis study. Mathematics 11(5), 1263 (2023)CrossRef Arslan, S., Ozkaya, M., Kardas, G.: Modeling languages for Internet of Things (IoT) applications: a comparative analysis study. Mathematics 11(5), 1263 (2023)CrossRef
16.
go back to reference 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–135 (2016) 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–135 (2016)
17.
go back to reference Thramboulidis, K., Christoulakis, F.: UML4IoT—a UML-based approach to exploit IoT in cyber-physical manufacturing systems. Comput. Ind. 82, 259–272 (2016)CrossRef Thramboulidis, K., Christoulakis, F.: UML4IoT—a UML-based approach to exploit IoT in cyber-physical manufacturing systems. Comput. Ind. 82, 259–272 (2016)CrossRef
18.
go back to reference 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–399. IEEE (2016) 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–399. IEEE (2016)
19.
go back to reference Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation. Academic Press (2000) Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation. Academic Press (2000)
20.
go back to reference 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–36 (2021) 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–36 (2021)
21.
go back to reference 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)CrossRef 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)CrossRef
22.
go back to reference 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–47 (2022) 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–47 (2022)
23.
go back to reference Albataineh, M., Jarrah, M.: DEVS-IoT: performance evaluation of smart home devices network. Multimed. Tools Appl. 80, 16857–16885 (2021)CrossRef Albataineh, M., Jarrah, M.: DEVS-IoT: performance evaluation of smart home devices network. Multimed. Tools Appl. 80, 16857–16885 (2021)CrossRef
24.
go back to reference 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–78. IEEE (2019) 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–78. IEEE (2019)
25.
go back to reference 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)CrossRef 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)CrossRef
26.
go back to reference 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–854. IEEE (2017) 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–854. IEEE (2017)
Metadata
Title
A DEVS-Based Methodology for Simulation and Model-Driven Development of IoT
Authors
Iman Alavi Fazel
Gabriel Wainer
Copyright Year
2024
DOI
https://doi.org/10.1007/978-3-031-57523-5_1

Premium Partner