Skip to Main content Skip to Navigation
Conference papers

Runtime Enforcement for Component-Based Systems

Hadil Charafeddine 1 Khalil El-Harake 1 Yliès Falcone 2, * Mohamad Jaber 1
* Corresponding author
2 CORSE - Compiler Optimization and Run-time Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : We propose a theoretical runtime enforcement framework for component-based systems (CBS) where we delineate a hierarchy of enforceable properties (i.e., properties that can be enforced) according to the number of observational steps a system is allowed to deviate from the property (i.e., the notion of k-step enforceability). To ensure the observational equivalence between the correct executions of the initial system and the monitored system, we show that i) only stutter-invariant properties should be enforced on CBS with our monitors, ii) safety properties are 1-step enforceable. Given an abstract enforcement monitor for some 1-step enforceable property, we formally instrument (at relevant locations) a system to integrate the monitor. At runtime, the monitor observes and automatically avoids any error in the behavior of the system w.r.t. the property.
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-01248353
Contributor : Yliès Falcone <>
Submitted on : Saturday, January 2, 2016 - 9:41:09 AM
Last modification on : Tuesday, November 24, 2020 - 5:06:02 PM
Long-term archiving on: : Thursday, April 7, 2016 - 4:44:51 PM

File

sac15.pdf
Publisher files allowed on an open archive

Licence


Copyright

Identifiers

Collections

Citation

Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber. Runtime Enforcement for Component-Based Systems. Symposium on Applied Computing - Software Verification and Testing , Apr 2015, Salamanque, Spain. ⟨10.1145/2695664.2695879⟩. ⟨hal-01248353⟩

Share

Metrics

Record views

538

Files downloads

464