Recent technological advances have enabled distributed information gathering from a given region by deploying a large number of networked tiny microsensors which are low power devices equipped with programmable computing, multiple sensing and communication capability thus forms Wireless Sensor networks. Directed Diffusion is a data centric routing protocol in Wireless Sensor Networks (WSN). It ...

Broadcast is a common communication means in mobile ad hoc network or wireless sensor network. In directed diffusion protocol, broadcast is used to disseminate interest, discover routing path and repair the routing path. However, straightforward broadcast scheme (such as flooding) may result in serious broadcast storm problem, especially with respect to large densely deployed wireless sensor ne...

Traditional network simulators perform well in evaluating the performance of network protocols but lack the capability of verifying the correctness of protocols. To address this problem, we have extended the J-Sim network simulator with a model checking capability that explores the state space of a network protocol to find an execution that violates a safety invariant. In this paper, we demonst...