Real-Time Visualization of Stream-Based Monitoring Data

被引:3
|
作者
Baumeister, Jan [1 ]
Finkbeiner, Bernd [1 ]
Gumhold, Stefan [2 ]
Schledjewski, Malte [1 ]
机构
[1] CISPA Helmholtz Ctr Informat Secur, D-66123 Saarbrucken, Germany
[2] Tech Univ Dresden, D-01069 Dresden, Germany
来源
关键词
Runtime verification; Stream-based monitoring; Data visualization;
D O I
10.1007/978-3-031-17196-3_21
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:325 / 335
页数:11
相关论文
共 50 条
  • [41] Framework for analyzing the real-time data stream
    Li, Qinghua
    Chen, Qiuxia
    Jiang, Shengyi
    Jisuanji Gongcheng/Computer Engineering, 2005, 31 (16): : 59 - 60
  • [42] Platform for real-time data analysis and visualization based on Big Data methods
    Ferreira, Gabriel
    Alves, Paulo
    de Almeida, Simone
    PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021), 2021,
  • [43] Automatic Optimizations for Stream-Based Monitoring Languages
    Baumeister, Jan
    Finkbeiner, Bernd
    Kruse, Matthis
    Schwenger, Maximilian
    RUNTIME VERIFICATION (RV 2020), 2020, 12399 : 451 - 461
  • [44] A Stream-Based Specification Language for Network Monitoring
    Faymonville, Peter
    Finkbeiner, Bernd
    Schirmer, Sebastian
    Torfah, Hazem
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 152 - 168
  • [45] Hydrate Management with Real-Time Data Visualization
    Lv, Jianjiang
    Yuan, Jianbo
    Minh Vo
    Zhang, Junliang
    PROCEEDINGS OF THE INTERNATIONAL FIELD EXPLORATION AND DEVELOPMENT CONFERENCE 2017, 2019, : 86 - 97
  • [46] Real-time massive data simulation visualization
    Bista, Sujal
    Pack, Michael L.
    2008 IEEE CONFERENCE ON TECHNOLOGIES FOR HOMELAND SECURITY, VOLS 1 AND 2, 2008, : 543 - +
  • [47] Real-Time Clickstream Data Analytics and Visualization
    Hanamanthrao, Ramanna
    Thejaswini, S.
    2017 2ND IEEE INTERNATIONAL CONFERENCE ON RECENT TRENDS IN ELECTRONICS, INFORMATION & COMMUNICATION TECHNOLOGY (RTEICT), 2017, : 2139 - 2144
  • [48] FPGA Stream-Monitoring of Real-time Properties
    Baumeister, Jan
    Finkbeiner, Bernd
    Schwenger, Maximilian
    Torfah, Hazem
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (05)
  • [49] A Real-Time Scheduling Strategy Based on Priority in Data Stream System
    Wang, Yan
    Xuan, Weihong
    Li, Wei
    Song, Baoyan
    Li, Xiaoguang
    HIS 2009: 2009 NINTH INTERNATIONAL CONFERENCE ON HYBRID INTELLIGENT SYSTEMS, VOL 3, PROCEEDINGS, 2009, : 268 - 272
  • [50] Time, data-time, and real-time interactive visualization
    Bryson, S
    COMPUTERS IN PHYSICS, 1997, 11 (03): : 270 - 274