Skip to Main content Skip to Navigation
New interface
Conference papers

Statistical Model Checking of Distributed Programs within SimGrid

Marie Duflot 1, 2 Yann Duplouy 2 
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : In this paper, we present an approach to perform statistical model-checking over stochastic distributed programs using the SimGrid framework. The distributed programs are modeled using SimGrid, a fast and lightweight framework for the simulation of distributed programs, which we have enhanced in three ways: a cleaner description of the probabilistic evolution of the capacities of resources, a centralized random number generator, and a protocol for the observation of the simulations. We also propose a toolset for the statistical model-checking of those simulated distributed programs, and in particular a prototype tool SimGridStatMC. The toolset is illustrated to evaluate various properties of an implementation of the peer to peer BitTorrent protocol.
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download
Contributor : Marie Duflot Connect in order to contact the contributor
Submitted on : Monday, October 26, 2020 - 1:53:00 PM
Last modification on : Saturday, June 25, 2022 - 7:44:36 PM
Long-term archiving on: : Wednesday, January 27, 2021 - 6:50:48 PM


Files produced by the author(s)


  • HAL Id : hal-02978389, version 1


Marie Duflot, Yann Duplouy. Statistical Model Checking of Distributed Programs within SimGrid. SIMULTECH 2020 - 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2020, Lieusaint, France. ⟨hal-02978389⟩



Record views


Files downloads