Towards a definition of an evaluation kit for stochastic simulators
Vers la définition d’un kit d’évaluation pour les simulateurs stochastiques
Résumé
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.
Un simulateur stochastique évènementiel est principalement composé de trois mécanismes : le mécanisme de mise à jour du modèle, de l’échéancier, et de calcul des indicateurs. Les modèles simulés font appel à des degrés divers à ces trois mécanismes. Lorsqu’un utilisateur souhaite sélectionner un tel outil afin de l’inclure dans un processus de conception, il doit établir des critères pouvant prendre en compte, en plus de la qualité des résultats obtenus, la performance de l’outil pour des modèles de la taille et du type de ceux qu’il étudiera.
Pour faciliter ce choix, il est proposé un kit d’évaluation, composé de cas-tests de taille paramétrable et sollicitant différentes composantes du simulateur stochastique évènementiel. Ces cas-tests sont issus de divers domaines de la sûreté de fonctionnement ou de la simulation d’automates. Les résultats de leurs simulations sont comparables à l’aide d’autres outils (chaînes de Markov, arbres de défaillances, formules analytiques, …). L’utilisateur peut ainsi évaluer ou estimer, suivant son utilisation prévue, la performance et la qualité des résultats de l’outil de simulation stochastique évènementielle correspondant à la taille et aux caractéristiques de ses modèles propres.
Domaines
Automatique / Robotique
Origine : Fichiers produits par l'(les) auteur(s)