Modelling Clustering of Wireless Sensor Networks with Synchronised Hyperedge Replacement

Mohammad Hammoudeh, Robert Newman, Sarah Mount

Abstract


This paper proposes Synchronised Hyperedge Replacement (SHR) as a suitable modelling framework for Wireless Sensor Networks (WSNs). SHR facilitates explicit modelling of WSNs applications environmental conditions (that significantly affect applications performance) while providing a sufficiently high level of abstraction for the specification of the underling coordination mechanisms. Because it is an intractable problem to solve in distributed manner, and distribution is important, we propose a new Nutrient-flow-based Distributed Clustering (NDC) algorithm to be used as a working example. The key contribution of this work is to demonstrate that SHR is sufficiently expressive to describe WSNs algorithms and their behaviour at a suitable level of abstraction to allow onward analysis.

Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.16.248

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.16.248.244

Hosted By Universit├Ątsbibliothek TU Berlin.