Rule systems for run-time monitoring: From EAGLE to RULER

被引：0
|
作者：
Barringer, Howard [1 ]
Rydeheard, David [1 ]
Havelund, Klaus [2 ]
机构：
[1] Univ Manchester, Sch Comp Sci, Oxford Rd, Manchester M13 9PL, Lancs, England
[2] CALTECH, NASAs Jet Prop Lab, Pasadena, CA 91109 USA
来源：
RUNTIME VERIFICATION | 2007年 / 4839卷
基金：
美国国家航空航天局;
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In [3], EAGLE was introduced as a general purpose rule-based temporal logic for specifying run-time monitors. A novel and relatively efficient interpretative trace-checking scheme via stepwise transformation of an EAGLE monitoring formula was defined and implemented. However, application in real-world examples has shown efficiency weaknesses, especially those associated with large-scale symbolic formula manipulation. In this paper, after briefly reviewing EAGLE, we introduce RULER, a primitive conditional rule-based system, which we claim can be more efficiently implemented for run-time checking, and into which one can compile various temporal logics used for run-time verification.
引用
收藏
页码：111 / +
页数：3
相关论文
共 50 条
  • [1] Rule Systems for Run-time Monitoring: from EAGLE to RULER
    Barringer, Howard
    Rydeheard, David
    Havelund, Klaus
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (03) : 675 - 706
  • [2] Run-time monitoring for dependable systems: an approach and a case study
    Rota, SR
    de Almeida, JR
    [J]. 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2004, : 41 - 49
  • [3] Run-time monitoring of distributed applications
    Logean, X
    Dietrich, F
    Karamyan, H
    Koppenhöfer, S
    [J]. MIDDLEWARE'98: IFIP INTERNATIONAL CONFERENCE ON DISTRIBUTED SYSTEMS PLATFORMS AND OPEN DISTRIBUTED PROCESSING, 1998, : 459 - 474
  • [4] Run-Time Monitoring of Electronic Contracts
    Kyas, Marcel
    Prisacariu, Cristian
    Schneider, Gerardo
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 397 - 407
  • [5] Interpretable Run-Time Monitoring and Replanning for Safe Autonomous Systems Operations
    Di Franco, Carmelo
    Bezzo, Nicola
    [J]. IEEE ROBOTICS AND AUTOMATION LETTERS, 2020, 5 (02): : 2427 - 2434
  • [6] Building run-time reconfigurable systems from tiles
    Lee, G
    Milne, G
    [J]. FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, 2003, 2778 : 252 - 261
  • [7] Foundations for the run-time monitoring of reactive systems - Fundamentals of the MaC language
    Viswanathan, M
    Kim, M
    [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, 2005, 3407 : 543 - 556
  • [8] A Framework for Run-time Reconfigurable Systems
    Michael Eisenring
    Marco Platzner
    [J]. The Journal of Supercomputing, 2002, 21 : 145 - 159
  • [9] Reprogramming Embedded Systems at Run-Time
    Oliver, Richard
    Wilde, Adriana
    Zaluska, Ed
    [J]. INTERNATIONAL JOURNAL ON SMART SENSING AND INTELLIGENT SYSTEMS, 2014, 7 (05):
  • [10] A framework for run-time reconfigurable systems
    Eisenring, M
    Platzner, M
    [J]. JOURNAL OF SUPERCOMPUTING, 2002, 21 (02): : 145 - 159
12345