Skip to Main content Skip to Navigation
Conference papers

Vers la définition d’un kit d’évaluation pour les simulateurs stochastiques

Abstract : An event-based stochastic simulator is mainly composed of three mechanisms: the mechanism to update the model, to schedule the transitions, and to compute the indicators. Simulated models use these three mechanisms at various degrees. When an user wants to select a stochastic simulation tool for inclusion in its process, criteria should be established. They can take into account, in addition to the quality of results, the performance of the tool for models of the size and type of those that will be studied. To facilitate the choice of the tool according to the intended use, an evaluation kit is proposed, composed of test-cases of parameterizable sizes and corresponding to various mechanisms of the stochastic simulator tool. These test-cases are from various areas of safety assessment or automata simulation. The results of their simulations are comparable with other tools (Markov chains, fault trees, analytical formulas ...). The user can evaluate or estimate, according to its intended use, the performance and the quality of the results of the event-based stochastic simulation tool, according to the size and characteristics of its own models.
Document type :
Conference papers
Complete list of metadata
Contributor : Jean-Marc Roussel <>
Submitted on : Monday, October 10, 2016 - 10:46:03 AM
Last modification on : Tuesday, February 23, 2021 - 7:24:06 PM
Long-term archiving on: : Saturday, February 4, 2017 - 12:35:42 AM


Files produced by the author(s)


  • HAL Id : hal-01378407, version 1


Benjamin Aupetit, Michel Batteux, Antoine Rauzy, Jean-Marc Roussel. Vers la définition d’un kit d’évaluation pour les simulateurs stochastiques. 20ième Congrès de Maîtrise des Risques et Sûreté de Fonctionnement (LambdaMu 20), Institut pour la Maîtrise des Risques et la Sûreté de Fonctionnement (IMdR-SdF) Oct 2016, Saint_Malo, France. ⟨hal-01378407⟩



Record views


Files downloads