Conception de boucle d'administration systeme avec des modeles reactifs et synchrones
De Ensiwiki.
Sommaire |
Conception de boucle d'administration systeme avec des modeles reactifs et synchrones
| Labo | LIG-INRIA |
| Equipe | SARDES |
| Encadrants | gwenael.delaval@inria.fr,Noel.depalma@inrialpes.fr,fabienne.boyer@inrialpes.fr
|
Thème général
Machines virtuelles, Systèmes Autonomes, Automates à états finis, contrôle en boucle fermée.
Compétences attendues
Contexte du travail
L'équipe Sardes a une importante activité de recherche en systèmes d'exploitation et en systèmes embarqués, associé à de nombreuses collaborations avec des acteurs industriels majeurs comme ST microelectronic ou FT R&D.
Au sein de Sardes, le défi relevé par le projet Synergy est la construction d'une machine virtuelle pour le support de composants logiciels dynamiques. En parallèle, une autre partie de Sardes travaille sur le contrôle à base de modèles de systèmes auto-adaptatifs, en utilisant des techniques de modélisation en automates réactifs, et de synthèse de contrôleurs discrets.
Ce stage s'inscrit dans une coopération entre ces deux directions, et concerne l'application des techniques de contrôle réactif à des mécanismes d'administration autonome (Autonomic Computing) dans la machine virtuelle Synergy.
Sujet
Le sujet consiste à évaluer la capacité de la modélisation en systèmes réactifs et de la synthèse de contrôleurs discrets pour répondre à des problèmes de conception de boucle de contrôle système au sein d'une machine virtuelle Java. On s'interessera plus particulièrement à des boucles d'installation et de déploiement automatique de logiciels et d'auto-réparation.
C'est un sujet en équilibre entre systèmes d'exploitation et utilisation d'outils de conception. Le travail de coopération déjà précisé les articulations possibles entre les deux domaines, et a identifier des mécanismes particuliers qui seront l'objet de l'etude. Ce travail offre des perspectives de Master Recherche dans l'équipe, en lien avec des coopérations industrielles en cours.
Résultats attendus
- une analyse des boucles d'administration dans un système comme Synergy, et de la modélisation et programmation de contrôleurs réactifs dans le langage synchrone BZR
- l'identification de boucles relevant d'une modélisation en automates réactifs
- la proposition d'une solution pour leur contrôle (modélisation des comportements et spécification des propriétés à contrôler).
- sa mise en oeuvre au sein de Synergy.
- sa validation sur des études de cas.
