Using Temporal Logic for Dynamic Reconfigurations of Components

Julien Dormoy 1 Olga Kouchnarenko 2 Arnaud Lanoix 3
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Dynamic recongurations increase the availability and the reliability of component-based systems by allowing their architectures to evolve at run-time. This paper deals with the formal specication and verication of dynamic recongurations of those systems using architectural constraints and temporal logic patterns. The proposals of the paper are applied to the Fractal component model. Given a Fractal reference implementation of a component-based system, we specify its dynamic recongurations using a temporal pattern logic for Fractal, called FTPL, characterizing the correct behaviour of the system under some architectural constraints. We study system recongurations on which we verify these requirements, in particular by reusing the FPath and FScript tools.
Type de document :
Communication dans un congrès
7th International Workshop on Formal Aspects of Component Software - FACS'2010, Oct 2010, Guimaraes, Portugal. 2011
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00541613
Contributeur : Olga Kouchnarenko <>
Soumis le : mardi 30 novembre 2010 - 22:11:44
Dernière modification le : lundi 15 janvier 2018 - 14:24:07
Document(s) archivé(s) le : vendredi 2 décembre 2016 - 16:06:00

Fichier

DormoyKL2010.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00541613, version 1

Citation

Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix. Using Temporal Logic for Dynamic Reconfigurations of Components. 7th International Workshop on Formal Aspects of Component Software - FACS'2010, Oct 2010, Guimaraes, Portugal. 2011. 〈inria-00541613〉

Partager

Métriques

Consultations de la notice

279

Téléchargements de fichiers

259