Monitoring Timed Properties (Revisited)
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2022
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866915517486333952 |
|---|---|
| author | Grosen, Thomas Møller Kauffman, Sean Larsen, Kim Guldstrand Zimmermann, Martin |
| author_facet | Grosen, Thomas Møller Kauffman, Sean Larsen, Kim Guldstrand Zimmermann, Martin |
| contents | In this paper we study monitoring of real-time systems with respect to properties expressed either in Metric Interval Temporal Logic or as Timed Büchi Automata. We offer efficient symbolic online monitoring algorithms in a number of settings, exploiting so-called zones well-known from efficient model checking of Timed Automata. Our contributions include a new, much simplified treatment of time divergence and monitoring under timing uncertainty. The online monitoring procedure that handles time divergence, as well as uncertain timing, is implemented in the tool MoniTAal, and shown to effectively monitor properties over long traces. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2206_14590 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Monitoring Timed Properties (Revisited) Grosen, Thomas Møller Kauffman, Sean Larsen, Kim Guldstrand Zimmermann, Martin Formal Languages and Automata Theory Logic in Computer Science In this paper we study monitoring of real-time systems with respect to properties expressed either in Metric Interval Temporal Logic or as Timed Büchi Automata. We offer efficient symbolic online monitoring algorithms in a number of settings, exploiting so-called zones well-known from efficient model checking of Timed Automata. Our contributions include a new, much simplified treatment of time divergence and monitoring under timing uncertainty. The online monitoring procedure that handles time divergence, as well as uncertain timing, is implemented in the tool MoniTAal, and shown to effectively monitor properties over long traces. |
| title | Monitoring Timed Properties (Revisited) |
| topic | Formal Languages and Automata Theory Logic in Computer Science |
| url | https://arxiv.org/abs/2206.14590 |