You Should Better Enforce than Verify - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

You Should Better Enforce than Verify

Résumé

This tutorial deals with runtime enforcement and advocates its use as an extension of runtime verification. While research efforts in runtime verification have been mainly concerned with detection of misbehaviors and acknowledgement of desired behaviors, runtime enforcement aims mainly to circumvent misbehaviors of systems and to guarantee desired behaviors. First, we propose a comparison between runtime verification and runtime enforcement. We then present previous theoretical models of runtime enforcement mechanisms and their expressive power with respect to enforcement. Then, we overview existing work on runtime enforcement monitor synthesis. Finally, we propose some future challenges for the runtime enforcement technique.
Fichier principal
Vignette du fichier
tutorial-RV10-Falcone.pdf (212.64 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00523653 , version 1 (05-10-2010)

Identifiants

  • HAL Id : hal-00523653 , version 1

Citer

Yliès Falcone. You Should Better Enforce than Verify. International Conference on Runtime Verification, Nov 2010, Malta, Malta. pp.91--108. ⟨hal-00523653⟩

Collections

INRIA INRIA2
102 Consultations
409 Téléchargements

Partager

More