Standard
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. / Gainer, Paul
; Linker, Sven; Dixon, Clare et al.
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. ed. / Jing Sun; Meng Sun. Cham: Springer, 2018. p. 160-176 (Lecture Notes in Computer Science; Vol. 11232).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Harvard
Gainer, P
, Linker, S, Dixon, C, Hustadt, U & Fisher, M 2018,
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. in J Sun & M Sun (eds),
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Lecture Notes in Computer Science, vol. 11232, Springer, Cham, pp. 160-176.
https://doi.org/10.1007/978-3-030-02450-5_10APA
Gainer, P.
, Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (2018).
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. In J. Sun, & M. Sun (Eds.),
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings (pp. 160-176). (Lecture Notes in Computer Science; Vol. 11232). Springer.
https://doi.org/10.1007/978-3-030-02450-5_10Vancouver
Gainer P
, Linker S, Dixon C, Hustadt U, Fisher M.
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. In Sun J, Sun M, editors, Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Cham: Springer. 2018. p. 160-176. (Lecture Notes in Computer Science). doi: 10.1007/978-3-030-02450-5_10
Author
Gainer, Paul
; Linker, Sven ; Dixon, Clare et al. /
The Power of Synchronisation : Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. editor / Jing Sun ; Meng Sun. Cham : Springer, 2018. pp. 160-176 (Lecture Notes in Computer Science).
Bibtex
@inproceedings{f1a06255dc5c4d42b6af3622b89bbdbe,
title = "The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators",
abstract = "Nature-inspired synchronisation protocols have been widely adopted to achieve consensus within wireless sensor networks. We analyse the power consumption of such protocols, particularly the energy required to synchronise all nodes across a network. We use the model 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 investigate a range of parameter instantiations and the trade-offs between power consumption and time to synchronise. This provides a principled basis for the formal analysis of a broader range of large-scale network protocols.",
author = "Paul Gainer and Sven Linker and Clare Dixon and Ullrich Hustadt and Michael Fisher",
year = "2018",
month = oct,
day = "11",
doi = "10.1007/978-3-030-02450-5_10",
language = "English",
isbn = "9783030024499",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "160--176",
editor = "Jing Sun and Meng Sun",
booktitle = "Formal Methods and Software Engineering",
}
RIS
TY - GEN
T1 - The Power of Synchronisation
T2 - Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators
AU - Gainer, Paul
AU - Linker, Sven
AU - Dixon, Clare
AU - Hustadt, Ullrich
AU - Fisher, Michael
PY - 2018/10/11
Y1 - 2018/10/11
N2 - Nature-inspired synchronisation protocols have been widely adopted to achieve consensus within wireless sensor networks. We analyse the power consumption of such protocols, particularly the energy required to synchronise all nodes across a network. We use the model 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 investigate a range of parameter instantiations and the trade-offs between power consumption and time to synchronise. This provides a principled basis for the formal analysis of a broader range of large-scale network protocols.
AB - Nature-inspired synchronisation protocols have been widely adopted to achieve consensus within wireless sensor networks. We analyse the power consumption of such protocols, particularly the energy required to synchronise all nodes across a network. We use the model 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 investigate a range of parameter instantiations and the trade-offs between power consumption and time to synchronise. This provides a principled basis for the formal analysis of a broader range of large-scale network protocols.
U2 - 10.1007/978-3-030-02450-5_10
DO - 10.1007/978-3-030-02450-5_10
M3 - Conference contribution/Paper
SN - 9783030024499
T3 - Lecture Notes in Computer Science
SP - 160
EP - 176
BT - Formal Methods and Software Engineering
A2 - Sun, Jing
A2 - Sun, Meng
PB - Springer
CY - Cham
ER -
