Evènement pour le groupe Modélisation et Verification


Date 2011-06-23  11:30-12:45
TitreGé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.  
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurGérald Point 
Emailpoint@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index