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.