RELIABILITY ANALYSIS OF A DYNAMIC PHASED MISSION SYSTEM: COMPARISON OF TWO APPROACHES

Marc BOUISSOUElectricit´e de France R&D1 avenue du G´en´eral de Gaulle - 92141 Clamart Franceand CNRS UMR 8050, Universit´e de Marne la Vall´ee, FranceE-mail: marc.bouissou@edf.frYves DUTUITUniversit´e Bordeaux 1/LAPS351 cours de la Lib´eration - 33405 Talence cedex FranceE-mail: yves.dutuit@iut.u-bordeaux1.frSidoine MAILLARDInstitut National Polytechnique de Lorraine (CRAN)Facult´e des sciences - BP 239, 54506 Vandoeuvre Cedex, FranceE-mail: sidoine.maillard@laposte.netPhased mission systems are frequently encountered in industrial fields,and many approaches have been proposed in the literature to computetheir reliability. After a short review of the existing literature, this paperaims to illustrate the use of two reliability analysis methods appliedto a simple, but not trivial, problem. The system proposed as a test-case enables us to compare the respective benefits and drawbacks of aPetri net-based approach and of the so-called BDMP approach, recentlypublished.

[1]  Yves Dutuit,et al.  Dependability modelling and evaluation by using stochastic Petri nets: application to two test cases , 1997 .

[2]  Marc Bouissou,et al.  BOOLEAN LOGIC DRIVEN MARKOV PROCESSES : A POWERFUL NEW FORMALISM FOR SPECIFYING AND SOLVING VERY LARGE MARKOV MODELS , 2022 .

[3]  Marc Bouissou,et al.  Knowledge Modelling and Reliability Processing: Presentation of the Figaro Language and Associated Tools , 1991 .

[4]  Andrea Bondavalli,et al.  Dependability modeling and evaluation of multiple-phased systems using DEEM , 2004, IEEE Transactions on Reliability.

[5]  James Daniel. Esary,et al.  Reliability analysis of phased missions. , 1975 .

[6]  Mansoor Alam,et al.  Quantitative Reliability Evaluation of Repairable Phased-Mission Systems Using Markov Approach , 1986, IEEE Transactions on Reliability.

[7]  Andrea Bondavalli,et al.  Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability , 2001, IEEE Trans. Computers.

[8]  Cnrs Fre,et al.  A new formalism that combines advantages of fault-trees and Markov models: Boolean logic Driven Markov Processes , 2003 .

[9]  J. L. Bon,et al.  Fiabilité des grands systèmes séquentiels : résultats théoriques et applications dans le cadre du logiciel GSI , 1992 .

[10]  J. Dugan,et al.  Minimal cut set/sequence generation for dynamic fault trees , 2004, Annual Symposium Reliability and Maintainability, 2004 - RAMS.

[11]  Andrea Bondavalli,et al.  Analytical modelling and evaluation of phased-mission systems for space applications , 1997, Proceedings 1997 High-Assurance Engineering Workshop.

[12]  Arun K. Somani.  Simplified Phased-Mission System Analysis for Systems with Independent Component Repairs. , 1997 .

[13]  Joanne Bechta Dugan.  Automated analysis of phased-mission reliability , 1991 .

[14]  G.R. Burdick,et al.  Phased Mission Analysis: A Review of New Developments and An Application , 1977, IEEE Transactions on Reliability.

[15]  Jussi K. Vaurio.  Fault tree analysis of phased mission systems with repairable and non-repairable components , 2001, Reliab. Eng. Syst. Saf..

[16]  Liudong Xing,et al.  Analysis of generalized phased-mission system reliability, performance, and sensitivity , 2002, IEEE Trans. Reliab..

[17]  V.V.S. Sarma,et al.  Phased-Mission Analysis for Evaluating the Effectiveness of Aerospace Computing-Systems , 1981, IEEE Transactions on Reliability.

[18]  Vitali Volovoi,et al.  Modeling of system reliability Petri nets with aging tokens , 2004, Reliab. Eng. Syst. Saf..

[19]  Marc Bouissou,et al.  A path-based algorithm to evaluate asymptotic unavailability for large Markov models , 2002, Annual Reliability and Maintainability Symposium. 2002 Proceedings (Cat. No.02CH37318).

[20]  Marc Bouissou,et al.  A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes , 2003, Reliab. Eng. Syst. Saf..