POLIMON: Checking Temporal Properties over Out-of-order Streams at Runtime
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911851687706624 |
|---|---|
| author | Klaedtke, Felix |
| author_facet | Klaedtke, Felix |
| contents | This paper presents the monitoring tool POLIMON for checking system behavior at runtime against specifications expressed as formulas in the real-time logic MTL or its extension with the freeze quantifier. The tool's distinguishing feature is that POLIMON can receive messages describing the system events out of order. Furthermore, since POLIMON processes received messages immediately, it outputs verdicts promptly when a message's described system event leads to a violation of the specification. This makes the tool well suited, e.g., for verifying the behavior of distributed systems with unreliable channels at runtime. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_15723 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | POLIMON: Checking Temporal Properties over Out-of-order Streams at Runtime Klaedtke, Felix Logic in Computer Science This paper presents the monitoring tool POLIMON for checking system behavior at runtime against specifications expressed as formulas in the real-time logic MTL or its extension with the freeze quantifier. The tool's distinguishing feature is that POLIMON can receive messages describing the system events out of order. Furthermore, since POLIMON processes received messages immediately, it outputs verdicts promptly when a message's described system event leads to a violation of the specification. This makes the tool well suited, e.g., for verifying the behavior of distributed systems with unreliable channels at runtime. |
| title | POLIMON: Checking Temporal Properties over Out-of-order Streams at Runtime |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2404.15723 |