previous up next top index
Précédent : Environnement de programmation par objets Remonter : Actions industrielles Suivant : Validation de systèmes (GIE Bull-Inria


Outils et techniques pour application de télécommunications réutilisables

Participants : Claude Jard, Jean-Marc Jézéquel, Guy-Vincent Jourdan, Laurence Nédelka

Il s'agit d'une collaboration Inria-Alcatel portant sur la spécification d'un modèle formel (SAFE ) et des outils associés pour la programmation d'applications réparties de télécommunication. L'architecture logicielle SAFE, réalisée par Alcatel Alsthom Recherche, est un modèle de programmation pour les logiciels d'applications large-bande en télécommunication. Elle permet de structurer ces logiciels en termes de services interagissant à distance. Plusieurs projets (EP-ATR, Lande, Meije et Pampa) collaborent pour spécifier formellement l'interaction d'un service avec son environnement et étudier le comportement global d'une application formée par un ensemble de services. Le projet Pampa se concentre sur les aspects asynchrones du modèle. En 1996, nous avons modélisé l'exécutif SAFE dans le langage LOTOS dans le but de calculer une abstraction de l'interaction distante entre services. Nous utilisons l'environnement CADP. Cette collaboration fut soutenue en 1996 par le ministère de la recherche et court jusqu'à fin 1997, ainsi que par le partage d'un ``post-doctorant industriel'' : G.-V. Jourdan. Contrats n° 295A540 et n° 196C060.