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

Génia Babykina; Anne Barros; Christophe Bérenguer; Marc Bouissou; Nicolae Brinzei; Florent Brissaud; Perrine Broy; Gilles Deleuze; Benoîte de Saporta; François Dufour; Yann Dijoux; Roland Donat; Phuc Do Van; Yves Langeron; Danh Ngoc Nguyen; Slimane Medjaher; Huilong Zhang

hal-00653175, version 1

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

Génia Babykina () ¹, Anne Barros () ^2, 3, Christophe Bérenguer () ^3, 4, Marc Bouissou ⁵, Nicolae Brinzei () ¹, Florent Brissaud () ^3, 6, Perrine Broy, Gilles Deleuze ⁵, Benoîte de Saporta () ^7, 8, 9, François Dufour () ^7, 8, Yann Dijoux ¹⁰, Roland Donat () ¹¹, Phuc Do Van ², Yves Langeron, Danh Ngoc Nguyen, Slimane Medjaher, Huilong Zhang () ^7, 8

4ème Workshop du Groupement d'Intérêt Scientifique "Surveillance, Sûreté, Sécurité des Grands Systèmes" (2011) CDROM

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.

1 : Centre de recherche en automatique de Nancy (CRAN)
CNRS : UMR7039 – Université Henri Poincaré - Nancy I – Institut National Polytechnique de Lorraine (INPL)
2 : Institut Charles Delaunay
Université de Technologie de Troyes : 2848
3 : Université de Technologie de Troyes (UTT)
Université de Technologie de Troyes
4 : Institut Charles Delaunay Laboratoire de Modélisation et Sûreté des Systèmes (LM2S)
Université de Technologie de Troyes
5 : E.D.F. Division Recherche et Développement [Clamart]
EDF
6 : Institut National de l'Environnement Industriel et des Risques (INERIS)
INERIS
7 : Institut de Mathématiques de Bordeaux (IMB)
CNRS : UMR5251 – Université Sciences et Technologies - Bordeaux I – Université Victor Segalen - Bordeaux II
8 : CQFD (INRIA Bordeaux - Sud-Ouest)
INRIA – Université Sciences et Technologies - Bordeaux I – Université Victor Segalen - Bordeaux II – CNRS : UMR5251
9 : Groupe de Recherche en Economie Théorique et Appliquée (GREThA)
CNRS : UMR5113 – Université Montesquieu - Bordeaux IV
10 : Laboratoire Jean Kuntzmann (LJK)
CNRS : UMR5224 – Université Joseph Fourier - Grenoble I – Université Pierre-Mendès-France - Grenoble II – Institut Polytechnique de Grenoble - Grenoble Institute of Technology
11 : Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes (LITIS)
Institut National des Sciences Appliquées (INSA) - Rouen – Université du Havre – Université de Rouen : EA4108

hal-00653175, version 1
http://hal.archives-ouvertes.fr/hal-00653175
oai:hal.archives-ouvertes.fr:hal-00653175
Contributeur : Nicolae Brinzei <>
Soumis le : Dimanche 18 Décembre 2011, 23:24:22
Dernière modification le : Dimanche 18 Décembre 2011, 23:24:22

Voir la fiche détaillée

Exporter

Bibtex EndNote TEI RefWorks

%% hal-00653175, version 1
%% http://hal.archives-ouvertes.fr/hal-00653175
@inproceedings{babykina:hal-00653175,
    hal_id = {hal-00653175},
    url = {http://hal.archives-ouvertes.fr/hal-00653175},
    title = {{Approches de la fiabilit{\'e} dynamique pour mod{\'e}liser des syst{\`e}mes critiques}},
    author = {Babykina, G{\'e}nia and Barros, Anne and B{\'e}renguer, Christophe and Bouissou, Marc and Brinzei, Nicolae and Brissaud, Florent and Broy, Perrine and Deleuze, Gilles and de Saporta, Beno{\^\i}te and Dufour, Fran{\c c}ois and Dijoux, Yann and Donat, Roland and Do Van, Phuc and Langeron, Yves and Nguyen, Danh Ngoc and Medjaher, Slimane and Zhang, Huilong},
    abstract = {{Le projet consiste {\`a} exp{\'e}rimenter et comparer des approches de la fiabilit{\'e} dynamique. L'enjeu est de mod{\'e}liser de fa{\c c}on probabiliste la s{\^u}ret{\'e} de fonctionnement des syst{\`e}mes critiques, en particulier les interactions entre les processus physiques (mod{\'e}lis{\'e} par des variables continues) et le contr{\^o}le-commande (mod{\'e}lis{\'e} par des variables discr{\`e}tes), en pr{\'e}sence de d{\'e}faillances (stochastiques) ou de contextes rares. Les domaines industriels vis{\'e}s sont la production d'{\'e}nergie et les industries des proc{\'e}d{\'e}s. Les partenaires sont l'Universit{\'e} de Technologie de Troyes (UTT-ICD), Nancy-Universit{\'e}-INPL (CRAN), Institut de Math{\'e}matiques de Bordeaux-INRIA (CQFD), EDF R\&D. Le projet part du constat que les m{\'e}thodes classiques, binaires ou par {\'e}tats, d'{\'e}valuation de la s{\^u}ret{\'e} de fonctionnement (Arbres de D{\'e}faillance, Arbres d'Ev{\`e}nements, r{\'e}seaux de Petri stochastiques) pr{\'e}sentent des limites pour les syst{\`e}mes critiques {\`a} caract{\`e}re hybride.. Face {\`a} ces syst{\`e}mes, qui combinent en g{\'e}n{\'e}ral des variables continues de nature d{\'e}terministe, et des {\'e}v{\`e}nements discrets de nature stochastique, les approches statiques et m{\^e}me dynamiques {\`a} espace d'{\'e}tats discret, peuvent conduire, pass{\'e} un certain niveau de complexit{\'e} ou de r{\'e}alisme, {\`a} des simplifications excessives qui mettent en cause la cr{\'e}dibilit{\'e} de l'analyse ou peuvent mener {\`a} des marges excessives, ou pire, {\`a} des parades inappropri{\'e}es.}},
    language = {Fran{\c c}ais},
    affiliation = {Centre de recherche en automatique de Nancy - CRAN , Institut Charles Delaunay , Universit{\'e} de Technologie de Troyes - UTT , Institut Charles Delaunay Laboratoire de Mod{\'e}lisation et S{\^u}ret{\'e} des Syst{\`e}mes (LM2S) , E.D.F. Division Recherche et D{\'e}veloppement [Clamart] , Institut National de l'Environnement Industriel et des Risques - INERIS , Institut de Math{\'e}matiques de Bordeaux - IMB , CQFD - INRIA Bordeaux - Sud-Ouest , Groupe de Recherche en Economie Th{\'e}orique et Appliqu{\'e}e - GREThA , Laboratoire Jean Kuntzmann - LJK , Laboratoire d'Informatique, de Traitement de l'Information et des Syst{\`e}mes - LITIS},
    booktitle = {{4{\`e}me Workshop du Groupement d'Int{\'e}r{\^e}t Scientifique "Surveillance, S{\^u}ret{\'e}, S{\'e}curit{\'e} des Grands Syst{\`e}mes"}},
    pages = {CDROM},
    address = {Valenciennes, France},
    note = {SURFDIAG SURFDIAG },
    audience = {nationale },
    year = {2011},
    month = Oct,
}

%F hal-00653175, version 1
%0 Conference Proceedings
%U http://hal.archives-ouvertes.fr/hal-00653175
%2 SPI:AUTO
%T Approches de la fiabilité dynamique pour modéliser des systèmes critiques
%A Babykina, Génia
%A Barros, Anne
%A Bérenguer, Christophe
%A Bouissou, Marc
%A Brinzei, Nicolae
%A Brissaud, Florent
%A Broy, Perrine
%A Deleuze, Gilles
%A de Saporta, Benoîte
%A Dufour, François
%A Dijoux, Yann
%A Donat, Roland
%A Do Van, Phuc
%A Langeron, Yves
%A Nguyen, Danh Ngoc
%A Medjaher, Slimane
%A Zhang, Huilong
%+ Centre de recherche en automatique de Nancy - CRAN , Institut Charles Delaunay , Université de Technologie de Troyes - UTT , Institut Charles Delaunay Laboratoire de Modélisation et Sûreté des Systèmes (LM2S) , E.D.F. Division Recherche et Développement [Clamart] , Institut National de l'Environnement Industriel et des Risques - INERIS , Institut de Mathématiques de Bordeaux - IMB , CQFD - INRIA Bordeaux - Sud-Ouest , Groupe de Recherche en Economie Théorique et Appliquée - GREThA , Laboratoire Jean Kuntzmann - LJK , Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes - LITIS
%X 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.
%G Français
%B 4ème Workshop du Groupement d'Intérêt Scientifique "Surveillance, Sûreté, Sécurité des Grands Systèmes"
%2 nationale
%8 2011-10-12
%P CDROM
%B 4ème Workshop du Groupement d'Intérêt Scientifique "Surveillance, Sûreté, Sécurité des Grands Systèmes"
%8 2011-10-12
%8 2011-10-13
%2 Valenciennes
%2 France
%Z SURFDIAG

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Communications avec actes</head>
<biblStruct type="inproceedings" xml:id="hal-00653175"><analytic>
<author><persName><forename>Génia</forename><surname>Babykina</surname></persName>
<affiliation>
<orgName type="laboratory">CRAN</orgName>
<orgName type="team">Centre de recherche en automatique de Nancy</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR7039</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<author><persName><forename>Anne</forename><surname>Barros</surname></persName>
<affiliation>
<orgName type="team">Institut Charles Delaunay</orgName>
<country>FR</country>
<orgName type="institution">Université de Technologie de Troyes : 2848</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">UTT</orgName>
<orgName type="team">Université de Technologie de Troyes</orgName>
<country>FR</country>
<orgName type="institution">Université de Technologie de Troyes</orgName>
</affiliation>
</author>
<author><persName><forename>Christophe</forename><surname>Bérenguer</surname></persName>
<affiliation>
<orgName type="laboratory">UTT</orgName>
<orgName type="team">Université de Technologie de Troyes</orgName>
<country>FR</country>
<orgName type="institution">Université de Technologie de Troyes</orgName>
</affiliation>
<affiliation>
<orgName type="team">Institut Charles Delaunay Laboratoire de Modélisation et Sûreté des Systèmes (LM2S)</orgName>
<country>FR</country>
<orgName type="institution">Université de Technologie de Troyes</orgName>
</affiliation>
</author>
<author><persName><forename>Marc</forename><surname>Bouissou</surname></persName>
<affiliation>
<orgName type="team">E.D.F. Division Recherche et Développement [Clamart]</orgName>
<country>FR</country>
<orgName type="institution">EDF</orgName>
</affiliation>
</author>
<author><persName><forename>Nicolae</forename><surname>Brinzei</surname></persName>
<affiliation>
<orgName type="laboratory">CRAN</orgName>
<orgName type="team">Centre de recherche en automatique de Nancy</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR7039</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<author><persName><forename>Florent</forename><surname>Brissaud</surname></persName>
<affiliation>
<orgName type="laboratory">UTT</orgName>
<orgName type="team">Université de Technologie de Troyes</orgName>
<country>FR</country>
<orgName type="institution">Université de Technologie de Troyes</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">INERIS</orgName>
<orgName type="team">Institut National de l'Environnement Industriel et des Risques</orgName>
<country>FR</country>
<orgName type="institution">INERIS</orgName>
</affiliation>
</author>
<author><persName><forename>Perrine</forename><surname>Broy</surname></persName></author>
<author><persName><forename>Gilles</forename><surname>Deleuze</surname></persName>
<affiliation>
<orgName type="team">E.D.F. Division Recherche et Développement [Clamart]</orgName>
<country>FR</country>
<orgName type="institution">EDF</orgName>
</affiliation>
</author>
<author><persName><forename>Benoîte</forename><surname>de Saporta</surname></persName>
<affiliation>
<orgName type="laboratory">IMB</orgName>
<orgName type="team">Institut de Mathématiques de Bordeaux</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR5251</orgName>
<orgName type="institution">Université Sciences et Technologies - Bordeaux I</orgName>
<orgName type="institution">Université Victor Segalen - Bordeaux II</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">INRIA Bordeaux - Sud-Ouest</orgName>
<orgName type="team">CQFD</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Sciences et Technologies - Bordeaux I</orgName>
<orgName type="institution">Université Victor Segalen - Bordeaux II</orgName>
<orgName type="institution">CNRS : UMR5251</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">GREThA</orgName>
<orgName type="team">Groupe de Recherche en Economie Théorique et Appliquée</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR5113</orgName>
<orgName type="institution">Université Montesquieu - Bordeaux IV</orgName>
</affiliation>
</author>
<author><persName><forename>François</forename><surname>Dufour</surname></persName>
<affiliation>
<orgName type="laboratory">IMB</orgName>
<orgName type="team">Institut de Mathématiques de Bordeaux</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR5251</orgName>
<orgName type="institution">Université Sciences et Technologies - Bordeaux I</orgName>
<orgName type="institution">Université Victor Segalen - Bordeaux II</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">INRIA Bordeaux - Sud-Ouest</orgName>
<orgName type="team">CQFD</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Sciences et Technologies - Bordeaux I</orgName>
<orgName type="institution">Université Victor Segalen - Bordeaux II</orgName>
<orgName type="institution">CNRS : UMR5251</orgName>
</affiliation>
</author>
<author><persName><forename>Yann</forename><surname>Dijoux</surname></persName>
<affiliation>
<orgName type="laboratory">LJK</orgName>
<orgName type="team">Laboratoire Jean Kuntzmann</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR5224</orgName>
<orgName type="institution">Université Joseph Fourier - Grenoble I</orgName>
<orgName type="institution">Université Pierre-Mendès-France - Grenoble II</orgName>
<orgName type="institution">Institut Polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
</affiliation>
</author>
<author><persName><forename>Roland</forename><surname>Donat</surname></persName>
<affiliation>
<orgName type="laboratory">LITIS</orgName>
<orgName type="team">Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes</orgName>
<country>FR</country>
<orgName type="institution">Institut National des Sciences Appliquées (INSA) - Rouen</orgName>
<orgName type="institution">Université du Havre</orgName>
<orgName type="institution">Université de Rouen : EA4108</orgName>
</affiliation>
</author>
<author><persName><forename>Phuc</forename><surname>Do Van</surname></persName>
<affiliation>
<orgName type="team">Institut Charles Delaunay</orgName>
<country>FR</country>
<orgName type="institution">Université de Technologie de Troyes : 2848</orgName>
</affiliation>
</author>
<author><persName><forename>Yves</forename><surname>Langeron</surname></persName></author>
<author><persName><forename>Danh Ngoc</forename><surname>Nguyen</surname></persName></author>
<author><persName><forename>Slimane</forename><surname>Medjaher</surname></persName></author>
<author><persName><forename>Huilong</forename><surname>Zhang</surname></persName>
<affiliation>
<orgName type="laboratory">IMB</orgName>
<orgName type="team">Institut de Mathématiques de Bordeaux</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR5251</orgName>
<orgName type="institution">Université Sciences et Technologies - Bordeaux I</orgName>
<orgName type="institution">Université Victor Segalen - Bordeaux II</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">INRIA Bordeaux - Sud-Ouest</orgName>
<orgName type="team">CQFD</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Sciences et Technologies - Bordeaux I</orgName>
<orgName type="institution">Université Victor Segalen - Bordeaux II</orgName>
<orgName type="institution">CNRS : UMR5251</orgName>
</affiliation>
</author>
<title type="main" level="a">Approches de la fiabilité dynamique pour modéliser des systèmes critiques</title></analytic><monogr><title level="m" type="main">4ème Workshop du Groupement d'Intérêt Scientifique "Surveillance, Sûreté, Sécurité des Grands Systèmes"</title><meeting>4ème Workshop du Groupement d'Intérêt Scientifique "Surveillance, Sûreté, Sécurité des Grands Systèmes"</meeting><imprint><pubPlace><settlement>Valenciennes</settlement><country>France</country></pubPlace><biblScope type="publicationDate">2011-10-12</biblScope><biblScope type="pp">CDROM</biblScope></imprint></monogr><idno type="HALid">http://hal.archives-ouvertes.fr/hal-00653175</idno></biblStruct>
</listBibl>
</listBibl>