FalconeRV10

Y. Falcone. You should Better Enforce than Verify (Tutorial). In RV'10: Proceedings of the 1st International Conference on Runtime Verification, LNCS, Volume 6418, Pages 89-105, Malta, November 2010.

Download [help]

Download paper: Doi page

Download paper: Adobe portable document (pdf)

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

Abstract

This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of programs. Within this technique the monitor not only observes the current program execution, but it also modifies it. It uses an internal memory, in order to ensure that the expected property is fulfilled: it still reads an input sequence but now produces a new sequence of events in such a way that the property is enforced. The precise and formal relation between input and output sequences is usually ruled by two constraints: soundness and transparency. From an abstract point of view those constraints entail the monitor to minimally modify the input sequence in order to ensure the desired property. This tutorial focuses on runtime enforcement and advocates its use as an extension to runtime verification. More specifically the tutorial steps are the following: 1) we overview previous approaches to runtime enforcement; 2) we thoroughly present our latest advances in runtime enforcement that generalizes and extends previous approaches; 3) we discuss practical limitations and future challenges

BibTex Reference

@InProceedings{FalconeRV10,
   Author = {Falcone, Y.},
   Title = {You should Better Enforce than Verify (Tutorial)},
   BookTitle = {RV'10: Proceedings of the 1st International Conference on Runtime Verification},
   Volume = {6418},
   Pages = {89--105},
   Series = {LNCS},
   Publisher = {Springer},
   Address = {Malta},
   Month = {November},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)