Sites Inria

Version française

ESTASYS Research team

Efficient STAtistical methods in SYstems of systems

  • Leader : Axel Legay
  • Research center(s) : CRI Rennes - Bretagne Atlantique
  • Field : Algorithmics, Programming, Software and Architecture
  • Theme : Proofs and Verification

Team presentation

Computer systems play a central role in modern societies and their
errors can have dramatic consequences. Industry and academics thus
invest a considerable amount of effort developing techniques to prove
the correctness of these systems. Among such techniques, one finds (1)
testing, the traditional approach to detect bugs with test
cases, and (2) formal methods, e.g., model checking (Turing
award), that can guarantee the absence of bugs.
Both approaches have been largely deployed on static systems, whose
behaviour is entirely known. ESTASYS focuses on developping
brand new formal methods for Systems of Systems.

Research themes

Formal verification

Statistical Model Checking

Variability analysis

Quantitative modeling.

International and industrial relations

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

Keywords: Systems of Systems Statistical Model Checking Quantitative Distances Dynamicity Vulnerability Connected-Object