déposer
version française rss feed
HAL : hal-00740181, version 1

Fiche détaillée  Récupérer au format
Rapport final du projet APPRODYN : APPROches de la fiabilité DYNamique pour modéliser des systèmes critiques
Jean-François Aubry 1, Génia Babykina 1, Anne Barros 2, 3, Nicolae Brinzei 1, Gilles Deleuze 4, Benoîte de Saporta 5, 6, François Dufour 5, 6, Yves Langeron 7, Huilong Zhang 5, 6
collaboration CRAN, EDF R&D, INRIA-CQFD, UTT-ICD Collaboration(s)
(15/03/2012)

La sûreté des systèmes industriels à haute criticité repose maintenant en grande partie sur des systèmes de commande programmés. Or, les méthodes classiques d'évaluation de la sûreté se trouvent à leurs limites du fait de la complexité de description des interactions entre les processus et le contrôle-commande, qui ne sont plus représentables par les méthodes statiques de type arbre de défaillances; l'évaluation probabiliste de la sûreté ne pourra se faire qu'à l'aide de modèles de fiabilité dynamique. Dans un premier temps, ce projet se propose de définir un cas test représentatif du domaine de la fiabilité dynamique. Il s'agit d'une partie du circuit secondaire d'un réacteur à eau pressurisée français de 900 MW, avec sa logique de commande. Ensuite, ce cas test est modélisé et analysé par plusieurs approches de la fiabilité dynamique qui ont été retenues pour l'étude : les Automates Stochastiques Hybrides (ASH), les Processus Markoviens Déterministes par Morceaux (PDMP), les Réseaux de Petri Stochastiques (RdPS). Finalement, le potentiel de ces différentes approches est évalué par des comparaisons à la fois qualitative et quantitative des résultats obtenus.
1 :  Centre de Recherche en Automatique de Nancy (CRAN)
CNRS : UMR7039 – Université de Lorraine
2 :  Institut Charles Delaunay (ICD)
CNRS : UMR6281 – Université de Technologie de Troyes
3 :  Université de Technologie de Troyes (UTT)
Université de Technologie de Troyes
4 :  E.D.F. Division Recherche et Développement [Clamart]
EDF
5 :  Institut de Mathématiques de Bordeaux (IMB)
CNRS : UMR5251 – Université Sciences et Technologies - Bordeaux I – Université Victor Segalen - Bordeaux II
6 :  CQFD (INRIA Bordeaux - Sud-Ouest)
INRIA – CNRS : UMR5251 – Université de Bordeaux
7 :  Sciences et Technologies pour la Maitrise des Risques (STMR)
Université de Technologie de Troyes
Sciences de l'ingénieur/Automatique / Robotique

Informatique/Performance et fiabilité
fiabilité dynamique – évaluation probabiliste quantitative – simulation de Monte-Carlo – cas test : régulation du niveau d'eau dans un générateur à vapeur d'une centrale nucléaire
Liste des fichiers attachés à ce document : 
PDF
Rapport_final_APPRODYN_v7a_NB.pdf(3.8 MB)

tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...