loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Marie Duflot-Kremer and Yann Duplouy

Affiliation: Université de Lorraine, CNRS, Inria, LORIA, F-54000 Nancy, France

Keyword(s): Stochastic Distributed Systems, Distributed Programs, Statistical Model Checking, SimGrid, Simulation.

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.97.14.82

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - SIMULTECH; ISBN 978-989-758-444-2; ISSN 2184-2841, SciTePress, pages 233-239. DOI: 10.5220/0009875302330239

@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 - SIMULTECH},
year={2020},
pages={233-239},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009875302330239},
isbn={978-989-758-444-2},
issn={2184-2841},
}

TY - CONF

JO - Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH
TI - Statistical Model Checking of Distributed Programs within SimGrid
SN - 978-989-758-444-2
IS - 2184-2841
AU - Duflot-Kremer, M.
AU - Duplouy, Y.
PY - 2020
SP - 233
EP - 239
DO - 10.5220/0009875302330239
PB - SciTePress