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
Fingerprint
Dive into the research topics of 'Rule systems for run-time monitoring: From EAGLE to RULER'. Together they form a unique fingerprint.Impacts
-
Rule-based analysis for talking to spacecraft
(Participant), (Participant) & Reger, G. (Participant)
Impact: Economic, Technological