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

Résumé : 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.
Type de document :
Communication dans un congrès
20ième Congrès de Maîtrise des Risques et Sûreté de Fonctionnement (LambdaMu 20), Oct 2016, Saint_Malo, France. 2016
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01378407
Contributeur : Jean-Marc Roussel <>
Soumis le : lundi 10 octobre 2016 - 10:46:03
Dernière modification le : vendredi 6 avril 2018 - 13:32:05
Document(s) archivé(s) le : samedi 4 février 2017 - 00:35:42

Fichier

2014_AuPetit_DKESS.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

304

Téléchargements de fichiers

58