Instrumentation for RV: From Basic Monitoring to Advanced Use Cases - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Instrumentation for RV: From Basic Monitoring to Advanced Use Cases

Résumé

Instrumentation is crucial in Runtime Verification because it should ensure that monitors are fed with relevant and accurate information about the executing program under monitoring. While expressive instrumentation is desirable to handle any possible monitoring scenario, instrumentation should also efficiently capture the just-needed information and impact the monitoring program as least as possible. This tutorial comprehensively overviews the instrumentation process and considerations for single and multithreaded programs. We discuss often overlooked aspects in instrumenting multithreaded programs. We also cover metrics for evaluating the efficiency and effectiveness of instrumentation. We use four hands-on use cases to apply the introduced concepts and provide practical guidance on choosing and applying instrumentation for runtime verification.
Fichier principal
Vignette du fichier
main.pdf (202.31 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04381696 , version 1 (09-01-2024)

Licence

Paternité

Identifiants

Citer

Chukri Soueidi, Yliès Falcone. Instrumentation for RV: From Basic Monitoring to Advanced Use Cases. RV 2023 - 23rd International Conference on Runtime Verification, Oct 2023, Thessaloniki, Greece. pp.403-427, ⟨10.1007/978-3-031-44267-4_23⟩. ⟨hal-04381696⟩
10 Consultations
8 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More