3. Réseaux, systèmes et services

Ce département s’attache aux problèmes issus des systèmes distribués et parallèles ainsi que sur la capacité qu’ils ont, à une échelle jusque là inconnue, à travailler, gérer et calculer en toute transparence. Il repose sur la gestion et la coopération des réseaux modernes, l’informatique parallèle et distribuée ainsi que les aspects “temps réel”. Les différentes méthodes appliquées sont la modélisation formelle et les preuves, la conception d’algorithmes et de protocoles, la mise en oeuvre de logiciels, l’expérimentation, le benchmarking et la contribution aux plate-formes de recherche pour la simulation en taille réelle.

Responsable du département :

Ye-Qiong Song

Équipes :

COAST
OPTIMIST
RESIST (ex-MADYNES)
SIMBIOT

Mots-clés :

Réseaux, systèmes parallèles, systèmes distribués, coopération, surveillance, configuration, expérimentation, validation, plannification, optimisation.

Logo du CNRS

Logo d'Inria

Logo Université de Lorraine