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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/s10703-011-0114-4 | Formal Methods in System Design |
Keywords | Field | DocType |
Runtime enforcement,Monitor,Safety-progress classification,Monitor synthesis,Composition | Obligation,Finite set,Computer security,Computer science,Automaton,Real-time computing,Enforcement,Distributed computing | Journal |
Volume | Issue | ISSN |
38 | 3 | 0925-9856 |
Citations | PageRank | References |
45 | 1.35 | 23 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yliès Falcone | 1 | 508 | 39.21 |
Laurent Mounier | 2 | 1187 | 79.54 |
Jean-Claude Fernandez | 3 | 184 | 8.53 |
Jean-Luc Richier | 4 | 359 | 45.60 |