SUMO

SUpervision de grands systèmes distribués et MOdulaires

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 de 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