Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

A survey of challenges for runtime verification from advanced application domains (beyond software)

César Sanchez 1 Gerardo Schneider 2 Wolfgang Ahrendt 3 Ezio Bartocci 4 Domenico Bianculli 5 Christian Colombo 6 Yliès Falcone 7, 8, 9 Adrian Francalanza 6 Srđan Krstić 10 Joa̋o Lourenço 11 Dejan Nickovic 12 Gordon Pace 13 José Rufino 11 Julien Signoles 14 Dmitriy Traytel 15 Alexander Weiss 16
1 IMDEA Software Institute [Madrid]
2 GU - University of Gothenburg
3 Chalmers University of Technology [Göteborg]
4 TU Wien - Technische Universität Wien
5 Uni.lu - Université du Luxembourg
6 University of Malta [Malta]
7 LIG - Laboratoire d'Informatique de Grenoble
8 UGA UFR IMAG - Université Grenoble Alpes - UFR Informatique et Mathématiques Appliquées
9 CORSE - Compiler Optimization and Run-time Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
10 D-INFK - Department of Computer Science [ETH Zürich]
11 NOVA - Universidade Nova de Lisboa = NOVA University of Lisboa
12 AIT - Austrian Institute of Technology [Vienna]
13 Department of Computer Science [Malta]
14 LSL - Laboratoire Sûreté des Logiciels
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
15 ETH Zürich - Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology in Zürich [Zürich]
16 University of Edinburgh
Abstract : 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.
Type de document :
Article dans une revue
Liste complète des métadonnées

Littérature citée [332 références]  Voir  Masquer  Télécharger
https://hal.archives-ouvertes.fr/hal-02433558
Contributeur : Yliès Falcone <>
Soumis le : jeudi 9 janvier 2020 - 11:21:40
Dernière modification le : jeudi 19 novembre 2020 - 13:02:12
Archivage à long terme le : : samedi 11 avril 2020 - 10:58:57

Fichier

Vignette du document
fmsd8.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

LIG | LIG-SRCPR-CORSE | CEA | INRIA | CEA-UPSAY | DRT | LIST | LIG_SRCPR | CNRS | UGA

Citation

César Sanchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, et al.. A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design, Springer Verlag, 2019, 54 (3), pp.279-335. ⟨10.1007/s10703-019-00337-w⟩. ⟨hal-02433558⟩

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

152

Téléchargements de fichiers

405