Gainer, Paul, Linker, Sven 
ORCID: 0000-0003-2913-7943, Dixon, Clare ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael ORCID: 0000-0002-0875-3862
(2018)
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.
Quantitative Evaluation of Systems.
![[thumbnail of 1709.04385v3.pdf]](https://livrepository.liverpool.ac.uk/style/images/fileicons/text.png) |
Text
1709.04385v3.pdf - Submitted version Download (464kB) |
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.
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | cs.DC, cs.DC, cs.NI |
| Depositing User: | Symplectic Admin |
| Date Deposited: | 10 Apr 2018 07:50 |
| Last Modified: | 19 Jan 2023 06:36 |
| Related URLs: | |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3019903 |
Available Versions of this Item
- The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. (deposited 10 Apr 2018 07:50) [Currently Displayed]
Share
Share
