Techniques for System Dependability Evaluation

A major application area for the probabilistic and numerical techniques explored in the earlier chapters is in characterizing the behavior of complex computer and communication systems. While system performance has received a lot of attention in the past, increasingly system dependability is gaining importance. The proliferation of computer and computer-based communication systems has contributed to this in no small measure. This chapter is thus a step in the direction of summarizing the techniques, tools and recent developments in the field of system dependability evaluation.

[1]  Kishor S. Trivedi,et al.  An Aggregation Technique for the Transient Analysis of Stiff Markov Chains , 1986, IEEE Transactions on Computers.

[2]  Willard L. Miranker,et al.  Numerical Methods for Stiff Equations and Singular Perturbation Problems , 1980 .

[3]  J-C. Laprie,et al.  DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGY , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

[4]  Reinhard German,et al.  Analysis of Stochastic Petri Nets by the Method of Supplementary Variables , 1994, Perform. Evaluation.

[5]  D. Cox.  A use of complex probabilities in the theory of stochastic processes , 1955, Mathematical Proceedings of the Cambridge Philosophical Society.

[6]  Kishor S. Trivedi,et al.  Performance and Reliability Analysis Using Directed Acyclic Graphs , 1987, IEEE Transactions on Software Engineering.

[7]  Kishor S. Trivedi,et al.  A Decomposition Approach for Stochastic Reward Net Models , 1993, Perform. Evaluation.

[8]  Kishor S. Trivedi,et al.  Probabilistic modeling of computer system availability , 1987 .

[9]  Kishor S. Trivedi,et al.  Markov renewal theory applied to performability evaluation , 1996 .

[10]  Richard R. Muntz,et al.  Bounding Availability of Repairable Computer Systems , 1989, IEEE Trans. Computers.

[11]  Kishor S. Trivedi,et al.  A methodology for formal expression of hierarchy in model solution , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[12]  Kishor S. Trivedi,et al.  Approximate analysis of priority scheduling systems using stochastic reward nets , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

[13]  Carl M. Harris,et al.  Approximation with generalized hyperexponential distributions: Weak convergence results , 1986, Queueing Syst. Theory Appl..

[14]  Kishor S. Trivedi,et al.  Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets , 1992, J. Parallel Distributed Comput..

[15]  Kishor S. Trivedi,et al.  The hybrid automated reliability predictor , 1986 .

[16]  Balbir S. Dhillon,et al.  Availability of a man-machine system with critical and non-critical human error , 1993 .

[17]  M. Neuts.  Renewal processes of phase type , 1978 .

[18]  Kishor S. Trivedi,et al.  Analysis of Preventive Maintenance in Transactions Based Software Systems , 1998, IEEE Trans. Computers.

[19]  Richard E. Barlow,et al.  Statistical Theory of Reliability and Life Testing: Probability Models , 1976 .

[20]  Hany H. Ammar,et al.  Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models , 1989, IEEE Trans. Software Eng..

[21]  Kishor S. Trivedi,et al.  An improved algorithm for symbolic reliability analysis , 1991 .

[22]  R. Billinton,et al.  The Method of Stages for Non-Markov Models , 1977, IEEE Transactions on Reliability.

[23]  John A. Silvester,et al.  Performance Analysis of Networks with Unreliable Components , 1984, IEEE Trans. Commun..

[24]  Kishor S. Trivedi,et al.  Power-hierarchy of dependability-model types , 1994 .

[25]  V. Kulkarni.  Modeling and Analysis of Stochastic Systems , 1996 .

[26]  Kishor S. Trivedi,et al.  An improved algorithm for the symbolic reliability analysis of networks , 1990, Proceedings Ninth Symposium on Reliable Distributed Systems.

[27]  Kishor S. Trivedi,et al.  Performance And Reliability Analysis Of Computer Systems (an Example-based Approach Using The Sharpe Software , 1997, IEEE Transactions on Reliability.

[28]  Gene H. Golub,et al.  Matrix computations , 1983 .

[29]  Kishor S. Trivedi,et al.  Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[30]  Kishor S. Trivedi,et al.  Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[31]  M. Gopalan,et al.  On the transient behaviour of a repairable system with a warm standby , 1996 .

[32]  Kishor S. Trivedi,et al.  A survey of efficient reliability computation using disjoint products approach , 1995, Networks.

[33]  Salvatore J. Bavuso,et al.  Dynamic fault-tree models for fault-tolerant computer systems , 1992 .

[34]  Jinhua Cao,et al.  Reliability analysis of M/G/1 queueing system with repairable service station of reliability series structure , 1994 .

[35]  Manish Malhotra,et al.  A Computationally Efficient Technique for Transient Analysis of Repairable Markovian Systems , 1996, Perform. Evaluation.

[36]  W. G. Marchal,et al.  Characterizations of generalized hyperexponential distribution functions , 1987 .

[37]  Kishor S. Trivedi,et al.  THE SYSTEM AVAILABILITY ESTIMATOR , 1996 .

[38]  Kishor S. Trivedi,et al.  On Modeling the Performance of Real-Time Systems in the Presence of Failures , 1993 .

[39]  John A. Buzacott.  Network Approaches to Finding the Reliability of Repairable Systems , 1970 .

[40]  Kishor S. Trivedi,et al.  Steady State Analysis of Markov Regenerative SPN with Age Memory Policy , 1995, MMB.

[41]  Kishor S. Trivedi,et al.  Markov Dependability Models of Complex Systems: Analysis Techniques , 1996 .

[42]  Kishor S. Trivedi,et al.  Fixed Point Iteration in Availability Modeling , 1991, Fault-Tolerant Computing Systems.

[43]  D. Cox.  The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables , 1955, Mathematical Proceedings of the Cambridge Philosophical Society.

[44]  Andrea Bobbio,et al.  Markov regenerative SPN with non-overlapping activity cycles , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

[45]  Erhan Çinlar,et al.  Introduction to stochastic processes , 1974 .

[46]  Kishor S. Trivedi,et al.  Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models , 1996, IEEE Trans. Software Eng..

[47]  Kishor S. Trivedi,et al.  Time-Dependent Behavior of Redundant Systems with Deterministic Repair , 1995 .

[48]  Kishor S. Trivedi,et al.  A decomposition approach for stochastic Petri net models , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[49]  Hoon Choi,et al.  Markov Regenerative Stochastic Petri Nets , 1994, Perform. Evaluation.

[50]  Balbir S. Dhillon,et al.  Common-cause failure analysis of a non-identical unit parallel system with arbitrarily distributed repair times , 1993 .

[51]  Süleyman Özekici,et al.  Reliability and Maintenance of Complex Systems , 2010, NATO ASI Series.

[52]  Reinhard German.  Transient analysis of deterministic and stochastic Petri nets by the method of supplementary variables , 1995 .

[53]  Kishor S. Trivedi,et al.  Composite Performance and Dependability Analysis , 1992, Perform. Evaluation.

[54]  Kishor S. Trivedi,et al.  Numerical transient analysis of markov models , 1988, Comput. Oper. Res..

[55]  Kishor S. Trivedi,et al.  Reliability Modeling Using SHARPE , 1987, IEEE Transactions on Reliability.

[56]  Yann-Hang Lee,et al.  Readings in real-time systems , 1993 .

[57]  Yow-Mow Chen,et al.  Availability of the system with general repair time distributions and shut-off rules , 1993 .

[58]  Martin L. Shooman.  The Equivalence of Reliability Diagrams and Fault-Tree Analysis , 1970 .

[59]  B. Dhillon,et al.  Income optimization of a repairable and redundant system , 1994 .

[60]  Wan De-jun,et al.  Reliability analysis of a repairable system without being repaired “as good as new” , 1994 .

[61]  J. Stoer,et al.  Introduction to Numerical Analysis , 2002 .

[62]  Kishor S. Trivedi,et al.  System Dependencies in Markov Dependability Modelling , 1995 .

[63]  Kishor S. Trivedi,et al.  Dependability modeling of a heterogeneous VAX-cluster system using stochastic reward nets , 1992 .

[64]  Carl Erik Fröberg,et al.  Introduction to Numerical Analysis , 1969 .

[65]  Gianfranco Ciardo,et al.  A Characterization of the Stochastic Process Underlying a Stochastic Petri Net , 1994, IEEE Trans. Software Eng..