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 for Autonomic computing systems
2 SPIRALS - Self-adaptation for distributed services and large software systems
3 IUF - Institut universitaire de France
4 Université de Lille, Sciences et Technologies

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.

Keywords: composants logiciel; Reconfiguration; Auto-adaptation; calcul autonomique; synthèse de contrôleur discret; langage réactif; langage synchrone

Domains: Systems and Control [cs.SY]; Distributed, Parallel, and Cluster Computing [cs.DC]; Software Engineering [cs.SE]

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⟩