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
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01378407
Contributor : Jean-Marc Roussel <>
Submitted on : Monday, October 10, 2016 - 10:46:03 AM
Last modification on : Thursday, March 7, 2019 - 8:38:30 AM
Document(s) archivé(s) le : Saturday, February 4, 2017 - 12:35:42 AM

File

2014_AuPetit_DKESS.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01378407, version 1

Citation

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), Oct 2016, Saint_Malo, France. 2016. 〈hal-01378407〉

Share

Metrics

Record views

311

Files downloads

67