Contrôle de systèmes informatiques Autonomiques

Séminaires de l’équipe Ctrl-A

Venez y assister et/ou participer là

Présentation de l’équipe en 180s !

et en une seule image …

Localisation

Grenoble Giant à Minatec, juste à côté de l’Auditorium Grenoble INP, assez près de la gare de Grenoble :
arrêt de tram Cité Internationale, aller vers le CEA Minatec (cylindre blanc), et passer à droite des tourniquets CEA (sans aller à l’accueil), il y a une grille ouverte, une tente avec des gardes qui regardent les sacs, et un peu plus loin l’espace colloque et un mur rouge avec logo Inria : et une sonnette, pour qu’on ouvre.

Nous avons aussi un bureau dans le bâtiment IMAG sur le campus au LIG (2è étage, 252)

FETCH 2022

École d’hiver Francophone sur les Technologies de Conception des Systèmes Embarqués Hétérogènes

Après deux années de pandémie de COVID-19, et deux reports en 2021 et 2022, pour privilégier les échanges scientifiques entre participants dans un format présentiel, nous sommes impatients de vous revoir à la 15ème édition de FETCH

15 – 17 Juin 2022, RockyPop Hôtel, Chamonix-Les Houches
https://sites.google.com/view/fetch2022

40th International Summer School: Control of Computing Systems

9-13th of September 2019, Grenoble, France
http://www.gipsa-lab.fr/summerschool/auto2019

Présentation de l’équipe

Les recherches de CTRL-A sont motivées par le contexte actuel où les systèmes de calcul, grands (centres de données) comme petits (embarqués), sont de plus en plus requis d’être auto-adaptatifs. Il doivent répondre aux fluctuations dynamiques dans leur environnement et charges de calcul, évolutions de leurs infrastructures de calcul (partagées, ou sujettes à fautes), ou changements de leurs fonctionnalités applicatives. Leur administration, traditionnellement gérée par des administrateurs système humains, doit être automatisée de façon à être efficace, sûre et réactive. Le Calcul Autonomique est une approche qui a émergé dans les années 2000 dans les systèmes distribués pour répondre à ces défis, sous la forme de bulles de contrôle d’auto-administration.

Il y a donc un besoin pressant et croissant de méthodes et outils de conception de contrôleurs de systèmes de calcul auto-adaptatifs, qui assurent la qualité et sûreté du comportement du système contrôlé. L’importance critique de la qualité du contrôle sur la performance et la sûreté des systèmes automatisés est la même pour les systèmes de calculs que par ailleurs, et appelle donc à une rupture avec les approches traditionnelles en système reposant sur des techniques ad hoc, et des solutions souvent empiriques, peu sûres et spécifiques aux applications.

L’objectif principal de l’équipe-projet CTRL-A est de développer un nouveau cadre pour la conception à base de modèles de contrôleurs en Calcul Autonomique. Nous voulons contribuer des méthodes et outils génériques de Génie Logiciel pour que des développeurs puissent concevoir des contrôleurs pour leurs architectures reconfigurables particulières, matérielles ou logicielles, et les intégrer au niveau intergiciel. Nous voulons améliorer l’utilisabilité concrète de techniques de l’Automatique, particulièrement des Systèmes à événements discrets, par des spécialistes des systèmes concrets (plutôt que des modèles formels), et de fournir des outils de support pour nos méthodes sous la forme de langages de spécification et compilateurs.

Thèmes de recherche

L’objectif principal de CTRL-A se traduit par des défis scientifiques, les plus importants étant :

• support langage de programmation, sous les deux facettes de langages orientés-modèle, à base d’automates, et langages spécifiques au domaine, notamment selon une approche à base de composants ;
• des méthodes de conception de contrôleurs dans les systèmes de calcul, par la proposition de modèles et architectures génériques, à base d’automates ou de systèmes de contrôles stochastiques.

Nous adoptons une stratégie de constante expérimentation dans l’identification des besoins et la validation des propositions, dans des domaines d’application comme les plateformes intergicielles pour le Calcul Haute Performance, pour les architectures matérielles à base de FPGA dynamiquement partiellement reconfigurables (DPR), et pour l’Internet des Objets (IoT) et les environnement intelligents.

Relations internationales et industrielles

• Autonomic Computing community e.g., ICAC and ICCAC conferences ; Discrete Control community e.g., WODES conference ;
• jLESC lab, U. Liverpool, U. Lund, CWI / U. Leyden, U. Osaka (Japan), U. Heifei (China) ;
• Orange labs, Nokia Bell-labs, Eolas.

Cette équipe est une suite de l’Action Exploratoire Ctrl-A, qui était une suite du
groupe Contrôle de l’équipe Sardes.
(voir les rapports d’activité)