We gratefully acknowledge support from
the Simons Foundation
and member institutions
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Distributed, Parallel, and Cluster Computing

Title: The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators

Abstract: We assess the power consumption of network synchronisation protocols, particularly the energy required to synchronise all nodes across a network. We use the widely adopted approach of bio-inspired, pulse-coupled oscillators to achieve network-wide synchronisation and provide an extended formal model of just such a protocol, enhanced with structures for recording energy usage. Exhaustive analysis is then carried out through formal verification, utilising the PRISM model checker to calculate the resources consumed on each possible system execution. This allows us to assess a range of parameter instantiations and to explore trade-offs between power consumption and time to synchronise. This provides a principled basis for the formal analysis of a much broader range of large-scale network protocols.
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI)
Cite as: arXiv:1709.04385 [cs.DC]
  (or arXiv:1709.04385v3 [cs.DC] for this version)

Submission history

From: Paul Gainer [view email]
[v1] Wed, 13 Sep 2017 15:33:30 GMT (602kb,D)
[v2] Thu, 14 Sep 2017 10:23:00 GMT (602kb,D)
[v3] Tue, 24 Oct 2017 08:47:23 GMT (603kb,D)