ENGLISH
|
 |
Traitement de l'information et modélisation
Systèmes embarqués et répartition
Techniques de base pour la répartition
Axes de recherche
Les orientations de recherche en cours sur cet axe thématique sont associés aux différentes couches constitutives du système. Un axe de recherche, transverse, dévolu à l'étude d'architectures et de systèmes dirigés par le temps se décline sur l'ensemble de ces couches systèmes.
- Concernant les architectures et les réseaux, les recherches pourront porter sur des architectures matérielles et logicielles mettant en oeuvre des processeurs spécifiques ainsi que de réseaux et des protocoles de communication ad hoc. Elle porteront également sur de nouvelles technologies d’interconnexion permettant d'assurer le traitement de l’hétérogénéité des réseaux, la prise en compte de réseaux étendus à liaisons ultra-rapides, en en étudiant l'impact sur la définition de nouveaux protocoles, services de base, et modèles de programmation des applicatifs. Les recherches porteront également sur l'étude et la définition de protocoles répondant à des besoins de systèmes embarqués ou de simulation distribuée. Elles porteront aussi sur la modélisation des architectures pour l'évaluation de leurs performances. En ce qui concerne les architectures réparties dirigées par le temps la rechercher portera essentiellement sur les mécanismes et les techniques de liaisons (unités de traitements, capteurs, actuateurs, interfaces) et sur les protocoles de types TDMA ou TTE.
- Concernant les exécutifs et les noyaux, les travaux de recherche poursuivent les développement de Certi. Ils porteront également sur l'Etude d’ordonnancements pour la simulation distribuée sur des noyaux Linux, le développement et l'intégration d’ordonnanceurs implantant des politiques orientées simulation distribuée et permettant une meilleure prise en compte des échéances et des exigences sur les durées de cycles des simulateurs. Ils chercheront à intégrer également des mécanismes dédiés au support de la qualité de services pour des fédérations de simulateurs. Dans le domaine des archiectures réparties dirigée par le temps les travaux portent principalement sur les protocoles pour la synchronisation, la détection de pannes, la reconfiguration ainsi que le développementsou l'adaptation de micro-noyaux à ces architectures dirigées par le temps.
Formalisation et Vérification de codes de programmes
- Concernant les langages, les modèles et les applications, la recherche porte essentiellement sur la programmation de systèmes répartis critiques, la définition de langages et formalismes permettant l’expression d’exigences vis à vis de problématiques traitées (description et comportement des applications, exigences temporelles associées aux modules ou fonctions d’un programme temps réel). Ils portent également sur la traduction (compilation) des programmes ou des modèles dans d’autres formalismes (modèles formels pour la vérification, modèles exécutables sur des architectures matérielles et logicielles réparties), et plus largement sur l'ingénierie de modèles. Elle s'attache également, s'agissant des architectures dirigées par le temps, à la définition de langages permettant l’expression des fonctions des programmes ainsi que l’expression de leurs contraintes temporelles ainsi qu'à la vérification et compilation pour le contrôle de la répartition et de l’exécution.
Précédente | Haut | Fin |
 |
 Présentation Travaux de recherche Axes de recherche |
