A CONTINUOUS-TIME SEMI-MARKOV BAYESIAN BELIEF NETWORK MODEL FOR AVAILABILITY MEASURE ESTIMATION OF FAULT TOLERANT SYSTEMS

In this work it is proposed a model for the assessment of availability measure of fault tolerant systems based on the integration of continuous time semi-Markov processes and Bayesian belief networks. This integration results in a hybrid stochastic model that is able to represent the dynamic characteristics of a system as well as to deal with cause-effect relationships among external factors such as environmental and operational conditions. The hybrid model also allows for uncertainty propagation on the system availability. It is also proposed a numerical procedure for the solution of the state probability equations of semi-Markov processes described in terms of transition rates. The numerical procedure is based on the application of Laplace transforms that are inverted by the Gauss quadrature method known as Gauss Legendre. The hybrid model and numerical procedure are illustrated by means of an example of application in the context of fault tolerant systems.

[1]  Alyson G. Wilson,et al.  Information integration for complex systems , 2007, Reliab. Eng. Syst. Saf..

[2]  Wei Xie,et al.  Analysis of a two-level software rejuvenation policy , 2005, Reliab. Eng. Syst. Saf..

[3]  R. Bellman,et al.  A NUMERICAL INVERSION OF THE LAPLACE TRANSFORM , 1963 .

[4]  J. Abate,et al.  Multi‐precision Laplace transform inversion , 2004 .

[5]  Gilles Celeux,et al.  Designing a Bayesian network for preventive maintenance from expert opinions in a rapid and reliable way , 2006, Reliab. Eng. Syst. Saf..

[6]  Joanna Soszynska.  Reliability evaluation of a port oil transportation system in variable operation conditions , 2006 .

[7]  N. Haidar.  Recursive pseudo-inversion of the Laplace transform on the real line , 1997 .

[8]  V. V. Kryzhniy,et al.  High-resolution exponential analysis via regularized numerical inversion of Laplace transforms , 2004 .

[9]  Nikolaos Limnios,et al.  The rate of occurrence of failures for semi-Markov processes and estimation , 2002 .

[10]  Nikolaos Limnios.  Dependability analysis of semi-Markov systems , 1997 .

[11]  Kevin B. Korb,et al.  Bayesian Artificial Intelligence , 2004, Computer science and data analysis series.

[12]  Irene A. Stegun,et al.  Handbook of Mathematical Functions. , 1966 .

[13]  J. K. Vaurio.  Reliability characteristics of components and systems with tolerable repair times , 1997 .

[14]  Nikolaos Limnios,et al.  Reliability estimation of semi-Markov systems: a case study , 1997 .

[15]  Non-parametric estimation of lifetime and repair time criteria for a semi-Markov process , 2004 .

[16]  Kishor S. Trivedi,et al.  Optimization for condition-based maintenance with semi-Markov decision process , 2005, Reliab. Eng. Syst. Saf..

[17]  Franciszek Grabski.  The reliability of an object with semi-Markov failure rate , 2003, Appl. Math. Comput..

[18]  Natasha Smith,et al.  Bayesian networks for system reliability reassessment , 2001 .

[19]  Bev Littlewood,et al.  Assessing the reliability of diverse fault-tolerant software-based systems , 2002 .

[20]  P. F. Frutuoso e Melo,et al.  Unavailability analysis of safety systems under aging by supplementary variables with imperfect repair , 2005 .

[21]  Antonio Pievatolo,et al.  UPS reliability analysis with non-exponential duration distribution , 2003, Reliab. Eng. Syst. Saf..

[22]  Jacques Janssen,et al.  Numerical Treatment of Homogeneous Semi-Markov Processes in Transient Case–a Straightforward Approach , 2004 .

[23]  Nikolaos Limnios,et al.  Nonparametric reliability estimation of semi-Markov processes , 2003 .

[24]  G. Milovanović,et al.  Numerical Inversion of the Laplace Transform , 2005 .

[25]  George Zioutas,et al.  A semi-Markovian model allowing for inhomogenities with respect to process time , 2000, Reliab. Eng. Syst. Saf..

[26]  Salvatore Cuomo,et al.  Computation of the inverse Laplace transform based on a collocation method which uses only real values , 2007 .

[27]  Gregory Levitin,et al.  Optimal structure of fault-tolerant software systems , 2005, Reliab. Eng. Syst. Saf..

[28]  Luigi Portinale,et al.  Bayesian networks in reliability , 2007, Reliab. Eng. Syst. Saf..

[29]  M. Perman,et al.  Semi-Markov models with an application to power-plant reliability analysis , 1997 .

[30]  Sheldon M. Ross.  Introduction to probability models , 1998 .

[31]  William H. Press,et al.  Numerical recipes in C , 2002 .

[32]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[33]  Peter P. Valko,et al.  Comparison of sequence accelerators forthe Gaver method of numerical Laplace transform inversion , 2004 .

[34]  Bharat B. Madan,et al.  A method for modeling and quantifying the security attributes of intrusion tolerant systems , 2004, Perform. Evaluation.

[35]  Gregory Levitin.  Reliability and performance analysis of hardware-software systems with fault-tolerant software components , 2006, Reliab. Eng. Syst. Saf..

[36]  Gregory Levitin.  Reliability and performance analysis for fault-tolerant programs consisting of versions with different characteristics , 2004, Reliab. Eng. Syst. Saf..

[37]  Balbir S. Dhillon,et al.  Assessment of reversible multi-state k-out-of-n: G/F/Load-Sharing systems with flow-graph models , 2006, Reliab. Eng. Syst. Saf..

[38]  Vinod Chandra,et al.  Reliability and safety analysis of fault tolerant and fail safe node for use in a railway signalling system , 1997 .

[39]  Y. Changa,et al.  Cognitive modeling and dynamic probabilistic simulation of operating crew response to complex system accidents . Part 2 : IDAC performance influencing factors model , 2007 .

[40]  Leonidas Camarinopoulos,et al.  A Markov Type Model for Systems with Tolerable Down Times , 1994 .

[41]  Nikolaos Limnios,et al.  Nonparametric estimation of some important indicators in reliability for semi-Markov processes , 2006 .

[42]  Ronald A. Howard,et al.  Dynamic Probabilistic Systems , 1971 .

[43]  Awad I. El-Gohary.  Bayesian estimations of parameters in a three state reliability semi-Markov models , 2004, Appl. Math. Comput..

[44]  Jacques Janssen,et al.  Numerical Solution of non-Homogeneous Semi-Markov Processes in Transient Case* , 2001 .

[45]  Leonidas Camarinopoulos,et al.  CONSIDERATION OF TOLERABLE DOWN TIMES IN THE ANALYSIS OF TECHNICAL SYSTEMS , 1981 .