0
0
0
1
0
0
0

SUMO (SUpervision of large MOdular and distributed systems)

Effectif total : 24

L'équipe SUMO s'intéresse aux méthodes formelles, et notamment aux systèmes conccurents, 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 coûts et la combinaison de ces aspects. Avec ces ingrédients, de nombreux problèmes deviennent trop complexes à traiter, voire indécidables. L'équipe s'intéresse donc à la fois à mieux comprendre les frontières d'indécidabilité et à la conception de techniques de résolution approchées efficaces, s'inspirant en particulier d'approches classiques en electrical engineering pour le traitement de grands systèmes stochastiques.

Modifier

RENNES

M. Fabre Eric

02 99 84 73 26

eric.fabre@inria.fr

http://www.inria.fr/equipes/sumo/

Modifier

Nos domaines de recherche

Expertises

Modélisation, analyse et gestion de grands systèmes distribués ou modulaires.

Equipements spécifiques

Modifier

Secteurs d'applications

  • Ferroviaire
  • Informatique et logiciels
  • Télécom

Effectif total : 24

dont

  • Nombre de chercheurs :
  • Nombre de doctorants :
Modifier

Mots-clés

gestion de réseaux, modélisation et vérification de web services, systèmes à évènements discrets, méthodes formelles Modifier

Nos résultats

Publications

https://www.inria.fr/equipes/sumo/%28section%29/publications

Exemples de travaux

Système de régulation de systèmes ferroviaires urbains

http://www.irisa.fr/sumo/P22/

Modifier

Relations industrielles et scientifiques

Collaborations privées par type d’entreprise

- France : Alstom Transport, Nokia, Orange
- International :

Collaborations scientifiques

- France :
- International : Aalto Univ (Fin), CMI (India), Univ Cagliari (It), Mount Allison Univ (Canada), Nat. Univ. of Singapore
- Projets européens : Modifier

Ajoutez votre ou vos demande(s) de modification en cliquant sur "modifier" dans chacun des blocs à rectifier, puis envoyez votre demande pour qu'elle soit validée et prise en compte par l'équipe Plug in labs Ouest.

Etape 1

Panier de modifications

Entité Champ Nouvelle valeur Commentaire Action

Etape 2

Vos coordonnées