Sites Inria

English version

Equipe de recherche SUMO

SUpervision of large MOdular and distributed systems

Présentation de l'équipe

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

Axes de recherche

L'un des points forts de SUMO est de rassembler les compétences des méthodes formelles, des systèmes d'événements discrets, de la théorie de la concurrence et de l'ingénierie électrique. Plusieurs domaines d'application sont couverts : gestion des réseaux de télécommunication, modélisation et vérification des services web, questions de contrôle dans les grands centres de données, ainsi que des applications plus opportunistes dans le domaine des systèmes embarqués ou  biologiques.

Relations industrielles et internationales

  •  AVerTS Projet indo-français sur la vérification algorithmique des systèmes temps réel.
  •  QuantProb : Equipe associé sur l'optimisation  de propriétés quantitative non standard pour des systèmes prrobabilistes  partiellement observés. 
  • EQUAVE Équipe associée sur la vérification quantitative efficace.
  • Projet ANR STOCH-MC (2014-2018), Modèles stochastiques : passage à l'échelle pour la vérification du modèle.
  • ANR Headwork (2016-2020).
  • Softwarisation of everything: Une équipe de recherche commune au sein du laboratoire commun INRIA-Nokia Bell Labs, dédiée à la à la gestion des SDNs.

 

Mots-clés : Supervision. Systèmes distribués. Systèmes cyber-physiques. Model-checking. Méthodes formelles pour la sécurité . Automatique. Algorithmique. Logique . Optimisation. Théorie de l'information. Théorie des jeux

Suivez Inria tout au long de son 50e anniversaire et au-delà !