Equipe-projet

SUMO

SUpervision of large MOdular and distributed systems
SUpervision of large MOdular and distributed systems

L'équipe SUMO propose de combiner des approches de méthodes formelles avec la théorie de la concurrence, afin d'aborder la modélisation, l'analyse et la gestion de grands systèmes distribués ou modulaires présentant des aspects quantitatifs. Les logiciels et systèmes distribués fr grande taille exigent en effet des modèles quantitatifs impliquant du temps, des probabilités, des coûts et des combinaisons de ceux-ci. Comme de nombreux problèmes dans ce contexte deviennent insolubles, voire indécidables, nous nous intéressons à la conception de techniques d'approximation efficaces, par exemple, empruntées à des approches d'ingénierie d’électrotechnique pour la gestion de grands systèmes stochastiques

Centre(s) inria
Rennes - Bretagne Atlantique
En partenariat avec
Université Rennes 1,CNRS

Membres

Responsable de l'équipe

Laurence Dinh

Assistant(e) de l'équipe

Dans l'actualité