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 objectif 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.