Enforcement Monitoring wrt. the Safety-Progress Classification of Properties

Yliès Falcone 1 Jean-Claude Fernandez 2, 3 Laurent Mounier 2
1 VASCO
VERIMAG - IMAG - VERIMAG, IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Runtime enforcement is a powerful technique to ensure that a program will respect a given set of properties. We extend previous works on this topic in several directions. Firstly, we propose a generic notion of enforcement monitors based on a memory device and finite sets of control states and enforcement operations. Moreover, we specify their enforcement abilities wrt. the general safety-progress classification of properties. Furthermore, we propose a systematic technique to produce an enforcing monitor from the automaton recognizing a given safety, guarantee, or response property. Finally, we depict a prototype toolbox implementing the features proposed in this paper.
Type de document :
Communication dans un congrès
24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track (SAC 2009), 2009, Unknown, pp.593-600, 2009, 〈10.1145/1529282.1529408〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00953590
Contributeur : Catherine Oriat <>
Soumis le : vendredi 28 février 2014 - 13:54:30
Dernière modification le : jeudi 11 octobre 2018 - 08:48:04

Lien texte intégral

Identifiants

Collections

Citation

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Enforcement Monitoring wrt. the Safety-Progress Classification of Properties. 24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track (SAC 2009), 2009, Unknown, pp.593-600, 2009, 〈10.1145/1529282.1529408〉. 〈hal-00953590〉

Partager

Métriques

Consultations de la notice

282