Reference : A Survey of Challenges for Runtime Verification from Advanced Application Domains (Be...
Scientific journals : Article
Engineering, computing & technology : Computer science
Security, Reliability and Trust
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Sánchez, César [> >]
Schneider, Gerardo [> >]
Ahrendt, Wolfgang [> >]
Bartocci, Ezio [> >]
Bianculli, Domenico mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) >]
Colombo, Christian [> >]
Falcone, Yliés [> >]
Francalanza, Adrian [> >]
Krstic, Srdan []
Lourenço, João []
Nickovic, Dejan [> >]
Pace, Gordon J. [> >]
Rufino, Jose [> >]
Signoles, Julien [> >]
Traytel, Dmitriy [> >]
Weiss, Alexander [> >]
Formal Methods in System Design
Kluwer Academic Publishers
Yes (verified by ORBilu)
[en] 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.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
European Cooperation in Science and Technology (COST)
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The original publication is available at

File(s) associated to this reference

Fulltext file(s):

Open access
rv-survey-fmsd2019.pdfPublisher postprint652.63 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.