Early Prototyping of Wireless Sensor Network Algorithms in PVS
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Theoretical Computer Science
Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal modeling and analysis of wireless sensor network algorithms in real-time maude
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
ViSim: A user-friendly graphical simulation tool for performance analysis of MANET routing protocols
Mathematical and Computer Modelling: An International Journal
Modeling and simulation for user assistance in smart environments
Proceedings of the Winter Simulation Conference
Reconstruction of event sequences based on asynchronous observations in sensor networks
Proceedings of the 7th International Conference on Ubiquitous Information Management and Communication
| Hi-index | 0.00 |
Formal model and verification techniques can be used to design and analyze many kinds of systems. However, there are few formal models for verification and analysis of sensor networks in the literature. In this paper, we present a graphical simulation system for modeling and analysis of sensor networks. A formal model of sensor networks is proposed based on Space Time Petri Net (STPN). STPN is a formal model language which is extended from Time Petri Nets (TPN) and Colored Petri Nets (CPN). The idea is to add space information to the places of the original TPN to model the space information in sensor networks, such as the locations of sensor nodes. And based on this modeling idea, a set of new concepts are proposed, such as space place, broadcast transition, and dynamic topology. The STPN not only can model the various characteristics of sensor networks, such as temporal and spatial information, but also can simulate the different behavior of sensor networks. A prototype system has been implemented to model and analyze the behavior of sensor networks systems.