Discrete Event Systems Specifications Modelling and Simulation of Wireless Networking Applications
JOURNAL OF SIMULATION(2022)
摘要
We discuss the use of formal discrete-event modelling and simulation for networking applications, in particular, for mobile networks and Wireless Sensor Networks (WSN). We show how one can develop discrete-event model libraries based on the DEVS formalism for mobile networks, allowing tracking the users' upload status in a given area of coverage, while using a non-cooperative algorithm or Coordinated Multipoint (CoMP) synchronisation. We show a DEVS model library for CoMP-based networks, showing how control messaging can be managed among Evolved Node Base stations (eNBs). We build a case study comparing two CoMP approaches: Joint Processing (JP) and Coordinated Scheduling (CS). Finally, we show how DEVS models can be used to model malware propagation in wireless sensor networks based on epidemic theory.
更多查看译文
关键词
DEVS, Cell-DEVS, mobile networks, CoMP, WSN
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络