CISPA
Browse

Leveraging Static Analysis: An IDE for RTLola.

Download (2.11 MB)
journal contribution
posted on 2024-02-19, 09:35 authored by Bernd FinkbeinerBernd Finkbeiner, Florian KohnFlorian Kohn, Malte Schledjewski
Runtime monitoring is an essential part of guaranteeing the safety of cyber-physical systems. Recently, runtime monitoring frameworks based on formal specification languages gained momentum. These languages provide valuable abstractions for specifying the behavior of a system. Yet, writing specifications remains challenging as, among other things, the specifier has to keep track of the timing behavior of streams. This paper presents the RTLola Playground, a browser-based development environment for the stream-based runtime monitoring framework RTLola. It features new methods to explore the static analysis results of RTLola, leveraging the advantages of such a formal language to support the developer in writing and understanding specifications. Specifications are executed locally in the browser, plotting the resulting stream values, allowing for intuitive testing. Step-wise execution based on user-provided system traces enables the debugging of identified errors.

History

Primary Research Area

  • Reliable Security Guarantees

Journal

CoRR

Volume

abs/2311.08096

Sub Type

  • Article

BibTeX

@article{Finkbeiner:Kohn:Schledjewski:2023, title = "Leveraging Static Analysis: An IDE for RTLola.", author = "Finkbeiner, Bernd" AND "Kohn, Florian" AND "Schledjewski, Malte", year = 2023, month = 10, journal = "CoRR" }

Usage metrics

    Categories

    No categories selected

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC