Skip to Main content Skip to Navigation
Conference papers

You Should Better Enforce than Verify

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [55 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00523653
Contributor : Yliès Falcone <>
Submitted on : Tuesday, October 5, 2010 - 9:51:36 PM
Last modification on : Wednesday, April 11, 2018 - 1:53:35 AM
Long-term archiving on: : Thursday, October 25, 2012 - 4:31:10 PM

File

tutorial-RV10-Falcone.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00523653, version 1

Collections

Citation

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

Share

Metrics

Record views

258

Files downloads

465