Secondis: An Adaptive Dissemination Protocol for Synchronizing Wireless Sensor Networks

Reliability and predictability of the timing behavior have shown to be major issues for wireless sensor network deployments. Real-time requirements presented by several applications can be fulfilled by implementing communication schemes that lower possible sources of non-determinism of the timing behavior, assuming that the nodes are synchronized. The predictability of current synchronization protocols, however, cannot be verified, due to potential interferences with other activities. In this paper we propose Secondis, a dissemination protocol that periodically synchronizes and orchestrates activities in the network, providing three main benefits. (1) The synchronization task is performed in short time windows, where no interferences can occur, independently of any available communication structure. (2) The synchronization is energy efficient, and (3) robust against link and node failures. Secondis provides probabilistic bounds about its predictability, by means of a probabilistic model checker analysis. It proposes a novel adaptive flooding scheme based on the observation that only a subset of the nodes is important for the propagation. The behavior is analyzed in simulation, using realistic models of the wireless channel and hardware clocks.

[1]  Ivan Stojmenovic,et al.  Sensor Networks , 2005 .

[2]  Athanassios Boulis,et al.  Castalia: revealing pitfalls in designing distributed algorithms in WSN , 2007, SenSys '07.

[3]  Roger Wattenhofer,et al.  Gradient clock synchronization in wireless sensor networks , 2009, 2009 International Conference on Information Processing in Sensor Networks.

[4]  Saurabh Ganeriwal,et al.  Timing-sync protocol for sensor networks , 2003, SenSys '03.

[5]  Yu-Chee Tseng,et al.  The Broadcast Storm Problem in a Mobile Ad Hoc Network , 1999, Wirel. Networks.

[6]  Toshiaki Miyazaki,et al.  Distributed Coloring Algorithm for Wireless Sensor Networks and Its Applications , 2007, 7th IEEE International Conference on Computer and Information Technology (CIT 2007).

[7]  Gyula Simon,et al.  The flooding time synchronization protocol , 2004, SenSys '04.

[8]  Kamin Whitehouse,et al.  Flash Flooding: Exploiting the Capture Effect for Rapid Flooding in Wireless Sensor Networks , 2009, IEEE INFOCOM 2009.

[9]  Kay Römer,et al.  Time Synchronization and Calibration in Wireless Sensor Networks , 2005, Handbook of Sensor Networks.

[10]  Indranil Gupta,et al.  Adaptive probability-based broadcast forwarding in energy-saving sensor networks , 2008, TOSN.

[11]  Katia Obraczka,et al.  Energy-efficient collision-free medium access control for wireless sensor networks , 2003, SenSys '03.

[12]  S. Eisenman,et al.  Sensor Networks , 2002 .

[13]  Deborah Estrin,et al.  Proceedings of the 5th Symposium on Operating Systems Design and Implementation Fine-grained Network Time Synchronization Using Reference Broadcasts , 2022 .

[14]  Katia Obraczka,et al.  Energy-efficient, application-aware medium access for sensor networks , 2005, IEEE International Conference on Mobile Adhoc and Sensor Systems Conference, 2005..

[15]  Matt Welsh,et al.  Fidelity and yield in a volcano monitoring sensor network , 2006, OSDI '06.

[16]  Anthony Rowe,et al.  RT-Link: A Time-Synchronized Link Protocol for Energy- Constrained Multi-hop Wireless Networks , 2006, 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks.

[17]  Andrew Hinton,et al.  PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.

[18]  Wendi B. Heinzelman,et al.  Adaptive protocols for information dissemination in wireless sensor networks , 1999, MobiCom.