|
SUpervision of large MOdular and distributed systems |
Presentation
The SUMO team proposes to combine formal methods approaches with concurrency theory, in order to address the modeling, analysis and management of large distributed or modular systems exhibiting quantitative aspects. Large distributed softwares and systems are indeed calling for quantitative models involving time, probabilities, costs, and combinations of them. As many problems in this setting become untractable or even undecidable, we are interested in the design of efficient approximation techniques, for example borrowed from electrical engineering approaches to the management of large stochastic systems. A strong point of SUMO is to gather skills from formal methods, discrete event systems, concurrency theory, and electrical engineering. Several application fields are covered: telecommunication networks management, modeling and verification of web services, control issues in large data centers, plus more opportunistic applications in the field of embedded systems or biological pathways.Team leader
-
Nathalie Bertrand
Tel: +33 2 99 84 22 81
E-mail: nathalie.bertrand@inria.fr
Sumo was created on January 2013. The members of SUMO were previously members of the
- Distribcom Team
- S4 Team
- VerTeCs Team
M2 Internships:
- Transient Analysis of Transport Networks
- Bounded UDPOR (Partial Order Reduction)
Current Projects:
ADT MOCHY (2020-2022), Software development for Concurrent Hybrid systems. Application to models of subway traffic management
EQUAVE Associated team on efficient quantitative verification.
ANR Project Headwork (2016-2021), Human-Centric Data Oriented Workflows
ANR Project TickTac (2018-2022), Efficient verification and synthesis techniques for timed systems
Softwarisation of everything (2017-2021): A joint research team within the INRIA-Nokia Bell Labs common lab, dedicated to programmability and management of SDNs
Cifre PhD with MERCE, Mitsubishi Electric Research (2018-2021), about verification of timed modular programs
IOlabs (2017-2020), Cifre PhD within the common lab Orange Labs- Inria, about fault diagnosis in SDNs
Past Projects:
P22 Project (2015-2018), Industrial project with Alstom Transport on subway regulation
ANR Project STOCH-MC (2014-2018), Stochastic Models: Scalable Model Checking
QuantProb Associated team on optimization of non-standard quantitative properties in partially observable probabilistic models
with Dresden Technical University
AVerTS Indo-French project on the algorithmic verification of real-time systems
DISTOL Inria associated team with CMI and IMSc on distributed and
stochastic systems, and logic for control.
ANR Project Ctrl-Green (2011-2015), Autonomic management of green data centers.
ANR Project Vacsim
(2011-2015), Validation de la commande des systèmes critiques
par couplage simulation et méthodes d'analyse formelle.