STAARS

Résumé

Notre objectif est d'élaborer des méthodes et des outils pour la conception de contrôleurs sûrs pour des systèmes informatiques autonomes, adaptatifs et reconfigurables. Afin d'atteindre cet objectif, nous proposons de combiner l'informatique et la théorie du contrôle, au niveau de l'infrastructure des systèmes, de l'aide à la programmation et des techniques de modélisation et de contrôle. En particulier, nous explorons la relation entre la boucle MAPE-K de l'informatique autonome et les boucles de contrôle continues et discrètes.

Coordinateurs

Nicolas Marchand (GIPSA-lab)

Eric Rutten (Inria)

Gwenael Delaval (LIG)

Résultats

Nous avons identifié des sujets de recherche en collaboration entre théoriciens du contrôle et informaticiens. Par exemple, nous avons proposé un stage de master sur l'intégration du choix probabiliste entre les solutions d'un contrôleur discret à permissivité maximale. D'autres sujets incluent l'exploration de la notion de contrôle discret adaptatif, ou l'identification des problèmes de contrôle dans la gestion des ressources des centres de données multi-niveaux ou des systèmes de calcul haute performance.

Nous avons animé la communauté locale sur ce sujet multidisciplinaire et organisé des séminaires sur les modèles de contrôle, les langages de programmation et les infrastructures de calcul adaptatif. Les chercheurs intéressés de Grenoble peuvent y présenter leurs travaux et échanger. Ces séminaires sont mensuels ou plus fréquents. Nous avons organisé deux ateliers sur l'état de l'art en calcul autonome et en contrôle, avec des intervenants français et européens. Ce projet a contribué à la mise en place de plusieurs soumissions ANR. Le projet ANR HPeC concerne le calcul embarqué haute performance : nous étudions des architectures reconfigurables, basées sur des FPGA (Field Programmable Gate Arrays ou réseaux logiques programmables) partiellement reconfigurables dynamiquement, pour les systèmes autonomes, avec une étude de cas sur les drones. Nous travaillons notamment sur le contrôle des reconfigurations, dans une approche de boucles autonomes en couches.

Publications significatives

Eric Rutten, Nicolas Marchand, Daniel Simon. In R. de Lemos; D. Garlan; C. Ghezzi; H. Giese. Feedback Control as MAPE-K loop in Autonomic Computing. Software Engineering for Self-Adaptive Systems 3: Assurances, Springer, 2016.

Marin Litoiu, Mary Shaw, Gabriel Tamura, Norha M. Villegas, Hausi Müller, Holger Giese, Eric Rutten, Romain Rouvoy. What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems? Software
Engineering for Self-Adaptive Systems 3: Assurances, Springer, 2016.