Runtime Verification - 17 Years Later

2018 ◽  
pp. 3-17 ◽  
Author(s):  
Klaus Havelund ◽  
Grigore Roşu
Keyword(s):  
Runtime Verification

RML: Theory and practice of a domain specific language for runtime verification

2021 ◽  
Vol 205 ◽  
pp. 102610
Author(s):  
Davide Ancona ◽  
Luca Franceschini ◽  
Angelo Ferrando ◽  
Viviana Mascardi
Keyword(s):  
Runtime Verification ◽  
Theory And Practice ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific

scholarly journals From parametric trace slicing to rule systems

2021 ◽  
Author(s):  
Giles Reger ◽  
David Rydeheard
Keyword(s):  
Runtime Verification ◽  
Specification Languages ◽  
Execution Traces ◽  
Running System ◽  
Proof Of Correctness ◽  
Rule Systems ◽  
The Relationship ◽  
Specification Techniques ◽  
Previous Conference

AbstractParametric runtime verification is the process of verifying properties of execution traces of (data carrying) events produced by a running system. This paper continues our work exploring the relationship between specification techniques for parametric runtime verification. Here we consider the correspondence between trace-slicing automata-based approaches and rule systems. The main contribution is a translation from quantified automata to rule systems, which has been implemented in Scala. This then allows us to highlight the key differences in how the two formalisms handle data, an important step in our wider effort to understand the correspondence between different specification languages for parametric runtime verification. This paper extends a previous conference version of this paper with further examples, a proof of correctness, and an optimisation based on a notion of redundancy observed during the development of the translation.

scholarly journals Integrating runtime verification into an automated UAS traffic management system

2021 ◽  
Author(s):  
Abigail Hammer ◽  
Matthew Cauwels ◽  
Benjamin Hertz ◽  
Phillip H. Jones ◽  
Kristin Y. Rozier
Keyword(s):  
Traffic Management ◽  
Management System ◽  
Runtime Verification ◽  
Traffic Management System
Sign in / Sign up

Export Citation Format

Share Document