Thème de recherche SRC - Systèmes répartis et coopératifs

Responsable :

Brève présentation

Depuis la création du LIP6 en 1996 jusqu'à sa restructuration en équipes en 2005, le thème SRC (Systèmes Répartis et Coopératifs) s'intéressait aux aspects système des applications réparties et coopératives. Le membres du thèmes SRC sont maintenant regroupés dans les équipes MoVe et REGAL. Sa contribution est d'ordre théorique sur l'algorithmique répartie et la vérification formelle. Elle est de nature méthodologique pour la spécification et le prototypage. Elle relève enfin de la programmation système pour la mise en oeuvre de son atelier de Génie Logiciel ainsi que pour la réalisation des mécanismes de placement dynamique et de tolérance aux fautes.

Ingénierie des modèles, Modélisation et vérification des systèmes répartis, Interopérabilité, Adaptabilité, Intergiciels, Pair-à-pair, Large échelle.

ATTENTION : L'organisation en thèmes n'existe plus depuis 2006, voir maintenant dans les équipes.

janvier 1997 → décembre 2003