Aller au contenu principal

CTRL-A - Control for safe Autonomic computing systems

Equipe-projet de recherche commune INRIA et CNRS, Grenoble INP, UGA
Axe  Génie des Logiciels et des Systèmes d'Information

Les systèmes de calcul sont, à des échelles allant des plus petits systèmes embarqués jusqu’aux grandes infrastructures du Cloud, de plus en plus adaptatifs et reconfigurables, pour la gestion des ressources, de l’efficacité énergétique, ou par fonctionnalité. Leur gestion dynamique ne peut plus reposer sur des administrateurs humains. La conception et la mise en œuvre sûres et correctes du contrôle automatisé de leur reconfiguration et régulation est reconnue comme un problème majeur dans l’efficience de ces systèmes adaptatifs.

Notre objectifs est de construire des méthodes et outils pour la conception de contrôleurs sûrs de systèmes de calculs autonomiques, adaptatifs et reconfigurables. Pour atteindre ce but, nous proposons de combiner Informatique et Automatique des Systèmes à Événements Discrets, selon les axes correspondant aux différents niveaux de ce problème de conception conjointe : infrastructures système adaptatives, support de programmation (réactive et à composants), techniques de modélisation et contrôle.

Mots clés

Calcul autonomique    Systèmes adaptatifs   Architectures reconfigurables   Contrôle discret    Langages réactifs     Composants logiciels

CTRL-A

Responsable  Eric RUTTEN
Site Web   https://team.inria.fr/ctrl-a
Téléphone  04 38 78 60 37
Bâtiment    Montbonnot - INRIA

Publié le 26 juin 2020

Mis à jour le 4 mars 2024