Sites Inria

English version

Equipe de recherche ESTASYS

Efficient STAtistical methods in SYstems of systems

  • Responsable : Axel Legay
  • Centre(s) de recherche : CRI Rennes - Bretagne Atlantique
  • Domaine : Algorithmique, programmation, logiciels et architectures
  • Thème : Preuves et vérification

Présentation de l'équipe

ESTASYS développe des solutions inovantes pour la spécification rigoureuse de systèmes de systèmes. Notre approche se base sur une modélisation des composants au moyen de représentations mathématiques. Ensuite, des techniques efficaces sont appliquées pour prédire le comportement du système et le corriger en fonction de son évolution.

Axes de recherche

Vérification

Object connectés

Statistical Model Checking

Variabilité et dynamicité

Relations industrielles et internationales

 

Aalborg University

Université de Namur

EADS

THALES

IBM

University of Trento

Rice University

University of Copenhagen

Université de Vannes

Aachen University

Lerho (Ireland)

University of Dortmund

University of Vienna

Royal Holloway University of London

 

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