Projet : EP-ATR

Précédent : Projet Cairn, convention France Télécom-Cnet/Inria Remonter : Contrats industriels (nationaux, européens et Suivant : EdF, convention EDF-Inria n°197C9810031307011 (12/1997-03/1998)

   
Projets Reutel-Arctica, convention MEN/Inria n°295A5040000MC011 (11/1995-01/1998), puis Reutel-2000, convention Alcatel Alsthom Recherche/Inria n°197A93600000MC012 (09/1997-02/1999)

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/Arctica s'est achevé par un engagement d'Alcatel à participer directement au financement de sa coopération avec l'Inria (accord-cadre). Le projet Reutel-2000 poursuit donc les efforts engagés vers la définition 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, Compose et Meije.

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 manipulations formelles à 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.

Précédent : Projet Cairn, convention France Télécom-Cnet/Inria Remonter : Contrats industriels (nationaux, européens et Suivant : EdF, convention EDF-Inria n°197C9810031307011 (12/1997-03/1998)