Statistical Model Checking of Distributed Programs within SimGrid - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Statistical Model Checking of Distributed Programs within SimGrid


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.
Fichier principal
Vignette du fichier
simultexduflot-duplouy.pdf (130.39 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02978389 , version 1 (26-10-2020)


  • 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⟩
93 View
129 Download


Gmail Facebook X LinkedIn More