Action : MIMOSA - mimosa

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00">  <a name="CHILD_LINKS" id= "CHILD_LINKS"><strong>Sous-sections</strong></a> <ul> <li><a name="tex2html167" href= "domai_telecom_mn.html#SECTION00041100000000000000" target= "main" id="tex2html167"><small>Modélisation de systèmes mobiles</small></a></li> <li><a name="tex2html168" href= "domai_telecom_mn.html#SECTION00041200000000000000" target= "main" id="tex2html168"><small>IHM graphiques</small></a></li> <li><a name="tex2html169" href= "domai_telecom_mn.html#SECTION00041300000000000000" target= "main" id="tex2html169"><small>Plateformes distribuées d'exécution réactive</small></a></li> </ul> <hr /> <h2><a name="SECTION00041000000000000000" id= "SECTION00041000000000000000">Télécommunications</a></h2>  <a name="MIMOSA_domaine_telecom" id= "MIMOSA_domaine_telecom"></a> <p><strong>Mots clés :</strong> <i>télécommunications, programmation réactive, mobilité .</i></p> <p>Le domaine d'applications ``naturel'' de nos travaux est celui des télécommunications. Nos contributions y portent à la fois sur la spécification et sur la programmation fiable à l'aide de formalismes adaptés de haut niveau.</p> <h3><a name="SECTION00041100000000000000" id= "SECTION00041100000000000000">Modélisation de systèmes mobiles</a></h3>La spécification <em>formelle</em> des systèmes répartis, par exemple exprimés comme systèmes d'objets concurrents, reste encore très largement à faire, et les besoins dans ce domaine sont encore mal couverts. Nos travaux dans ce domaine ont fait l'objet d'une collaboration avec le FT-R&D, dans le cadre d'une CTI, et se poursuivent actuellement au sein du projet RNRT MARVEL, qui vise concrètement la conception d'une machine virtuelle répartie pour la mobilité. <h3><a name="SECTION00041200000000000000" id= "SECTION00041200000000000000">IHM graphiques</a></h3>L'utilisation des Icobjs apparaît naturelle pour les interfaces homme-machine télécom, en particulier lorsqu'il s'agit de représenter des animations d'icÔnes, comme par exemple dans la supervision de réseau. Une autre utilisation possible des Icobjs est la conception de systèmes permettant à l'utilisateur final de programmer ses propres services, par des combinaisons graphiques d'Icobjs. Enfin, le domaine des jeux, en particulier des jeux en réseaux, semble être un domaine dans lequel les Icobjs peuvent être utilisés, par exemple pour la programmation des avatars de joueurs. <h3><a name="SECTION00041300000000000000" id= "SECTION00041300000000000000">Plateformes distribuées d'exécution réactive</a></h3>Un besoin existe de plateformes d'exécution répartie (DPE) utilisant ou implémentant l'approche réactive. Nous travaillons en collaboration avec le FT-R&D pour l'étude et la réalisation de ce type d'infrastructure d'exécution. Un des objectifs est la mise en place de mécanismes liés à la « qualité de service » (QoS) et utilisant l'approche réactive. Un second objectif est le « passage à l'échelle » de systèmes dans lesquels intervient un très grand nombre de composants parallèles et d'événements diffusés. </body>