Présentation et objectifs généraux

Le projet RESEDAS a pour cadre général l'étude de solutions innovantes et la conception d'outils logiciels pour faciliter le développement, le déploiement et l'exploitation de services, protocoles et applications distribuées sur des réseaux de télécommunications et des réseaux locaux. Dans ce cadre, le groupe développe des activités sur les quatre thèmes suivants:

(i): supervision et contrôle des réseaux et services de télécommunication ;
(ii): calcul réparti sur des réseaux de stations hétérogènes ;
(iii): protocoles et services de l'Internet nouvelle génération ;
(iv): architecture, exploitation et supervision des réseaux actifs.

Autour de ces thèmes, le groupe maintient et développe des travaux autour des méthodes formelles pour les réseaux et les systèmes distribués.