# Statistical Model Checking of Distributed Programs within SimGrid

### Marie Duflot-Kremer, Yann Duplouy

#### 2020

#### 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.

Download#### Paper Citation

#### in Harvard Style

Duflot-Kremer M. and Duplouy Y. (2020). **Statistical Model Checking of Distributed Programs within SimGrid**.In *Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,* ISBN 978-989-758-444-2, pages 233-239. DOI: 10.5220/0009875302330239

#### in Bibtex Style

@conference{simultech20,

author={Marie Duflot-Kremer and Yann Duplouy},

title={Statistical Model Checking of Distributed Programs within SimGrid},

booktitle={Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},

year={2020},

pages={233-239},

publisher={SciTePress},

organization={INSTICC},

doi={10.5220/0009875302330239},

isbn={978-989-758-444-2},

}

#### in EndNote Style

TY - CONF

JO - Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,

TI - Statistical Model Checking of Distributed Programs within SimGrid

SN - 978-989-758-444-2

AU - Duflot-Kremer M.

AU - Duplouy Y.

PY - 2020

SP - 233

EP - 239

DO - 10.5220/0009875302330239