- Imprimer
- Partager
- Partager sur Facebook
- Share on X
- Partager sur LinkedIn
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
- Imprimer
- Partager
- Partager sur Facebook
- Share on X
- Partager sur LinkedIn