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 条
  • [31] A Real-time Monitoring System Based on ZigBee and 4G Communications for Photovoltaic Generation
    Xia, Kun
    Ni, Jiawen
    Ye, Yanhong
    Xu, Po
    Wang, Yiming
    CSEE JOURNAL OF POWER AND ENERGY SYSTEMS, 2020, 6 (01): : 52 - 63
  • [32] Vectorizing Quantum Turbulence Vortex-Core Lines for Real-Time Visualization
    Liu, Daoming
    Xiong, Chi
    Liu, Xiaopei
    IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2021, 27 (09) : 3794 - 3807
  • [33] Body Architectures Real time data visualization and responsive immersive environments
    Diniz, Nancy
    Melendez, Frank
    Boonyapanachoti, Woraya
    Morales, Sebastian
    ECAADE SIGRADI 2019: ARCHITECTURE IN THE AGE OF THE 4TH INDUSTRIAL REVOLUTION, VOL 2, 2019, : 739 - 746
  • [34] Data stream visualization framework for smart cities
    F. J. Villanueva
    C. Aguirre
    A. Rubio
    D. Villa
    M. J. Santofimia
    J. C. López
    Soft Computing, 2016, 20 : 1671 - 1681
  • [35] Data stream visualization framework for smart cities
    Villanueva, F. J.
    Aguirre, C.
    Rubio, A.
    Villa, D.
    Santofimia, M. J.
    Lopez, J. C.
    SOFT COMPUTING, 2016, 20 (05) : 1671 - 1681
  • [36] Dashboard development for near real-time visualization of COVID-19 vaccine safety surveillance data in the Vaccine Safety Datalink
    Kenigsberg, Tat'Yana A.
    Hause, Anne M.
    McNeil, Michael M.
    Nelson, Jennifer C.
    Shoup, Jo Ann
    Goddard, Kristin
    Lou, Yingbo
    Hanson, Kayla E.
    Glenn, Sungching C.
    Weintraub, Eric S.
    VACCINE, 2022, 40 (22) : 3064 - 3071
  • [37] Toward real-time indoor airflow simulations for immersive visualization using adaptive localization method
    Srinivasan, Ravi
    Malkawi, Ali
    BUILDING SIMULATION 2007, VOLS 1-3, PROCEEDINGS, 2007, : 952 - 957
  • [38] Dive In! Enabling Progressive Loading for Real-Time Navigation of Data Visualizations
    Glueck, Michael
    Khan, Azam
    Wigdor, Daniel J.
    32ND ANNUAL ACM CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI 2014), 2014, : 561 - 570
  • [39] AutoDiagn: An Automated Real-Time Diagnosis Framework for Big Data Systems
    Demirbaga, Umit
    Wen, Zhenyu
    Noor, Ayman
    Mitra, Karan
    Alwasel, Khaled
    Garg, Saurabh
    Zomaya, Albert Y.
    Ranjan, Rajiv
    IEEE TRANSACTIONS ON COMPUTERS, 2022, 71 (05) : 1035 - 1048
  • [40] Efficient Indexing Technology for Real‑Time Visualization of Large‑Scale Geographic Vector Data
    Liu Z.
    Chen L.
    Yang A.
    Ma M.
    Cao J.
    Wuhan Daxue Xuebao (Xinxi Kexue Ban)/Geomatics and Information Science of Wuhan University, 2023, 48 (09): : 1512 - 1521