Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study

Tayeb Bouhadiba 1, * Quentin Sabah 1 Gwenaël Delaval 1 Éric Rutten 1
* Auteur correspondant
1 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Résumé : Dans le contexte des composants pour systèmes embarqués, la gestion de la reconfiguration dynamique devient de plus en plus importante. Le modèle à composants Fractal et son implémentation MIND, fournissent des moyens de contrôle de cycle de vie des composants ainsi que des moyen pour le contrôle des architectures. L'utilisation des architectures intégrées de plus en plus complexes, rend la gestion des opérations de reconfiguration difficile à maintenir par le programmeur. Cette gestion devient plus complexe quand des propriétés globales sur le systèmes doivent être assurées. Nous proposons d'utiliser des langages synchrones réactifs, reposant sur des modèles comportementaux sous la forme de systèmes de transitions. De plus, notre approches, qui produit un manager synchrone pour la reconfiguration dynamique profite des techniques formelles comme la Synthèse de Contrôleurs Discrets. Ce papier décrit l'intégration concrète d'un manager synchrone pour la reconfiguration de systèmes-à-composants Fractal. Nous détaillerons notre approche en commençant par la partie modélisation du problème de contrôle sous forme d'espace d'états de configurations, ainsi que la description des propriétés de contrôle. Ensuite, nous aborderons la partie implémentation du manager résultant en Fractal/Cecilia et son intégration dans des applications Fractal distribuées en utilisant le middleware Comete. Nous validerons notre approche au moyen d'un cas d'étude sur le serveur HTTP Comanche sur une plateforme d'exécution multicoeurs.
Type de document :
Rapport
[Research Report] RR-7631, INRIA. 2011, pp.31
Liste complète des métadonnées


https://hal.inria.fr/inria-00596883
Contributeur : Tayeb Bouhadiba <>
Soumis le : mardi 31 mai 2011 - 15:22:35
Dernière modification le : samedi 17 septembre 2016 - 01:07:54
Document(s) archivé(s) le : jeudi 1 septembre 2011 - 02:30:55

Fichiers

RR-7631.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00596883, version 2
  • ARXIV : 1105.6010

Collections

Citation

Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Éric Rutten. Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study. [Research Report] RR-7631, INRIA. 2011, pp.31. <inria-00596883v2>

Partager

Métriques

Consultations de
la notice

352

Téléchargements du document

6114