On Real-Time Monitoring with Imprecise Timestamps

被引：0
|
作者：
Basin, David [1 ]
Klaedtke, Felix [2 ]
Marinovic, Srdjan [1 ]
Zalinescu, Eugen [1 ]
机构：
[1] Swiss Fed Inst Technol, Inst Informat Secur, Zurich, Switzerland
[2] NEC Europe Ltd, Heidelberg, Germany
来源：
RUNTIME VERIFICATION, RV 2014 | 2014年 / 8734卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Existing real-time monitoring approaches assume traces with precise timestamps. Their correctness is thus indefinite when monitoring the behavior of systems with imprecise clocks. We address this problem for a metric temporal logic: We identify classes of formulas for which we can leverage existing monitors to correctly reason about observed system traces.
引用
收藏
页码：193 / 198
页数：6
相关论文
共 50 条
  • [1] On Real-Time Monitoring with Imprecise Timestamps
    Basin, David
    Klaedtke, Felix
    Marinovic, Srdjan
    Zéalinescu, Eugen
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8734 : 193 - 198
  • [2] THE DEVELOPMENT OF IMPRECISE REAL-TIME SYSTEMS
    PORTMAN, M
    ZEDAN, HSM
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 27 (02) : 73 - 83
  • [3] An imprecise real-time video transmission algorithm
    Cheng, AMK
    Huang, XF
    [J]. IMAGE ANALYSIS APPLICATIONS AND COMPUTER GRAPHICS, 1995, 1024 : 491 - 492
  • [4] Specification and management of QoS in imprecise real-time databases
    Amirijoo, M
    Hansson, J
    Son, SH
    [J]. SEVENTH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 2003, : 192 - 201
  • [5] Scheduling imprecise tasks in real-time distributed systems
    de Oliveira, WS
    Fraga, JD
    Farines, JM
    [J]. FOURTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2001, : 319 - 326
  • [6] On applying imprecise computation to real-time AI systems
    Chen, IR
    [J]. COMPUTER JOURNAL, 1995, 38 (06): : 434 - 442
  • [7] Scheduling imprecise task graphs for real-time applications
    Ravindran, R. C.
    Krishna, C. Mani
    Koren, Israel
    Koren, Zahava
    [J]. INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2014, 6 (01) : 73 - 85
  • [8] A real-time network manager for distributed imprecise computation
    Kobayashi, H
    Yamasaki, N
    Anzai, Y
    [J]. NEW TECHNOLOGIES FOR COMPUTER CONTROL 2001, 2002, : 71 - 76
  • [9] REAL-TIME MONITORING
    BLACKBUM, JP
    [J]. INTENSIVE CARE MEDICINE, 1979, 5 (03) : 158 - 158
  • [10] REAL-TIME MONITORING
    Thayer, Ann M.
    [J]. CHEMICAL & ENGINEERING NEWS, 2014, 92 (47) : 8 - 12
12345