Distributed Computations in Wireless Sensor Networks by Local Interactions

A Wireless Sensor Network (WSN) is an important wireless technology that is widely used in the Internet of things and that has wide variety of applications. In fact, a WSN consists of independent sensors, communicating with each other in a distributed way to monitor the environment. In this network, most of the existing distributed algorithms are designed without referring to a computations model. As a consequence, the study, the comparison and the proof of these algorithms become a difficult task. In this paper, we propose a new computations model based on local interactions. This model relies on Graph Relabelling System (GRS), a graph transformation model suitable for encoding distributed algorithms. We show that using our model simplifies the specification and the proof of distributed algorithms for WSN. We illustrate our proposed model through an example of distributed algorithm for WSN. Proofs are given in this paper to demonstrate the correctness of the selected algorithm.

[1]  David Eisenstat,et al.  The computational power of population protocols , 2006, Distributed Computing.

[2]  Paul G. Spirakis,et al.  Passively mobile communicating machines that use restricted space , 2011, FOMC '11.

[3]  Mohamed Mosbah,et al.  A Fault-Tolerant Handshake Algorithm for Local Computations , 2016, 2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA).

[4]  Mohamed Mosbah,et al.  Towards Proved Distributed Algorithms through Refinement, Composition and Local Computations , 2013, 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises.

[5]  Jean-Raymond Abrial,et al.  Modeling in event-b - system and software engineering by Jean-Raymond Abrial , 2010, SOEN.

[6]  Paul G. Spirakis,et al.  Mediated population protocols , 2011, Theor. Comput. Sci..

[7]  Yves Métivier,et al.  Graph Relabelling Systems: A General Overview , 1997, Comput. Artif. Intell..

[8]  Yves Métivier,et al.  Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms , 2002, GETGRATS Closing Workshop.

[9]  Michael J. Fischer,et al.  Computation in networks of passively mobile finite-state sensors , 2004, PODC '04.

[10]  Yves Métivier,et al.  Randomized local elections , 2002, Inf. Process. Lett..

[11]  Yves Métivier,et al.  Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms , 2001, Electron. Notes Theor. Comput. Sci..