Article (Scientific journals)
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang et al.
2019In Formal Methods in System Design, 54 (3), p. 279-335
Peer Reviewed verified by ORBi
 

Files


Full Text
rv-survey-fmsd2019.pdf
Publisher postprint (668.29 kB)
Download

This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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 https://rdcu.be/bOhjI


All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[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.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Sánchez, César
Schneider, Gerardo
Ahrendt, Wolfgang
Bartocci, Ezio
Bianculli, Domenico  ;  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
More authors (6 more) Less
External co-authors :
yes
Language :
English
Title :
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Publication date :
November 2019
Journal title :
Formal Methods in System Design
ISSN :
1572-8102
Publisher :
Kluwer Academic Publishers, Netherlands
Volume :
54
Issue :
3
Pages :
279-335
Peer reviewed :
Peer Reviewed verified by ORBi
Focus Area :
Security, Reliability and Trust
Name of the research project :
ARVI
Funders :
COST - European Cooperation in Science and Technology [BE]
Available on ORBilu :
since 02 August 2019

Statistics


Number of views
154 (20 by Unilu)
Number of downloads
243 (3 by Unilu)

Scopus citations®
 
52
Scopus citations®
without self-citations
40
OpenCitations
 
36
WoS citations
 
41

Bibliography


Similar publications



Contact ORBilu