Résumé
Le projet consiste à expérimenter et comparer des approches de la fiabilité dynamique. L'enjeu est de modéliser de façon probabiliste la sûreté de fonctionnement des systèmes critiques, en particulier les interactions entre les processus physiques (modélisé par des variables continues) et le contrôle-commande (modélisé par des variables discrètes), en présence de défaillances (stochastiques) ou de contextes rares. Les domaines industriels visés sont la production d'énergie et les industries des procédés. Les partenaires sont l'Université de Technologie de Troyes (UTT-ICD), Nancy-Université-INPL (CRAN), Institut de Mathématiques de Bordeaux-INRIA (CQFD), EDF R&D. Le projet part du constat que les méthodes classiques, binaires ou par états, d'évaluation de la sûreté de fonctionnement (Arbres de Défaillance, Arbres d'Evènements, réseaux de Petri stochastiques) présentent des limites pour les systèmes critiques à caractère hybride.. Face à ces systèmes, qui combinent en général des variables continues de nature déterministe, et des évènements discrets de nature stochastique, les approches statiques et même dynamiques à espace d'états discret, peuvent conduire, passé un certain niveau de complexité ou de réalisme, à des simplifications excessives qui mettent en cause la crédibilité de l'analyse ou peuvent mener à des marges excessives, ou pire, à des parades inappropriées.