Runtime Enforcement Monitors: composition, synthesis, and enforcement abilitiesReportar como inadecuado

Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

* Corresponding author 1 VERTECS - Verification models and techniques applied to testing and control of reactive systems Inria Rennes – Bretagne Atlantique 2 VERIMAG - IMAG - VERIMAG 3 VASCO 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 work 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 w.r.t. the general Safety-Progress classification of properties. Furthermore, we propose a systematic technique to produce a monitor from the automaton recognizing a given safety, guarantee, obligation or response property. Finally, we show that this notion of enforcement monitors is more amenable to implementation and encompasses previous runtime enforcement mechanisms.

Keywords : Runtime enforcement Monito Safety-progress classification Monitor synthesis Composition

Autor: Yliès Falcone - Laurent Mounier - Jean-Claude Fernandez - Jean-Luc Richier -



Documentos relacionados