|
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
-
Éric Fabre
Tel: +33 2 99 84 73 26
E-mail: eric.fabre(at)inria.fr
Sumo was created on January 2013. The members of SUMO were previously members of the
- Distribcom Team
- S4 Team
- VerTeCs Team
Open positions
- Master Internships (2017-2018)
- PhD proposal : Verification of Large Scale Stochastic Systems, Application to Diagnosis and Opacity.
- PhD proposal : Modular model-based test generation
- Offre de thèse : Sécurité et sûreté des systèmes d'information distribués - Inria PhD proposal
- PhD proposal, Perturbation and adaptation models for timed systems
- PhD proposal, Data-centric Workflows for Crowdsourcing Applications
Current Projects:
QuantProb Associated team on optimization of non-standard quantitative properties in partially observable probabilistic models
with Dresden Technical University
EQUAVE Associated team on efficient quantitative verification.
P22 Project
(2015-2018), Industrial project with Alstom Transport
ANR Headwork
(2016-2020), Human-Centric Data Oriented Workflows
Past Projects:
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.
ANR Project
STOCH-MC (2014-2018), Stochastic Models:
Scalable Model Checking.
UniverSelf (European IP, FP7), Self-management methods for telecommunication networks.