Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Génération de séquences de pannes de modèles AltaRica
du 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