Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking

Gainer, Paul and Linker, Sven and Dixon, Clare and Hustadt, Ullrich and Fisher, Michael (2017) Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. In: Quantitative Evaluation of Systems. Lecture Notes in Computer Science . Springer, Cham, 224–239. ISBN 9783319663340

Full text not available from this repository.

Abstract

Synchronisation is an emergent phenomenon observable in nature. Natural synchronising systems have inspired the development of protocols for achieving coordination in a diverse range of distributed dynamic systems. Spontaneously synchronising systems can be mathematically modelled as coupled oscillators. In this paper we present a novel approach using model checking to reason about achieving synchrony for different models of synchronisation. We describe a general, formal population model where oscillators interact at discrete moments in time, and whose cycles are sequences of discrete states. Using the probabilistic model checker Prism, we investigate the influence of various parameters of the model on the likelihood of, and time required for, achieving synchronisation.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
155614
Deposited By:
Deposited On:
23 Jun 2021 15:45
Refereed?:
Yes
Published?:
Published
Last Modified:
01 Sep 2021 05:11