Action : TICK - tick

<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="tex2html168" href= "domai_telecom_mn.html#SECTION00041100000000000000" target= "main" id="tex2html168"><small>Programmation réactive synchrones de protocoles</small></a></li> <li><a name="tex2html169" href= "domai_telecom_mn.html#SECTION00041200000000000000" target= "main" id="tex2html169"><small>Spécification de microcontrÔleurs dédiés</small></a></li> </ul> <hr /> <h2><a name="SECTION00041000000000000000" id= "SECTION00041000000000000000">Télécommunications</a></h2>  <a name="TICK_domaine_telecom" id="TICK_domaine_telecom"></a> <p><strong>Mots clés :</strong> <i>télécommunications, protocoles, mobilité .</i></p> <p>C'est naturellement un domaine important pour les systèmes réactifs et la communication par messages. 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">Programmation réactive synchrones de protocoles</a></h3>Les téléphones ou postes de radio portables du futur vont devenir de véritables systèmes multimédia capables d'allier son, images, navigation Internet, consultation de base de données et relais de communications simultanées sur différentes gammes d'ondes. Ils auront leurs protocoles dédiés, avec normalisations UMTS, et des algorithmes de cryptage et d'évasion de fréquence. Les protocoles devront être téléchargeables. Nous collaborons avec Thomson sur l'utilisation d'Esterel pour programmer des piles protocolaires radio. Le projet PLANETE de l'INRIA conduit aussi des expériences sur l'utilisation d'Esterel pour des protocoles de nature similaire. <h3><a name="SECTION00041200000000000000" id= "SECTION00041200000000000000">Spécification de microcontrÔleurs dédiés</a></h3>Le développement de microprocesseurs dédiés aux systèmes mobiles du futur (téléphones cellulaires notamment) passe par la spécification complète de haut niveau de tels systèmes, dans des buts de tests intensifs et de validation avant la mise en production effective des circuits. Nous collaborons avec la société Texas Instruments sur ces thèmes, afin de concevoir un modèle logiciel fiable (dénommé «Golden Model» dans leur processus de conception) qui puisse être utilisé en aval par les industriels développeurs d'application pour valider leurs concepts avant même la fourniture effective des microprocesseurs. </body>