Babykina, Génia, Barros, Anne, Bérenguer, Christophe, Bouissou, Marc, Brinzei, Nicolae, Brissaud, Florent, Broy, Perrine, Deleuze, Gilles, De Saporta, Benoîte, Dufour, François, Dijoux, Yann, Donat, Roland, Do Van, Phuc, Langeron, Yves, Nguyen, Danh Ngoc, Medjaher, Slimane, Zhang, Huilong, Centre de Recherche en Automatique de Nancy (CRAN), Université Henri Poincaré - Nancy 1 (UHP)-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Modélisation et Sûreté des Systèmes (LM2S), Institut Charles Delaunay (ICD), Université de Technologie de Troyes (UTT)-Centre National de la Recherche Scientifique (CNRS)-Université de Technologie de Troyes (UTT)-Centre National de la Recherche Scientifique (CNRS), EDF R&D (EDF R&D), EDF (EDF), Institut National de l'Environnement Industriel et des Risques (INERIS), Institut de Mathématiques de Bordeaux (IMB), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS), Quality control and dynamic reliability (CQFD), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Groupe de Recherche en Economie Théorique et Appliquée (GREThA), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes (LITIS), Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Université Le Havre Normandie (ULH), Normandie Université (NU), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Inria Bordeaux - Sud-Ouest, Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA), and Centre National de la Recherche Scientifique (CNRS)-Université de Bordeaux (UB)
National audience; 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.