SUMO : SUpervision of large MOdular and distributed systems

L'équipe Sumo s'intéresse aux méthodes formelles, et notamment aux systèmes concurrents, pour modéliser, analyser et superviser de grands systèmes répartis (ou modulaires). L'accent est mis sur les aspects quantitatifs de ces modèles : le temps, les probabilités, les couts, et la combinaison de ces aspects. Avec ces ingrédients, de nombreux problèmes deviennent trop complexes à traiter, voire indécidables. Nous nous intéressons donc à la fois à mieux comprendre les frontières d'indécidabilité, et à la conception de technique de résolution approchée efficaces, s'inspirant en particulier d'approches classiques en electrical engineering pour le traitement de grands systèmes stochastiques. Un point fort de l'équipe Sumo est de rassembler des compétences venant des méthodes formelles (modélisation et vérification), des systèmes à évènements discrets (théorie du contrôle et du diagnostic), des modèles de la concurrence, mais aussi du traitement du signal. Plusieurs domaines d'application sont envisagés : la gestion des réseaux de télécommunications, la supervision de centres de données, la fusion de ces deux domaines (via les Software Defined Networks par exemple), mais aussi la modélisation et la vérification de services webs, ou encore des applications plus spécifiques dans le domaine des systèmes embarques ou de la bio-informatique.

Pré-équipe créée le 16/10/14