arXiv Open Access 2018

TeSSLa: Temporal Stream-based Specification Language

Lukas Convent Sebastian Hungerecker Martin Leucker Torben Scheffel Malte Schmitz +1 lainnya

Lihat Sumber

Abstrak

Runtime verification is concerned with monitoring program traces. In particular, stream runtime verification (SRV) takes the program trace as input streams and incrementally derives output streams. SRV can check logical properties and compute temporal metrics and statistics from the trace. We present TeSSLa, a temporal stream-based specification language for SRV. TeSSLa supports timestamped events natively and is hence suitable for streams that are both sparse and fine-grained, which often occur in practice. We prove results on TeSSLa's expressiveness and compare different TeSSLa fragments to (timed) automata, thereby inheriting various decidability results. Finally, we present a monitor implementation and prove its correctness.

Topik & Kata Kunci

cs.FL cs.PL

Penulis (6)

Lukas Convent

Sebastian Hungerecker

Martin Leucker

Torben Scheffel

Malte Schmitz

Daniel Thoma

Format Sitasi

APA MLA BibTeX

Convent, L., Hungerecker, S., Leucker, M., Scheffel, T., Schmitz, M., Thoma, D. (2018). TeSSLa: Temporal Stream-based Specification Language. https://arxiv.org/abs/1808.10717

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2018
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓