Projet : EPATR - epatr

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00071000000000000000" id= "SECTION00071000000000000000">Projet Reutel-2000, convention Alcatel Alsthom Recherche/Inria n° 197A93600000MC012 (09/1997-08/2000)</a></h2> <a name="EPATR_contrats_module-24" id= "EPATR_contrats_module-24"></a> <p><br /> <br /> <span class="textbf">Participants :</span> Albert Benveniste, Paul Le Guernic, Jean-Pierre Talpin, Yunming Wang.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>télécommunication, communication synchrone/asynchrone, conception objet, BDL .</i></p> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>Le projet Reutel-2000 a pour but la réalisation d'outils pour l'aide au développement d'applications distribuées temps-réel en télécommunication. Les autres partenaires de cette action sont les projets Inria Pampa, <small>ADP</small> et Compose.</i> </div> <p>L'objectif général du projet est la maîtrise du développement logiciel d'applications de télécommunication par la conception d'outils de manipulation formelle à l'intérieur d'une chaîne de développement définie par Alcatel. Il est pour cela nécessaire d'apporter à l'environnement de programmation en question des outils pour l'analyse, la vérification et l'optimisation d'applications. L'interface de ces outils avec la chaîne de développement d'Alcatel est le langage de spécification <small>BDL</small>. Son rÔle est d'accompagner l'utilisateur depuis les tâches préliminaires de spécification jusqu'aux travaux de codage et de test. Il doit aussi servir d'interface à l'intégration des outils de l'Inria dans la chaîne de développement d'Alcatel.</p> <p>Dans le cadre de ce projet, nous avons réalisé le prototype d'un traducteur de Statecharts vers <small>BDL</small>.</p> </body>