CISPA
Browse

File(s) not publicly available

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems

conference contribution
posted on 2023-11-29, 18:12 authored by Peter Faymonville, Bernd FinkbeinerBernd Finkbeiner, Malte SchledjewskiMalte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
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.

History

Preferred Citation

Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup and Hazem Torfah. StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. In: Computer Aided Verification (CAV). 2019.

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

Computer Aided Verification (CAV)

Legacy Posted Date

2020-05-26

Open Access Type

  • Gold

BibTeX

@inproceedings{cispa_all_3078, title = "StreamLAB: Stream-based Monitoring of Cyber-Physical Systems", author = "Faymonville, Peter and Finkbeiner, Bernd and Schledjewski, Malte and Schwenger, Maximilian and Stenger, Marvin and Tentrup, Leander and Torfah, Hazem", booktitle="{Computer Aided Verification (CAV)}", year="2019", }

Usage metrics

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC