Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model

Wireless sensor networks are a new generation of network which needs specific models and algorithms. We are interested specifically to mobile wireless sensor networks which are considered as anonymous asynchronous distributed mobile systems. As broadcast is one of the most important applications for this kind of networks, and as it depends on the communication model used in the network, we tried to find the most adequate one to make a distributed broadcast algorithm. We adopted the model presented by Angluin of pairwise interactions of anonymous finite-state agents to broadcast information: the population protocol. We tried to modify this model to avoid duplication of the information and calculate its complexity. Then, we extended it with the rendezvous one which made the stabilization faster. The implementation, the simulation and the validation of these algorithms and results were done with Visidia.