Détail d'une fiche   Version PDF

SUMO (SR0671YR)

SUpervision of large MOdular and distributed systems

SUMO (SR0559VR) →  SUMO →  DEVINE (SR0953TR)


Statut: Terminée

Responsable : Nathalie Bertrand

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : A1.2.2. Supervision , A1.3. Systèmes distribués , A1.5. Systèmes complexes, systèmes de systèmes , A2.3. Systèmes embarqués et cyber-physiques , A2.4. Méthodes formelles pour vérification, sureté, certification , A2.4.2. Model-checking , A4.5. Méthodes formelles pour la sécurité , A6.4.3. observabilité et contrôlabilité , A6.4.6. Contrôle optimal , A7.1.1. Algorithmique distribuée , A7.2. Logique , A8.2. Optimisation , A8.6. Théorie de l'information , A8.11. Théorie des jeux

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : B5.2.2. Chemin de fer , B6.2. Technologies pour les réseaux , B6.3.3. Gestion des réseaux , B7.1. Gestion des traffics , B8.5.2. Production participative

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Preuves et vérification

Période : 01/01/2015 -> 31/12/2023
Dates d'évaluation : 20/03/2019 ,

Etablissement(s) de rattachement : CNRS
Laboratoire(s) partenaire(s) : IRISA (UMR6074)

CRI : Centre Inria de l'Université de Rennes
Localisation : Centre Inria de l'Université de Rennes
Code structure Inria : 031109-1

Numéro RNSR : 201321087U
N° de structure Inria: SR0671YR

Présentation

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


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

Équipes associées :

  • Équave :  Équipe associée sur la vérification quantitative efficace ;
  • Fuchsia ;
  • QuaSL : Quantitative extensions of Strategy Logic

Projets collaboratifs académiques :

  • ANR TickTac (2018-2022), Techniques de vérification et de synthèse efficaces pour les systèmes temporisés.
  • ANR MAVeriQ (2021-2025)

Contrats avec des partenaires industriels :

  • 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 avec MERCE, Mitsubishi Electric Research (2018-2021), sur la vérification de programmes modulaires temporisés
  • Thèse Cifre avec Nokia, sur la vérification de SDN

T