TeSSLa – An Ecosystem for Runtime Verification

TitleTeSSLa – An Ecosystem for Runtime Verification
Publication TypeConference Paper
Year of Publication2022
AuthorsKallwies, H, Leucker, M, Schmitz, M, Schulz, A, Thoma, D, Weiss, A
Conference Name22nd International Conference on Runtime Verification (RV)
Date Published09/2022
PublisherSpringer International Publishing
Conference LocationTbilissi, Georgia
KeywordsStream Runtime Verification, Toolchain
Abstract

Runtime verification deals with checking correctness properties on the runs of a system under scrutiny. To achieve this, it addresses a variety of sub-problems related to monitoring of systems: These range from the appropriate design of a specification language over efficient monitor generation as hardware and software monitors to solutions for instrumenting the monitored system, preferably in a non-intrusive way. Further aspects play a role for the usability of a runtime verification toolchain, e.g. availability, sufficient documentation and the existence of a developer community. In this paper we present the TeSSLa ecosystem, a runtime verification framework built around the stream runtime verification language TeSSLa: It provides a rich toolchain of mostly freely available compilers for monitor generation on different hardware and software backends, as well as instrumentation mechanisms for various runtime verification requirements. Additionally, we highlight how the online resources and supporting tools of the community-driven project enable the productive usage of stream runtime verification.

URLhttps://link.springer.com/chapter/10.1007/978-3-031-17196-3_20
DOI10.1007/978-3-031-17196-3_20
Bibtex: 
@inproceedings {1417,
	title = {TeSSLa {\textendash} An Ecosystem for Runtime Verification},
	booktitle = {22nd International Conference on Runtime Verification (RV)},
	year = {2022},
	month = {09/2022},
	publisher = {Springer International Publishing},
	organization = {Springer International Publishing},
	address = {Tbilissi, Georgia},
	abstract = {<p>Runtime verification deals with checking correctness properties on the runs of a system under scrutiny. To achieve this, it addresses a variety of sub-problems related to monitoring of systems: These range from the appropriate design of a specification language over efficient monitor generation as hardware and software monitors to solutions for instrumenting the monitored system, preferably in a non-intrusive way. Further aspects play a role for the usability of a runtime verification toolchain, e.g. availability, sufficient documentation and the existence of a developer community. In this paper we present the TeSSLa ecosystem, a runtime verification framework built around the stream runtime verification language TeSSLa: It provides a rich toolchain of mostly freely available compilers for monitor generation on different hardware and software backends, as well as instrumentation mechanisms for various runtime verification requirements. Additionally, we highlight how the online resources and supporting tools of the community-driven project enable the productive usage of stream runtime verification.</p>
},
	keywords = {Stream Runtime Verification, Toolchain},
	doi = {10.1007/978-3-031-17196-3_20},
	url = {https://link.springer.com/chapter/10.1007/978-3-031-17196-3_20},
	author = {Hannes Kallwies and Martin Leucker and Malte Schmitz and Albert Schulz and Daniel Thoma and Alexander Weiss}
}