DOI QR코드

DOI QR Code

Simulation of a Mobile IoT System Using the DEVS Formalism

  • Im, Jung Hyun (Dept. of Secured-Smart Electric Vehicle, Kookmin University) ;
  • Oh, Ha-Ryoung (Dept. of Secured-Smart Electric Vehicle, Kookmin University) ;
  • Seong, Yeong Rak (Dept. of Electric Engineering, Kookmin University)
  • 투고 : 2020.09.04
  • 심사 : 2020.12.04
  • 발행 : 2021.02.28

초록

This paper proposes two novel methods to model and simulate a mobile Internet of Things (IoT) system using the discrete event system specification (DEVS) formalism. In traditional simulation methods, it is advantageous to partition the simulation area hierarchically to reduce simulation time; however, in this case, the structure of the model may change as the IoT nodes to be modeled move. The proposed methods reduce the simulation time while maintaining the model structure, even when the IoT nodes move. To evaluate the performance of the proposed methods, a prototype mobile IoT system was modeled and simulated. The simulation results show that the proposed methods achieve good performance, even if the number of IoT nodes or the movement of IoT nodes increases.

키워드

참고문헌

  1. B. P. Zeigler, A. Muzy, and E. Kofman, Theory of Modeling and Simulation: Discrete Event & Iterative System Computational Foundations, 2nd ed. San Diego, CA: Academic Press, 2000.
  2. B. P. Zeigler, A. Muzy, and E. Kofman, Theory of Modeling and Simulation: Discrete Event & Iterative System Computational Foundations, 3rd ed. San Diego, CA: Academic Press, 2018.
  3. G. A. Wainer and P. J. Mosterman, Discrete-Event Modeling and Simulation: Theory and Applications. Boca Raton, FL: CRC Press, 2016.
  4. B. K. Choi and D. H. Kang, Modeling and Simulation of Discrete Event Systems. Hoboken, NJ: John Wiley & Sons, 2013.
  5. B. P. Zeigler, "DEVS representation of dynamical systems: event-based intelligent control," Proceedings of the IEEE, vol. 77, no. 1, pp. 72-80, 1989. https://doi.org/10.1109/5.21071
  6. T. G. Kim and S. B. Park, "The DEVS formalism: Hierarchical modular systems specification in С++," in Proceedings of the 1992 European Simulation Multiconference, York, UK, 1992, pp. 152-156.
  7. J. H. Im, H. R. Oh, and Y. R. Seong, "Reducing the number of events in simulation of wireless networks," in Proceedings of Symposium of the Korean Institute of Communications and Information Sciences, Seoul, Korea, 2015, pp. 676-677.
  8. F. J. Barros, "Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation," in Proceedings of Winter Simulation Conference, Arlington, VA, 1995, pp. 781-785.
  9. F. J. Barros, "Modeling formalisms for dynamic structure systems," ACM Transactions on Modeling and Computer Simulation (TOMACS), vol. 7, no. 4, pp. 501-515, 1997. https://doi.org/10.1145/268403.268423
  10. A. M. Uhrmacher, "Dynamic structures in modeling and simulation: a reflective approach," ACM Transactions on Modeling and Computer Simulation (TOMACS), vol. 11, no. 2, pp. 206-232, 2001. https://doi.org/10.1145/384169.384173
  11. H. Khalil and G. Wainer, "Cell-DEVS for social phenomena modeling," IEEE Transactions on Computational Social Systems, vol. 7, no. 3, pp. 725-740, 2020. https://doi.org/10.1109/tcss.2020.2982885
  12. M. Zhu, C. Foucher, V. Albert, and A. Nketsa, "Applying the model-driven architecture approach to dynamic structure applications," in Proceedings of the 31st European Simulation and Modelling Conference (ESM), Lisbon, Portugal, 2017.
  13. M. J. Blas, S. M. Gonnet, H. P. Leone, and B. P. Zeigler, "A conceptual framework to classify the extensions of DEVS formalism as variants and subclasses," in Proceedings of 2018 Winter Simulation Conference (WSC), Gothenburg, Sweden, 2018, pp. 560-571.
  14. T. G. Kim, "DEVSIM++ user's manual," Department of Electrical Engineering, KAIST, Daejeon, Korea, 1994.
  15. T. G. Kim and C. Choi, "DEVSim++ ME: HLA-compliant DEVS modeling/simulation environment with DEVSim++," in Model Engineering for Simulation. Cambridge, MA: Academic Press, 2019, pp. 355-392.