Abstract
WSN (Wireless Sensor Network) applications have been widely used in recent years. We introduce a new method for modeling WSN, based on the specification of the WSN using the Cell-Discrete-Event Systems Specification (DEVS) formalism: the space is partitioned into cells where each cell can be considered a sensor, an obstacle, or anything of a behavior with defined rules. This model is then converted automatically into DEVS model at runtime. We present two case studies analyzing the use of energy in WSN member nodes, which have impact on prolonging the overall network lifetime. We study to analyze energy consumption related to routing and data transmission at the node level, and topology residual energy control methods at the cluster level (i.e. group of sensors) level. The goal is to show how these spatial modeling methods can be used for building WSN models in a simple but efficient fashion.