Détail d'une fiche   Version PDF

ESTASYS (SR0610ER)

Efficient STAtistical methods in SYstems of systems

ESTASYS


Statut: Terminée

Responsable : Axel Legay

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

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

Période : 01/01/2014 -> 31/12/2015
Dates d'évaluation :

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Centre Inria de l'Université de Rennes
Localisation : Centre Inria de l'Université de Rennes
Code structure Inria : 031112-0

Numéro RNSR : 201421115V
N° de structure Inria: SR0610ER

Présentation

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