StreamLAB – Stream-based Runtime Monitoring

StreamLAB is a monitoring framework with a high degree of expressibility and strong correctness guarantees.
Specifications are written in real-time Lola, a stream-based specification language with formal semantics.
StreamLAB provides an extensive analysis of the specification, including the computation of memory consumption and run-time guarantees.

Tutorial

We provide a tutorial for which you need the tool and example files.

Availability

We provide binaries for Linux, macOS, and Windows:

Related Publications

StreamLAB: Stream-based Monitoring of Cyber-physical Systems

Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah.
CAV 2019

FPGA Stream-Monitoring of Real-time Properties.

Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah.
To appear at EMSOFT 2019

Towards Intelligent System Health Management using Runtime Monitoring.

Christoph Torens, Florian-Michael Adolf, Peter Faymonville, Sebastian Schirmer.
AIAA Information Systems-AIAA Infotech @ Aerospace. Grapevine, Texas.

A Stream-based Specification Language for Network Monitoring.

Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer and Hazem Torfah.
RV2016.

LOLA: Runtime Monitoring of Synchronous Systems.

Ben d’Angelo, Sriram Sankaranarayanan, Cesar Sanchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna.
TIME 2005.

Contact

If you have questions or problems, please do not hesitate to contact stream-lab@react.uni-saarland.de.