Real-Time Visualization of Stream-Based Monitoring Data

被引:2
|
作者
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 条
  • [1] Stream-Based Monitors for Real-Time Properties
    Torfah, Hazem
    RUNTIME VERIFICATION, RV 2019, 2019, 11757 : 91 - 110
  • [2] A traffic monitoring stream-based real-time vehicular offence detection approach
    Liu, Ying
    Ou, Guoyu
    JOURNAL OF INTELLIGENT TRANSPORTATION SYSTEMS, 2018, 22 (01) : 53 - 64
  • [3] Architectural Design Of Data Stream-Based Big Data Real-Time Analysis System
    Liu, Qiang
    Lv, Junmin
    Yuan, Xun
    Luo, Renyi
    Lv, Dekui
    PROCEEDINGS OF THE 2017 2ND JOINT INTERNATIONAL INFORMATION TECHNOLOGY, MECHANICAL AND ELECTRONIC ENGINEERING CONFERENCE (JIMEC 2017), 2017, 62 : 153 - 156
  • [4] Stream-based animation of real-time crowd scenes
    Lister, Wayne Daniel
    Day, Andy
    COMPUTERS & GRAPHICS-UK, 2012, 36 (06): : 651 - 657
  • [5] Scheduling of Stream-Based Real-Time Applications for Heterogeneous Systems
    Virlet, Bruno
    Zhou, Xing
    Giacalone, Jean-Pierre
    Kuhn, Bob
    Garzaran, Maria Jesus
    Padua, David
    LCTES 11: PROCEEDINGS OF THE ACM SIGPLAN/SIGBED 2011 CONFERENCE ON LANGUAGES, COMPILERS, TOOLS AND THEORY FOR EMBEDDED SYSTEMS, 2011, : 1 - 10
  • [6] Scheduling of Stream-Based Real-Time Applications for Heterogeneous Systems
    Virlet, Bruno
    Zhou, Xing
    Giacalone, Jean-Pierre
    Kuhn, Bob
    Garzaran, Maria Jesus
    Padua, David
    ACM SIGPLAN NOTICES, 2011, 46 (05) : 1 - 10
  • [7] A Data Stream-Based, Integrative Approach to Reliable and Easily Manageable Real Time Environmental Monitoring
    Jiang, Meilan
    Lee, Jonghyun
    Jeong, Karpjoo
    Cui, Zhenguo
    Kim, Bomchul
    Hwang, Suntae
    Choi, Young Jean
    INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2015,
  • [8] Lostrego: A distributed stream-based infrastructure for the real-time gathering and analysis of heterogeneous educational data
    Estevez-Ayres, Iria
    Arias Fisteus, Jesus
    Delgado-Kloos, Carlos
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2017, 100 : 56 - 68
  • [9] Stream-based Hebbian eigenfilter for real-time neuronal spike discrimination
    Bo Yu
    Terrence Mak
    Xiangyu Li
    Leslie Smith
    Yihe Sun
    Chi-Sang Poon
    BioMedical Engineering OnLine, 11
  • [10] Stream-based Hebbian eigenfilter for real-time neuronal spike discrimination
    Yu, Bo
    Mak, Terrence
    Li, Xiangyu
    Smith, Leslie
    Sun, Yihe
    Poon, Chi-Sang
    BIOMEDICAL ENGINEERING ONLINE, 2012, 11