DeepAI AI Chat
Log In Sign Up

A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)

by   Cesar Sanchez, et al.

Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors. Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor. Most of the applications in runtime verification have been focused on the dynamic analysis of software, even though there are many more potential applications to other computational devices and target systems. In this paper we present a collection of challenges for runtime verification extracted from concrete application domains, focusing on the difficulties that must be overcome to tackle these specific challenges. The computational models that characterize these domains require to devise new techniques beyond the current state of the art in runtime verification.


page 1

page 2

page 3

page 4


RVHyper: A Runtime Verification Tool for Temporal Hyperproperties

We present RVHyper, a runtime verification tool for hyperproperties. Hyp...

Correct-by-Construction Runtime Enforcement in AI – A Survey

Runtime enforcement refers to the theories, techniques, and tools for en...

On Distributed Runtime Verification by Aggregate Computing

Runtime verification is a computing analysis paradigm based on observing...

Runtime Verification For Timed Event Streams With Partial Information

Runtime Verification (RV) studies how to analyze execution traces of a s...

Runtime Software Patching: Taxonomy, Survey and Future Directions

Runtime software patching aims to minimize or eliminate service downtime...

An Evaluation of Models for Runtime Approximation in Link Discovery

Time-efficient link discovery is of central importance to implement the ...

Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes

We use runtime verification (RV) to check various properties in a smart ...