Organising LTL Monitors over Distributed Systems with a Global Clock - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

Organising LTL Monitors over Distributed Systems with a Global Clock

Résumé

Users wanting to monitor distributed systems often prefer to abstract away the architecture of the system, allowing them to directly specify correct-ness properties on the global system behaviour. To support this abstraction, a compilation of the properties would not only involve the typical choice of monitoring algorithm, but also the organisation of submonitors across the component network. Existing approaches, considered in the context of LTL properties over distributed systems with a global clock, include the so-called orchestration and migration approaches. In the orchestration approach, a central monitor receives the events from all subsystems. In the migration approach, LTL formulae transfer themselves across subsystems to gather local information. We propose a third way of organising submonitors: choreography — where monitors are orgnized as a tree across the distributed system, and each child feeds intermediate results to its parent. We formalise this approach, proving its cor-rectness and worst case performance, and report on an empirical investigation comparing the three approaches on several concerns of decentralised monitoring.
Fichier principal
Vignette du fichier
rv14-1.pdf (277.5 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01120551 , version 1 (26-02-2015)

Identifiants

Citer

Christian Colombo, Yliès Falcone. Organising LTL Monitors over Distributed Systems with a Global Clock. 14th International Conference on Runtime Verification, Sep 2014, Toronto, Canada. ⟨10.1007/978-3-319-11164-3_12⟩. ⟨hal-01120551⟩
155 Consultations
154 Téléchargements

Altmetric

Partager

More