Modélisation des systèmes complexes critiques en fiabilité dynamique par automates stochastiques hybrides, évaluation de leur comportement
Résumé
Cette communication s'intéresse à la modélisation et à l'évaluation probabiliste des indicateurs de la sûreté de fonctionnement d'un générateur de vapeur d'un réacteur nucléaire. Ce cas-test proposé par EDF R&D représente un système industriel réel. L'approche utilisée est celle des " automates stochastiques hybrides " (ASH) qui permet de prendre en compte tous les aspects caractérisant le concept de " fiabilité dynamique ". La simulation de Monte Carlo permet d'évaluer les probabilités d'accès à l'état redouté, mais aussi les probabilités d'occurrence des séquences critiques d'événements.