Dependable distributed systems: Verification made efficient |
Presentation
The overall goal of the Devine project-team is to contribute to the design of dependable distributed systems that include quantitative aspects such as time, cost or probabilities. Devine proposes to develop efficient model-based formal methods to verify and enforce their functional and non-functional properties.Team leader
-
Nathalie Bertrand
Tel: +33 2 99 84 22 81
E-mail: nathalie.bertrand@inria.fr
DEVINE was created on January 2024. The members of DEVINE were
previously members of the SUMO
team.
Current Projects:
- ANR MAVeriQ (2021-2025): Methods of Analysis for Verification of Quantitative properties
- ANR BISouS (2022-2025): Better Synthesis for Underspecified Quantitative Systems
- ANR PaVeDyS (2024-2028): Parametric Verification of Dynamic Distributed Systems
- CIFRE PhD with Alstom (2022-2025) on efficient learning techniques for transport network regulation
- DST/Inria Associate Team SINCRET (2024-2026) with IIT Bhubaneswar (India): Scalable and incremental security monitoring and enforcement for timed systems
Past Projects:
- Collaboration with Mitsubishi Electric R&D Centre Europe (2018-2024), about verification of timed modular programs
- Associate Team QuaSL with the university of Naples (2020-2024)
- ADT MOCHY (2020-2022), Software development for Concurrent Hybrid systems. Application to models of subway traffic management
- ANR Project TickTac (2019-2023), Efficient verification and synthesis techniques for timed systems
- Associate Team FUCHSIA (2019-2022) on Flexible User-Centric Higher-order Systems for collective Intelligence in Agencies with ENSP (École Nationale Supérieure Polytechnique) in Yaoundé and Epicentre/Médecins sans frontiers hosted by the IIL LIRIMA
- Cifre PhD with MERCE, Mitsubishi Electric R&D Centre Europe (2018-2021), about verification of timed modular programs
- EQUAVE (2018-2019) Associate team on efficient quantitative verification.
- Softwarisation of everything (2017-2021): A joint research team within the INRIA-Nokia Bell Labs common lab, dedicated to programmability and management of SDNs
- IOlabs (2017-2020), Cifre PhD within the common lab Orange Labs-Inria, about fault diagnosis in SDNs
- ANR Project Headwork (2016-2021), Human-Centric Data Oriented Workflows
- IPL HAC-SPECIS (2016-2018), High-performance Application and Computers, Studying PErformance and Correctness In Simulation
- P22 Project (2015-2018), Industrial project with Alstom Transport on subway regulation