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

Howard Barringer; David Rydeheard; Klaus Havelund

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

Howard Barringer, David Rydeheard, Klaus Havelund

Research output: Chapter in Book/Conference proceeding › Conference contribution

Abstract

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. © Springer-Verlag Berlin Heidelberg 2007.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)\|Lect. Notes Comput. Sci.
Publisher	Springer Nature
Pages	111-125
Number of pages	14
Volume	4839
ISBN (Print)	3540773940, 9783540773948
Publication status	Published - 2007
Event	7th International Workshop on Runtime Verification, RV 2007 - Vancouver Duration: 1 Jul 2007 → …

Conference

Conference	7th International Workshop on Runtime Verification, RV 2007
City	Vancouver
Period	1/07/07 → …

Keywords

Computer Science, Theory & Methods

Cite this

@inproceedings{3bbe4714f9d34596a458e83a905b1c58,

title = "Rule systems for run-time monitoring: From EAGLE to RULER",

abstract = "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. {\textcopyright} Springer-Verlag Berlin Heidelberg 2007.",

keywords = "Computer Science, Theory \& Methods",

author = "Howard Barringer and David Rydeheard and Klaus Havelund",

note = "Barringer, Howard Rydeheard, David Havelund, Klaus 10 BERLIN BHG55; 7th International Workshop on Runtime Verification, RV 2007 ; Conference date: 01-07-2007",

year = "2007",

language = "English",

isbn = "3540773940",

volume = "4839",

pages = "111--125",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.",

publisher = "Springer Nature",

address = "United States",

}

Barringer, H, Rydeheard, D & Havelund, K 2007, Rule systems for run-time monitoring: From EAGLE to RULER. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. vol. 4839, Springer Nature, pp. 111-125, 7th International Workshop on Runtime Verification, RV 2007, Vancouver, 1/07/07.

Rule systems for run-time monitoring: From EAGLE to RULER. / Barringer, Howard; Rydeheard, David; Havelund, Klaus.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. Vol. 4839 Springer Nature, 2007. p. 111-125.

Research output: Chapter in Book/Conference proceeding › Conference contribution

TY - GEN

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

AU - Barringer, Howard

AU - Rydeheard, David

AU - Havelund, Klaus

N1 - Barringer, Howard Rydeheard, David Havelund, Klaus 10 BERLIN BHG55

PY - 2007

Y1 - 2007

N2 - 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. © Springer-Verlag Berlin Heidelberg 2007.

AB - 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. © Springer-Verlag Berlin Heidelberg 2007.

KW - Computer Science, Theory & Methods

UR - https://www.scopus.com/pages/publications/38549176106

M3 - Conference contribution

SN - 3540773940

SN - 9783540773948

VL - 4839

SP - 111

EP - 125

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.

PB - Springer Nature

T2 - 7th International Workshop on Runtime Verification, RV 2007

Y2 - 1 July 2007

ER -

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

Abstract

Conference

Keywords

Other files and links

Fingerprint

Rule-based analysis for talking to spacecraft

Cite this

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

Abstract

Conference

Keywords

Other files and links

Fingerprint

Impacts

Rule-based analysis for talking to spacecraft

Cite this