A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
GloMoSim: a library for parallel simulation of large-scale wireless networks
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
Network simulations with OPNET
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Distributed Algorithms
TOSSIM: accurate and scalable simulation of entire TinyOS applications
Proceedings of the 1st international conference on Embedded networked sensor systems
SENS: A Sensor, Environment and Network Simulator
ANSS '04 Proceedings of the 37th annual symposium on Simulation
Towards Composable and Extensible Network Simulation
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 10 - Volume 11
Scalable Parallel Programming with CUDA
Queue - GPU Computing
Wildlife and environmental monitoring using RFID and WSN technology
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
Communicating mobile processes
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Hi-index | 0.00 |
With the advances in wireless communications large scale Wireless Sensor Networks (WSN) are emerging with many applications. These networks are deployed to serve single objective application, with high optimization requirements such as performance enhancement and power saving. Application specific optimization is achieved using formal models and evaluation based simulations of distributed algorithms (DA) controlling such networks. The WSN design problem is of high complexity, and requires robust methodologies, including simulation support. Although we know several works on WSN simulation, these solutions fail to match requirements on a whole set of desirable criteria: scalability, flexibility, concurrent execution and performance. We present a model based approach of WSN application specification separating network organization from behaviors, allowing them to vary independently. Through this approach, network description can be achieved with high level tools independently from the programming syntax. We have specified and simulated number of WSN protocols with varying objectives and semantics using a time-driven execution model incorporated in the proposed meta-simulator. The empirical analysis has revealed flexibility, scalability and performance. The tool flow targets an Occam compiler producing efficient multi-threaded binaries. We expect the final flow of this project to enable sensor code production out of the simulated specification.