Constellation, le dépôt institutionnel de l'Université du Québec à Chicoutimi

Uncertainty in runtime verification : a survey

Taleb Rania, Hallé Sylvain et Khoury Raphaël. (2023). Uncertainty in runtime verification : a survey. Computer Science Review, 50, (e100594), p. 1-27.

[thumbnail of Taleb_etal_2023_ComputerScRev.pdf]
Prévisualisation
PDF - Version publiée
Disponible sous licence Creative Commons (CC-BY 2.5).

772kB

URL officielle: http://dx.doi.org/doi:10.1016/j.cosrev.2023.100594

Résumé

Runtime Verification can be defined as a collection of formal methods for studying the dynamic evaluation of execution traces against formal specifications. Aside from creating a monitor from specifications and building algorithms for the evaluation of the trace, the process of gathering events and making them available for the monitor and the communication between the system under analysis and the monitor are critical and important steps in the runtime verification process. In many situations and for a variety of reasons, the event trace could be incomplete or could contain imprecise events. When a missing or ambiguous event is detected, the monitor may be unable to deliver a sound verdict. In this survey, we review the literature dealing with the problem of monitoring with incomplete traces. We list the different causes of uncertainty that have been identified, and analyze their effect on the monitoring process. We identify and compare the different methods that have been proposed to perform monitoring on such traces, highlighting the advantages and drawbacks of each method.

Type de document:Article publié dans une revue avec comité d'évaluation
ISSN:15740137
Volume:50
Numéro:e100594
Pages:p. 1-27
Version évaluée par les pairs:Oui
Date:Novembre 2023
Nombre de pages:1
Identifiant unique:10.1016/j.cosrev.2023.100594
Sujets:Sciences naturelles et génie > Sciences mathématiques > Informatique
Département, module, service et unité de recherche:Départements et modules > Département d'informatique et de mathématique
Mots-clés:dynamic evaluation, monitoring process, runtime verification, execution trace
Déposé le:16 oct. 2023 14:40
Dernière modification:16 oct. 2023 14:40
Afficher les statistiques de telechargements

Éditer le document (administrateurs uniquement)

Creative Commons LicenseSauf indication contraire, les documents archivés dans Constellation sont rendus disponibles selon les termes de la licence Creative Commons "Paternité, pas d'utilisation commerciale, pas de modification" 2.5 Canada.

Bibliothèque Paul-Émile-Boulet, UQAC
555, boulevard de l'Université
Chicoutimi (Québec)  CANADA G7H 2B1
418 545-5011, poste 5630