본문 바로가기
KERD
논문KCI 등재

Simulation of a Mobile IoT System Using the DEVS Formalism

2

조회

0

다운로드

0

인용

0

참고문헌

키워드

초록

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

Abstract

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

참고문헌 (15)

  1. B. P. Zeigler, "Theory of Modeling and Simulation: Discrete Event & Iterative System Computational Foundations" (2000), Academic Press
  2. B. P. Zeigler, "Theory of Modeling and Simulation: Discrete Event & Iterative System Computational Foundations" (2018), Academic Press
  3. G. A. Wainer, "Discrete-Event Modeling and Simulation: Theory and Applications" (2016), CRC Press
  4. B. K. Choi, "Kang, Modeling and Simulation of Discrete Event Systems" (2013), John Wiley & Sons
  5. B. P. Zeigler, "DEVS representation of dynamical systems: event-based intelligent control", Proceedings of the IEEE, 77(1), pp.72~80 (1989)
  6. T. G. Kim, "The DEVS formalism: Hierarchical modular systems specification in С++", Proceedings of the 1992 European Simulation Multiconference, pp.152~156 (1992)
  7. J. H. Im, "Reducing the number of events in simulation of wireless networks", Proceedings of Symposium of the Korean Institute of Communications and Information Sciences, pp.676~677 (2015)
  8. F. J. Barros, "Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation", Proceedings of Winter Simulation Conference, pp.781~785 (1995)
  9. F. J. Barros, "Modeling formalisms for dynamic structure systems", ACM Transactions on Modeling and Computer Simulation(TOMACS), 7(4), pp.501~515 (1997)
  10. A. M. Uhrmacher, "Dynamic structures in modeling and simulation : a reflective approach", ACM Transactions on Modeling and Computer Simulation(TOMACS), 11(2), pp.206~232 (2001)
  11. H. Khalil, "Cell-DEVS for social phenomena modeling", IEEE Transactions on Computational Social Systems, 7(3), pp.725~740 (2020)
  12. M. Zhu, "Applying the model-driven architecture approach to dynamic structure applications", Proceedings of the 31st European Simulation and Modelling Conference (ESM) (2017)
  13. M. J. Blas, "A conceptual framework to classify the extensions of DEVS formalism as variants and subclasses", Proceedings of 2018 Winter Simulation Conference (WSC), pp.560~571 (2018)
  14. T. G. Kim, "DEVSIM++ user’s manual", Department of Electrical Engineering, KAIST, ~ (1994)
  15. T. G. Kim, "Model Engineering for Simulation", pp.355~392 (2019), Academic Press

관련 논문AI추천

이 간행물의 다른 논문 (15건)