RA 1997
Suivant : Composition de l'équipe

PROJET RESEDAS

Outils Logiciels pour les Télécommunications et les Systèmes Distribués

Rapport d'activité 1996

Page de présentation du projet - Rapport d'activité au format PostScript

Localisation : Nancy (Projet commun à l'INRIA et au CRIN, URA 262 du CNRS et des universités Henri Poincaré Nancy 1, Nancy 2 et INPL).

Mots-clés : calcul distribué, environnement de programmation, évaluation de performance, gestion de réseaux, gestion de services, passage de messages, placement, protocole de communication, Réseau de Gestion des Télécommunications, réseau de stations, simulation, spécification formelle, système distribué, temps réel, test, validation

• Composition de l'équipe
• Présentation du projet
• Actions de recherche
  • Gestion de réseaux et de services
    • Outils logiciels pour le RGT
    • Validation de modèles de l'information
    • Test d'applications du RGT
  • Calculs distribués et transfert des informations
    • Définition d'un langage de spécification des messages
    • Affectation et utilisation des ressources
    • Interface C++ pour l'échange de messages
  • Validation de spécifications et aspects temporels
• Actions industrielles
  • Collaboration avec le CNET
  • Contacts industriels
  • Contacts universitaires (non-informaticiens)
• Actions nationales et internationales
  • Actions nationales
  • Actions internationales
• Diffusion des résultats
  • Actions d'enseignement
  • Participation à des colloques
  • Conférences invitées, tutoriels, cours, etc.
  • Diffusion de logiciels
• Références
• Abstract