Taleb Rania, Hallé Sylvain et Khoury Raphaël. (2023). Uncertainty in runtime verification : a survey. Computer Science Review, 50, (e100594), p. 1-27.
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 |
Éditer le document (administrateurs uniquement)