Symbolic Representation Techniques in Dynamic Reliability Evaluation

The increasing demand of quality presses towards more specific requirements, tighter constraints, and higher standards. It is thus necessary to provide new paradigms, techniques, and tools to adequately model and evaluate complex systems. This paper mainly focuses on reliability aspects, also taking into account dynamic-dependent interactions among components. Starting from the conservation of reliability principle, we characterize the time to failure of the system components through continuous phase type distributions. The system reliability is thus modeled by an expanded Markov chain expressed in terms of Kronecker algebra in order to face the state space explosion and to represent the memory policies related to the aging process. A two-component system is taken as example to demonstrate the effectiveness of the technique and to validate it.

[1]  Antonio Puliafito,et al.  Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees , 2009, IEEE Transactions on Dependable and Secure Computing.

[2]  Mohamed Abdel-Hameed,et al.  Life Distribution Properties of Devices Subject to a Lévy Wear Process , 1984, Math. Oper. Res..

[3]  Richard Bellman,et al.  Introduction to matrix analysis (2nd ed.) , 1997 .

[4]  N. Limnios,et al.  Semi-Markov Processes and Reliability , 2012 .

[5]  Miklós Telek,et al.  PhFit: A General Phase-Type Fitting Tool , 2002, Computer Performance Evaluation / TOOLS.

[6]  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..

[7]  Juan Eloy Ruiz-Castro,et al.  Two models for a repairable two-system with phase-type sojourn time distributions , 2004, Reliab. Eng. Syst. Saf..

[8]  Dimitri Kececioglu,et al.  Reliability engineering handbook , 1991 .

[9]  Antonio Puliafito,et al.  Reliability and availability analysis of dependent-dynamic systems with DRBDs , 2009, Reliab. Eng. Syst. Saf..

[10]  Jie Mi,et al.  Modelling a general standby system and evaluation of its performance , 2008 .

[11]  L. Tu.  The Life and Works of , 2006 .

[12]  M. Malhotra,et al.  Selecting and implementing phase approximations for semi-Markov models , 1993 .

[13]  Arne Jensen,et al.  The life and works of A. K. Erlang , 1960 .

[14]  M. Neuts,et al.  On the use of phase type distributions in reliability modelling of systems with two components , 1981 .

[15]  M. Finkelstein.  Wearing-out of components in a variable environment , 1999 .

[16]  Jeffrey P. Kharoufeh,et al.  Explicit results for wear processes in a Markovian environment , 2003, Oper. Res. Lett..

[17]  Rafael Pérez-Ocón,et al.  Transient analysis of a repairable system, using phase-type distributions and geometric processes , 2004, IEEE Transactions on Reliability.

[18]  Rafael Pérez-Ocón,et al.  A multiple warm standby system with operational and repair times following phase-type distributions , 2006, Eur. J. Oper. Res..

[19]  Aldo Cumani,et al.  ESP - A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times , 1985, PNPM.

[20]  Miklós Telek,et al.  PhFit: a general phase-type fitting tool , 2002, Proceedings International Conference on Dependable Systems and Networks.

[21]  Peter Buchholz,et al.  Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models , 2000, INFORMS J. Comput..

[22]  A. Bobbio,et al.  Kronecker representation of stochastic Petri nets with discrete PH distributions , 1998, Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248).

[23]  Francesco Longo,et al.  Applying Symbolic Techniques to the Representation of Non-Markovian Models with Continuous PH Distributions , 2009, EPEW.

[24]  Salvatore Distefano,et al.  How to capture dynamic behaviours of dependable systems , 2009, Int. J. Parallel Emergent Distributed Syst..

[25]  Marcel F. Neuts,et al.  Matrix-geometric solutions in stochastic models - an algorithmic approach , 1982 .

[26]  D.,et al.  Regression Models and Life-Tables , 2022 .