Approche compositionnelle sur les langages probabilistes pour l'évaluation quantitative des séquences d’événements en sûreté de fonctionnement

Dorina Ionescu 1 Nicolae Brînzei 1 Jean-François Pétin 1
1 CRAN - Centre de Recherche en Automatique de Nancy
Résumé : L'analyse de la sûreté de fonctionnement (SdF) des systèmes critiques réactifs est généralement réalisée de manière qualitative pour identifier les sources de dysfonctionnement et de manière quantitative pour evaluer des indicateurs de SdF. Les approches qualitatives reposent sur l'identification des relations causales entre les défaillances des composants et celle du système (fonction de structure) ce qui permet de déterminer tous les sous-ensembles de composants conduisant a la défaillance du système (coupes). Les approches quantitatives consistent à évaluer la probabilité d'occurrence d'une défaillance (défiabilité) ou la probabilité que le système soit en conditions opérationnelles (disponibilité). Ce poster s'intéresse à l'évaluation de la probabilité d'occurrence de séquences d'événements de défaillance et de réparation, pour des systèmes dynamiques réparables, ayant de multiples modes de défaillance et/ou possédant de multiples stratégies de reconfiguration ou de maintenance.
Type de document :
Communication dans un congrès
Stephan Merz and Jean-François Pétin. 10ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2015, Nov 2015, Nancy, France. Modélisation des Systèmes Réactifs
Liste complète des métadonnées
https://hal.inria.fr/hal-01226193
Contributeur : Stephan Merz <>
Soumis le : jeudi 12 novembre 2015 - 17:28:03
Dernière modification le : jeudi 11 janvier 2018 - 06:24:14

Annexe

  •  ionescu.pdf Papier court  - Commentaire : Résumé du poster

Identifiants

  • HAL Id : hal-01226193, version 1

Collections

CRAN | UNIV-LORRAINE | MSR2015 | TDS-MACS

Citation

Dorina Ionescu, Nicolae Brînzei, Jean-François Pétin. Approche compositionnelle sur les langages probabilistes pour l'évaluation quantitative des séquences d’événements en sûreté de fonctionnement. Stephan Merz and Jean-François Pétin. 10ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2015, Nov 2015, Nancy, France. Modélisation des Systèmes Réactifs. 〈hal-01226193〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

76

Téléchargements de fichiers

28

Contact


archive-ouverte@inria.fr