EN FR
EN FR


Section: Partnerships and Cooperations

National Initiatives

ANR

ANR VACSIM: Validation of critical control-command systems by coupling simulation and formal analysis, 2011-2015, web site

Partners: EDF R&D, Dassault Systèmes, LURPA, I3S, LaBRI, and Inria SUMO.

The project aims at developing both methodological and formal contributions for the simulation and validation of control-command systems. SUMO contributes to quantitative analysis and its application to testing, monitoring of timed systems, and verification of communicating timed automata.

ANR Ctrl-Green: Autonomic management of green data centers, 2011-2014, web site

Partners: UJF/LIG, INPT/IRIT, Inria SUMO, EOLAS, Scalagent.

This project aims at developing techniques for the automatic optimal management of reconfigurable systems in the context of data centers using discrete controller synthesis methodology applied in the synchronous paradigm.

ANR STOCH-MC: Model-Checking of Stochastic Systems using approximated algorithms, 2014-2018, web site .

Led by SUMO.

Partners: Inria Project Team CONTRAINTES (Rocquencourt), LaBRI (Bordeaux), and LIAFA (Paris).

The aim of STOCH-MC is to perform model-checking of large stochastic systems, using controlled approximations. Two formalisms will be considered: Dynamic Bayesian Networks, which represent compactly large Markov Chains; and Markov Decision Processes, allowing non deterministic choices on top of probabilities.

National informal collaborations

We collaborate with Yliès Falcone (VaSCO - LIG) and Antoine Rollet (Labri) on the enforcement of timed properties.

We collaborate with Arnaud Sangnier (LIAFA) on the parameterized verification of probabilistic systems.

We collaborate with B.Bérard (LIP6) on problems related to security.

We collaborate with Eric Rutten and Gwenael delaval on the control of reconfigurable systems as well as making the ling between Reax and Heptagon / BZR (http://bzr.inria.fr/ )