ABSTRACT

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.

摘要

我们讨论了在网络应用中使用正式的离散事件建模和仿真，特别是对于移动网络和无线传感器网络 (WSN)。我们展示了如何基于 DEVS 形式为移动网络开发离散事件模型库，允许在给定覆盖区域内跟踪用户的上传状态，同时使用非合作算法或协调多点 (CoMP) 同步。我们展示了基于 CoMP 的网络的 DEVS 模型库，展示了如何在演进节点基站 (eNB) 之间管理控制消息。我们构建了一个案例研究，比较了两种 CoMP 方法：联合处理 (JP) 和协调调度 (CS)。最后，我们展示了如何使用 DEVS 模型基于流行病理论对无线传感器网络中的恶意软件传播进行建模。