|
Evènement pour le groupe Modélisation et Verification
Date | 2011-06-23 11:30-12:45 |
Titre | Génération de séquences de pannes de modèles AltaRica |
Résumé | Les analyses de sûreté visent à réduire la probabilité
d'occurrence d'incidents critiques dans un système. Un des moyens
d'évaluer cette probabilité est de calculer les principales
combinaisons de pannes des composants du système qui engendrent
l'incident critique étudié. Cet ensemble de combinaisons permet
ensuite d'évaluer, éventuellement de manière pessimiste, la
probabilité de défaillance du système.
Lors de ce séminaire je présenterai comment nous avons utilisé de
vieilles recettes pour calculer l'ensemble des séquences critiques
d'un système modélisé en langage AltaRica.
Ces algorithmes sont désormais disponibles dans ARC, le model-checker
pour AltaRica.
La présentation sera en français.
|
Lieu | Salle 076, LaBRI, Rez-de-chaussée |
Orateur | Gérald Point |
Email | point@labri.fr |
Url | LaBRI |
Aucun document lié à cet événement. RetourRetour à l'index
| |