Runtime Enforcement for Component-Based Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Runtime Enforcement for Component-Based Systems

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.
Fichier principal
Vignette du fichier
sac15.pdf (570.43 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

hal-01248353 , version 1 (02-01-2016)

Licence

Copyright

Identifiers

Cite

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⟩
100 View
80 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More