Send email Copy Email Address

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems


With ever increasing autonomy of cyber-physical systems, monitoring becomes an integral part for ensuring the safety of the system at runtime. StreamLAB is a monitoring framework with high degree of expressibility and strong correctness guarantees. Specifications are written in RTLola, 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. We demonstrate the applicability of StreamLAB on typical monitoring tasks for cyber-physical systems, such as sensor validation and system health checks.

Conference / Medium

Computer Aided Verification - 31th International Conference, CAV

Date published


Date last modified

2021-05-05 08:40:53