Précédent : Présentation du projet Remonter : PROJET RESEDAS Suivant : Gestion de réseaux et de

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