Projet Reutel-2000, convention Alcatel Alsthom Recherche/Inria n° 197A93600000MC012 (09/1997-08/2000)



Participants : Albert Benveniste, Paul Le Guernic, Jean-Pierre Talpin, Yunming Wang.

Mots clés : télécommunication, communication synchrone/asynchrone, conception objet, BDL .

Résumé :

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, ADP et Compose.

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 BDL. 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.

Dans le cadre de ce projet, nous avons réalisé le prototype d'un traducteur de Statecharts vers BDL.