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 (RV 2022) | 2022年 / 13498卷
关键词
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 条
  • [1] Stream-Based Monitors for Real-Time Properties
    Torfah, Hazem
    RUNTIME VERIFICATION, RV 2019, 2019, 11757 : 91 - 110
  • [2] 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,
  • [3] Automatic Optimizations for Stream-Based Monitoring Languages
    Baumeister, Jan
    Finkbeiner, Bernd
    Kruse, Matthis
    Schwenger, Maximilian
    RUNTIME VERIFICATION (RV 2020), 2020, 12399 : 451 - 461
  • [4] A Stream-Based Specification Language for Network Monitoring
    Faymonville, Peter
    Finkbeiner, Bernd
    Schirmer, Sebastian
    Torfah, Hazem
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 152 - 168
  • [5] FPGA Stream-Monitoring of Real-time Properties
    Baumeister, Jan
    Finkbeiner, Bernd
    Schwenger, Maximilian
    Torfah, Hazem
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (05)
  • [6] Visualization of real-time monitoring datagraphic of urban environmental quality
    Pengyu Chen
    EURASIP Journal on Image and Video Processing, 2019
  • [7] Visualization of real-time monitoring datagraphic of urban environmental quality
    Chen, Pengyu
    EURASIP JOURNAL ON IMAGE AND VIDEO PROCESSING, 2019, 2019 (1)
  • [8] Sustainable Data Collection Framework: Real-Time, Online Data Visualization
    Sun, Tien-Lung
    Salgado, Gustavo Adolfo Miranda
    SUSTAINABLE DESIGN AND MANUFACTURING 2017, 2017, 68 : 58 - 67
  • [9] Real-time Immersive VR Visualization of Ocean Climate Data
    Brisc, Felicia
    Serra, Nuno
    2021 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS (VRW 2021), 2021, : 238 - 241
  • [10] Real-time resource location data collection and visualization technology for construction safety and activity monitoring applications
    Cheng, Tao
    Teizer, Jochen
    AUTOMATION IN CONSTRUCTION, 2013, 34 : 3 - 15