2024
DOI: 10.1007/978-3-031-74234-7_18
|View full text |Cite
|
Sign up to set email alerts
|

Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy

Borzoo Bonakdarpour,
Anik Momtaz,
Dejan Ničković
et al.

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 aw… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 22 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?