Projet : PAMPA - pampa

<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="tex2html505" href= "inter_module-20-bis_mn.html#SECTION00082100000000000000" target="main" id="tex2html505"><small>Test d'interopérabilité et de QoS des protocoles Internet Nouvelle Génération</small></a></li> <li><a name="tex2html506" href= "inter_module-20-bis_mn.html#SECTION00082200000000000000" target="main" id="tex2html506"><small>Groupe de travail test et objets</small></a></li> <li><a name="tex2html507" href= "inter_module-20-bis_mn.html#SECTION00082300000000000000" target="main" id="tex2html507"><small>Action coopérative MARS</small></a></li> </ul> <hr /> <h2><a name="SECTION00082000000000000000" id= "SECTION00082000000000000000">Actions nationales</a></h2>  <a name="PAMPA_international_module-20-bis" id= "PAMPA_international_module-20-bis"></a> <h3><a name="SECTION00082100000000000000" id= "SECTION00082100000000000000"></a> <a name= "Pampa-actionindus-cnrs-telecom" id= "Pampa-actionindus-cnrs-telecom"></a><br /> Test d'interopérabilité et de QoS des protocoles Internet Nouvelle Génération</h3><em>Contrat CNRS-Programme Telecommunications 2K0008. Durée : 24 mois à partir de décembre 1999</em>. <p><br /> <br /> <span class="textbf">Participants :</span> César Viho, Claude Jard, Sébastien Barbin.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>test d'interopérabilité, protocoles Internet nouvelle génération, QoS .</i></p> <p>Il s'agit d'anticiper les problèmes liés à l'interconnexion des nouveaux réseaux Internet IPv6 (dits de nouvelle génération). Ceci passe notamment par le développement de méthodes et outils appropriés pour le test d'interopérabilité des nouveaux protocoles mis en oeuvre dans ces réseaux. Or, il n'existe pas à l'heure actuelle de méthodologie bien définie pour les tests d interopérabilité et les recherches en la matière sont à un stade de balbutiement. Cette année, nous avons principalement étudié les normes des protocoles IPv6 et généré des tests de conformité et d' interopérabilité pour les protocoles de base tels que Neighbor Discovery, Path MTU Discovery, Stateless Address Autoconfiguration, mobile-IPv6, RIPng, PPPv6. Ces tests ont servi pour le ``bake-off'' organisé par l'ETSI Sophia du 2 au 6 octobre 2000. Ils ont permis de mettre en évidence des erreurs dans les implantations de piles protocolaires IPv6 testées, ainsi que des ambiguïtés/incohérences/imprécisions dans les normes.</p> <p>Du point de vue des utilisateurs de ces réseaux, il faudra également garantir une qualité de service (QoS) de plus en plus forte : garantie de débit minimum, de performance, d'accès aux ressources, etc. Au test d'interopérabilité, il faudra donc rajouter des tests de QoS. Or, les travaux combinant les aspects qualitatifs et quantitatifs sont inexistants. Généralement, ces deux types de tests sont effectués de manière totalement indépendante de faÇon ad hoc, ``à la demande'' et ``à la main''. Par la suite, nous proposons d'étendre le savoir-faire TGV à la prise en compte d'aspects quantitatifs liés à la QoS tels que le temps d'acheminement, les débits minimum garantis, etc. Il s'agit d'un sujet original, qui nous semble maintenant abordable et comportant des aspects modèles, algorithmiques et expérimentaux. Techniquement, nous envisageons de démarrer avec le système KRONOS d'analyse d'automates temporisés, développé à Vérimag-Grenoble et connectable dès maintenant à l'outil TGV.</p> <h3><a name="SECTION00082200000000000000" id= "SECTION00082200000000000000">Groupe de travail test et objets</a></h3> <p><br /> <br /> <span class="textbf">Participants :</span> Claude Jard, Jean-Marc Jézéquel, Thierry Jéron, Yves Le Traon, Alain Le Guennec.<br /> <br /></p> <p>L'équipe Pampa anime un groupe de travail national sur le thème du test et des objets. Ce groupe est affilié au <small>PRC/GDR ALP</small>. Claude Jard en est co-responsable (avec MC. Gaudel et P. Thevenod). Yves Le Traon en est le secrétaire. Une dizaine d'équipes en France participent. La page Web http://www.irisa.fr/testobjets peut être consultée.</p> <h3><a name="SECTION00082300000000000000" id= "SECTION00082300000000000000"></a> <a name="pampa:mars" id= "pampa:mars"></a><br /> Action coopérative MARS</h3> <p><br /> <br /> <span class="textbf">Participant :</span> Benoît Caillaud.<br /> <br /></p> <p>L'action de recherche coopérative de l'INRIA ``MARS'' (<a name="tex2html6" href= "http://www.loria.fr/%7Exie/Mars.html" target="_top" id= "tex2html6">http://www.loria.fr/%7Exie/Mars.html</a>) porte sur la modélisation, la vérification et la synthèse à l'aide de réseaux de Petri de commande des systèmes à événements discrets : systèmes de production, systèmes de flux de tâches, etc. Benoît Caillaud contribue à cette action en montrant l'applicabilité des techniques de synthèse de réseaux de Petri (et de l'outil S<small>YNET</small>) au problème de la synthèse de contrÔleurs de systèmes à événements discrets répartis.</p> </body>