CISPA
Browse

File(s) not publicly available

Real-time Visualization of Stream-based Monitoring Data

conference contribution
posted on 2023-11-29, 18:21 authored by Jan BaumeisterJan Baumeister, Bernd FinkbeinerBernd Finkbeiner, Stefan Gumhold, Malte SchledjewskiMalte Schledjewski
Stream-based runtime monitors are used in safety-critical applications such as Unmanned Aerial Systems (UAS) to compute comprehensive statistics and logical assessments of system health that provide the human operator with critical information in hand-over situations. In such applications, a visual display of the monitoring data can be much more helpful than the textual alerts provided by a more traditional user interface. This visualization requires extensive real-time data processing, which includes the synchronization of data from different streams, filtering and aggregation, and priorization and management of user attention. We present a visualization approach for the RTLola monitoring framework. Our approach is based on the principle that the necessary data processing is the responsibility of the monitor itself, rather than the responsibility of some external visualization tool. We show how the various aspects of the data transformation can be described as RTLola stream equations and linked to the visualization component through a bidirectional synchronous interface. In our experience, this approach leads to highly informative visualizations as well as to understandable and easily maintainable monitoring code.

History

Preferred Citation

Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold and Malte Schledjewski. Real-time Visualization of Stream-based Monitoring Data. In: International Conference on Runtime Verification (RV). 2022.

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

International Conference on Runtime Verification (RV)

Legacy Posted Date

2022-07-04

Open Access Type

  • Unknown

BibTeX

@inproceedings{cispa_all_3719, title = "Real-time Visualization of Stream-based Monitoring Data", author = "Baumeister, Jan and Finkbeiner, Bernd and Gumhold, Stefan and Schledjewski, Malte", booktitle="{International Conference on Runtime Verification (RV)}", year="2022", }

Usage metrics

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC