-
- Date de réalisation : 10 Septembre 2019
- Lieu de réalisation : Inria Sophia Antipolis
- Durée du programme : 69 min
- Classification Dewey : logique symbolique
-
- Catégorie : Conférences
- Niveau : niveau Master (LMD), niveau Doctorat (LMD), Recherche
- Disciplines : Mathématiques et informatique
- Collections : Colloquium Jacques Morgenstern : recherches en STIC - nouveaux thèmes scientifiques, nouveaux domaines d’application, et enjeux
- ficheLom : Voir la fiche LOM
-
- Auteur(s) : Aceto Luca
- producteur : INRIA (Institut national de recherche en informatique et automatique)
- Editeur : INRIA (Institut national de recherche en informatique et automatique) , CNRS - Centre National de la Recherche Scientifique , UNS
Dans la même collection
























Theoretical Foundations for Runtime Monitoring
Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not easy to see which specifications are amenable to runtime monitoring, and it is not clear which monitors perform the required runtime analysis correctly.
In this talk, I will present a theoretical framework that can be used to provide answers to those questions. I will view monitorability as a spectrum: the fewer monitor guarantees are required, the more properties become monitorable. I will then present a monitorability hierarchy and provide operational characterisations for its levels. Existing monitorability definitions are mapped into the proposed hierarchy, providing a unified framework that makes the operational assumptions and guarantees of each definition explicit. This provides a rigorous foundation that can inform design choices and correctness claims for runtime verification tools.
The talk is based on joint work with my collaborators in the project Theoretical Foundations for Monitorability
commentaires
Ajouter un commentaire Lire les commentaires