Head of team
Nathalie BERTRAND (Researcher, Inria)

SUMO : SUpervision of large MOdular and distributed systems

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.


Creation date
Reporting institution
Inria, Université de Rennes 1, CNRS
Campus de Beaulieu, RENNES (35)
Activity reports
Attachment Size
SUMO-RA-2022.pdf 484.57 KB
SUMO-RA-2021.pdf 517.01 KB
sumo2019.pdf 479.74 KB
sumo2018.pdf 470.09 KB
sumo2017.pdf 479.28 KB