Over the last 20 years, runtime verification (RV) has grown into a diverse and active field,
which has stimulated the development of numerous theoretical frameworks and practical …

We present rtamt, an online monitoring library for Signal Temporal Logic (STL) and its
interface-aware variant (IA-STL), providing both discrete-and dense-time interpretation of the …

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 …

Runtime verification (RV) enables monitoring systems at runtime, to detect property
violations early and limit their potential consequences. This paper presents an end-to-end …

The autonomous control of unmanned aircraft is a highly safety-critical domain with great
economic potential in a wide range of application areas, including logistics, agriculture, civil …

Stream-based runtime monitoring frameworks are safety assurance tools that check the
runtime behavior of a system against a formal specification. This tutorial provides a hands …

This paper reports on the integration of runtime monitoring into fully-electric aircraft designed
by Volocopter, a German aircraft manufacturer of electric multi-rotor helicopters. The runtime …

Runtime Verification studies how to check a run of a system against a formal specification,
typically expressed in some temporal logic. A monitor must produce a verdict at each step …

Realizing desired properties “by construction” is a highly appealing goal in the design of
safety-critical embedded systems. As verification and validation tasks in this domain are …

We study monitoring of linear-time arithmetic properties against finite traces generated by an
unknown dynamic system. The monitoring state is determined by considering at once the …