Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy

Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, Ege Sarac (Autor:in und Vortragende:r)

Publikation: Beitrag in Buch oder TagungsbandBeitrag in Tagungsband ohne PräsentationBegutachtung

Abstract

In distributed systems with processes that do not share a global clock, partial synchrony is achieved by clock synchronization that guarantees bounded clock skew among all applications. Existing solutions for distributed runtime verification under partial synchrony against temporal logic specifications are exact but suffer from significant computational overhead. In this paper, we propose an approximate distributed monitoring algorithm for Signal Temporal Logic (STL) that mitigates this issue by abstracting away potential interleaving behaviors. This conservative abstraction enables a significant speedup of the distributed monitors, albeit with a tradeoff in accuracy. We address this tradeoff with a methodology that combines our approximate monitor with its exact counterpart, resulting in enhanced efficiency without sacrificing precision. We evaluate our approach with multiple experiments, showcasing its efficacy in both real-world applications and synthetic examples.
OriginalspracheEnglisch
TitelRuntime Verification - 23rd International Conference, (RV) 2024
Redakteure/-innenErika Ábrahám, Houssam Abbas
Seiten282-301
Band15191
ISBN (elektronisch)978-3-031-74234-7
DOIs
PublikationsstatusVeröffentlicht - 2024
VeranstaltungThe 24th International Conference on Runtime Verification (RV) 2024 - Boğaziçi University, Istandbul, Türkei
Dauer: 15 Okt. 202417 Okt. 2024

Publikationsreihe

Name Lecture Notes in Computer Science
Herausgeber (Verlag)Springer
Band15191
ISSN (Print)0302-9743
ISSN (elektronisch)1611-3349

Konferenz

KonferenzThe 24th International Conference on Runtime Verification (RV) 2024
Land/GebietTürkei
StadtIstandbul
Zeitraum15/10/2417/10/24

Research Field

  • Dependable Systems Engineering

Fingerprint

Untersuchen Sie die Forschungsthemen von „Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy“. Zusammen bilden sie einen einzigartigen Fingerprint.

Diese Publikation zitieren