Approches de la fiabilité dynamique pour modéliser des systèmes critiques

Le projet consiste a experimenter et comparer des approches de la fiabilite dynamique. L'enjeu est de modeliser de facon probabiliste la surete de fonctionnement des systemes critiques, en particulier les interactions entre les processus physiques (modelise par des variables continues) et le controle-commande (modelise par des variables discretes), en presence de defaillances (stochastiques) ou de contextes rares. Les domaines industriels vises sont la production d'energie et les industries des procedes. Les partenaires sont l'Universite de Technologie de Troyes (UTT-ICD), Nancy-Universite-INPL (CRAN), Institut de Mathematiques de Bordeaux-INRIA (CQFD), EDF R&D. Le projet part du constat que les methodes classiques, binaires ou par etats, d'evaluation de la surete de fonctionnement (Arbres de Defaillance, Arbres d'Evenements, reseaux de Petri stochastiques) presentent des limites pour les systemes critiques a caractere hybride.. Face a ces systemes, qui combinent en general des variables continues de nature deterministe, et des evenements discrets de nature stochastique, les approches statiques et meme dynamiques a espace d'etats discret, peuvent conduire, passe un certain niveau de complexite ou de realisme, a des simplifications excessives qui mettent en cause la credibilite de l'analyse ou peuvent mener a des marges excessives, ou pire, a des parades inappropriees.