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.

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