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

  • QuantProb, Équipe associée sur l'optimisation de propriétés quantitatives non standard pour des systèmes prrobabilistes  partiellement observés. 
  • EQUAVE Équipe associée sur la vérification quantitative efficace.
  • Projet P22 (2015-2018), collaboration industrielle avec Alstom Transport sur la régulation de métros
  • ANR STOCH-MC (2014-2018), Modèles stochastiques : passage à l'échelle pour la vérification du modèle.
  • ANR Headwork (2016-2020), Workflows orientés données
  • ANR TickTac (2018-2022), Techniques de vérification et de synthèse efficaces pour les systèmes temporisés.
  • Softwarisation of everything (2017-2021), équipe de recherche commune au sein du laboratoire commun INRIA-Nokia Bell Labs, dédiée à la gestion des SDNs.
  • Thèse Cifre IOlabs (2017-2019), dans le cadre du laboratoire commun Orange Labs-Inria, sur le diaagnostic dans les réseaux SDN
  • Thèse Cifre avec MERCE, Mitsubishi Electric Research (2018-2021), sur la vérification de programmes modulaires temporisés

T

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