# Leveraging Static Analysis: An IDE for RTLola

arXiv: https://arxiv.org/abs/2311.08096 · HTML: https://mlsanity.com/paper/2311.08096/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 14 Nov 2023.

## Built on by (most cited first, 2 of 2)

- [Stream-Based Monitoring of Algorithmic Fairness](https://mlsanity.com/paper/2501.18331/) (2025)
- [FairMon: A Tool for Monitoring and Visualizing Algorithmic Fairness](https://mlsanity.com/paper/2609.26123/) (2026)

## Abstract (arXiv)

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.