Modèles comportementaux pour le contrôle de composants logiciels autonomes

Frederico Alvares de Oliveira 1 Eric Rutten 1 Lionel Seinturier 2, 3, 4
1 CTRL-A - Control techniques for Autonomic, adaptive and Reconfigurable Computing systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 SPIRALS - Self-adaptation for distributed services and large software systems
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Résumé : Les systèmes logiciels modernes et leur architecture doivent s'adapter dynamiquement de façon réactive aux événements provenant de l'environnement (p. ex. la charge de travail demandée par les utilisateurs, les modifications apportées aux fonctionnalités) et de la plate-forme d'exécution (p. ex. les ressources disponibles). Les architectures à base de composants ont montré leur adéquation pour l'auto-adaptation, non seulement en raison de leurs caractéristiques intrinsèques, comme la réutilisation et la modularité, mais aussi en raison de leurs capacités de reconfiguration dynamique. Cependant, les solutions existantes sont basées souvent sur des langages de bas niveau, impératifs, et sans modèle comportemental. Cet article présente Ctrl-F, un langage dédié pour le support de haut niveau pour la spécification des comportements et des politiques d'adaptation dans les système à base de composants logiciels. Nous nous appuyons sur la programmation réactive pour la vérification et le contrôle des reconfigurations. Nous intégrons Ctrl-F avec FraSCAti, une plate-forme intergicielle pour les architectures réparties orientées services.
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/hal-01224291
Contributor : Stephan Merz <>
Submitted on : Wednesday, November 4, 2015 - 2:50:43 PM
Last modification on : Thursday, April 4, 2019 - 10:18:05 AM
Long-term archiving on : Friday, February 5, 2016 - 11:12:42 AM

File

paper 14.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01224291, version 1

Citation

Frederico Alvares de Oliveira, Eric Rutten, Lionel Seinturier. Modèles comportementaux pour le contrôle de composants logiciels autonomes. MSR 2015 - Modélisation des Systèmes Réactifs, Nov 2015, Nancy, France. ⟨hal-01224291⟩

Share

Metrics

Record views

393

Files downloads

226