Skip to Main content Skip to Navigation
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 metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-02978389
Contributor : Marie Duflot <>
Submitted on : Monday, October 26, 2020 - 1:53:00 PM
Last modification on : Tuesday, October 27, 2020 - 10:40:09 AM

File

simultexduflot-duplouy.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02978389, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

29

Files downloads

74