EDF a lancé en 2017 un benchmark destiné à permettre l'évaluation comparative d'outils avancés de modélisation et de calcul pour la sûreté de fonctionnement des systèmes dynamiques, c’est-à-dire impossibles à représenter avec des modèles statiques tels que les arbres de défaillances ou les réseaux bayésiens. Ce benchmark comportait plusieurs cas-tests, mais seuls deux d'entre eux ont été résolus avec une variété significative d'outils. Parmi ces deux, un seul est représentatif d’un système industriel réel : les alimentations électriques 6,6kV secourues d’une centrale nucléaire. Cet exemple concentre la grande majorité des difficultés que peut présenter une étude de la fiabilité et disponibilité d’un système réparable : reconfigurations avec cascades de transitions instantanées probabilisées, haut niveau de redondance, défaillances de cause commune, grandes différences entre taux de transitions les plus faibles et les plus forts, interactions multidirectionnelles (à cause de la propagation des courts-circuits), interactions bouclées, existence de délais déterministes dus à l’épuisement des batteries . Une définition précise de ce cas test incluant les données de fiabilité (fausses, pour des raisons de confidentialité), ainsi qu’une première modélisation par BDMP sont donnés dans l’article disponible ici, publié au workshop MARS 2017 (http://mars-workshop.org/mars2017/).
Le 14 juin vous aurez la possibilité de juger par vous-même des avantages, inconvénients et limites de pas moins de huit approches différentes appliquées toutes au cas du système 6,6kV. Les outils et modèles utilisés feront l’objet de démonstrations et les résultats obtenus pourront être comparés. Ce sera une journée internationale, avec des contributions d'universités étrangères, c'est pourquoi elle sera en anglais.
In 2017, EDF launched a benchmark designed to compare advanced modeling and calculation tools for the dependability analysis of dynamic systems, that is to say, impossible to represent with static models such as fault trees or Bayesian networks. This benchmark included several use cases, but only two of them were solved with a significant variety of tools. Of these, only one is representative of a real industrial system: the 6.6kV emergency power supply of a nuclear power plant. This example concentrates the great majority of the difficulties that one can encounter in a study of the reliability and availability of a repairable system: reconfigurations with cascades of probabilistic instantaneous transitions, high redundancy level, common cause failures, large differences between the lowest and highest transition rates, multidirectional interactions (due to the propagation of short circuits), looped interactions, existence of deterministic delays due to battery depletion. A precise definition of this test case including reliability data (fake, for confidentiality reasons), as well as a first BDMP modelling are given in the article available here, published at the MARS 2017 workshop (http://mars-workshop.org/mars2017/).
On June 14 you will have the opportunity to judge for yourself the advantages, disadvantages and limitations of no less than eight different approaches applied to the case of the 6.6kV system. The tools and models used will be demonstrated and the results obtained can be compared. It will be an international day, with contributions from foreign universities, so it will be in English.
9h00 Welcome coffee
9h30 Welcome, benchmark history and definition
10h00 Solution by KB3-BDMP and Figseq (A*) or YAMS (M*) - Marc Bouissou (EDF)
10h45 Coffee break
11h15 Solution 1 by Pycatshoo (M) in textual mode - Keoni Sanny & Claudia Picoco (Ohio State Univ.), Valentin Rychkov (EDF)
12h00 Solution 2 by Pycatshoo (M) with GUI - Jean-Christophe Houdebine (Aristè)
12h30 Partial solution (non repairable version) by STORM (A) - Shahid Khan & Pieter-Joost Katoen (Aachen Univ.)
13h00 Lunch
14h00 Solution by SimfiaNeo (M) - Xavier de Bossoreille & Mathilde Machin (APSYS-AIRBUS)
14h45 SMT-based safety analysis of redundant power networks (A) - Marco Bozzano, Alessandro Cimatti, Mirko Sessa (Fondazione Bruno Kessler), Sergio Mover (Ecole Polytechnique)
15h30 Coffee break
15h45 Solution by KB3-K6 and Figseq or YAMS - Anthony Legendre (EDF)
16h15 Solution by RiskSpectrum I&AB (A) - Marc Bouissou (EDF), Pavel Krcal (Lloyd’s Register)
*A : analytical
*M : Monte Carlo simulation
Date limite d'inscription : 7 juin 2019
Accès :
Entrée du site : 7 bd Gaspard Monge 91120 Palaiseau
ACCÈS EN TRANSPORT EN COMMUN
RER B ou C arrêt Massy/Palaiseau ;
Puis Bus 91.06 (ou 91.10) arrêt Palaiseau - Campus
ACCÈS EN VOITURE
➔ Par la N118 via Pont de Sèvres. Prendre la sortie 9 vers «Orsay-le Guichet».
➔ Depuis la Porte d’Orléans. Prendre l’A6 en direction de Lyon. Continuer sur l’A10 vers «Nantes/Bordeaux». Sortir à gauche vers «D444/Versailles/ Igny/Bièvres». Continuer sur la D36.
Parking visiteurs en face du 7 boulevard Gaspard Monge à Palaiseau.