Application of the DEVS and Cell-DEVS formalisms for modeling networking applications

We present the use of DEVS and Cell-DEVS formalisms to model different approaches in networking applications. We discuss various applications of discrete event system specifications for modeling and simulation of Wireless networks and Wireless Sensor Networks (WSN). We discuss how to use the Cell-DEVS formalism to model a WSN for investigating on stochastic properties of malware propagation and the intrinsic characteristic of WSN. We also discuss the use of DEVS to model a cellular network including a wide geographical area, various Cells and varied User Equipment. Finally, we discuss how to use the cell DEVS formalism to model mobile networks, and how the Cell-DEVS formalism can be used to track mobile user movement in a covered area. The latter model tries to find out the number of Base Stations which cover a mobile user in different location of an area and how to improve QoS based on different configurations (in particular for the UEs near the cell borders).