Runtime Enforcement for Component-Based Systems

Hadil Charafeddine 1 Khalil El-Harake 1 Yliès Falcone 2, * Mohamad Jaber 1
* Auteur correspondant
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.
Type de document :
Communication dans un congrès
Symposium on Applied Computing - Software Verification and Testing , Apr 2015, Salamanque, Spain. 〈10.1145/2695664.2695879〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01248353
Contributeur : Yliès Falcone <>
Soumis le : samedi 2 janvier 2016 - 09:41:09
Dernière modification le : jeudi 11 janvier 2018 - 06:27:21
Document(s) archivé(s) le : jeudi 7 avril 2016 - 16:44:51

Fichier

sac15.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Licence


Copyright (Tous droits réservés)

Identifiants

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〉

Partager

Métriques

Consultations de la notice

279

Téléchargements de fichiers

57