Markovian Dependability/Performability Modeling of Fault-tolerant Systems

34.

[1]  Suprasad V. Amari,et al.  A separable method for incorporating imperfect fault-coverage into combinatorial models , 1999 .

[2]  Dhiraj K. Pradhan,et al.  Fault-tolerant computer system design , 1996 .

[3]  Jean Arlat,et al.  SURF-2: A program for dependability evaluation of complex hardware and software systems , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

[4]  William H. Sanders,et al.  Reward Model Solution Methods with Impulse and Rate Rewards: An Algorithm and Numerical Results , 1994, Perform. Evaluation.

[5]  Peter W. Glynn,et al.  Computing Poisson probabilities , 1988, CACM.

[6]  John F. Meyer.  Performability of an Algorithm for Connection Admission Control , 2001, IEEE Trans. Computers.

[7]  L. Knüsel.  Computation of the chi square and Poisson distribution , 1986 .

[8]  A. Goyal,et al.  A Measure of Guaranteed Availability and its Numerical Evaluation , 1988, IEEE Trans. Computers.

[9]  Juan A. Carrasco.  Computationally Efficient and Numerically Stable Reliability Bounds for Repairable Fault-Tolerant Systems , 2002, IEEE Trans. Computers.

[10]  Juan A. Carrasco,et al.  Bounding Steady-State Availability Models with Group Repair and Phase Type Repair Distributions , 1999, Perform. Evaluation.

[11]  Kishor S. Trivedi,et al.  Performability Analysis: Measures, an Algorithm, and a Case Study , 1988, IEEE Trans. Computers.

[12]  Juan A. Carrasco,et al.  Numerical iterative methods for Markovian dependability and performability models: new results and a comparison , 2000, Perform. Evaluation.

[13]  M.A. Qureshi,et al.  The UltraSAN Modeling Environment , 1995, Perform. Evaluation.

[14]  Louis A. Hageman,et al.  Iterative Solution of Large Linear Systems. , 1971 .

[15]  Günter Hommel,et al.  TimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets , 1995, Perform. Evaluation.

[16]  Edmundo de Souza e Silva,et al.  State space exploration in Markov models , 1992, SIGMETRICS '92/PERFORMANCE '92.

[17]  John C. S. Lui,et al.  Computing bounds on steady state availability of repairable computer systems , 1994, JACM.

[18]  M. D. Beaudry,et al.  Performance-Related Reliability Measures for Computing Systems , 1978, IEEE Transactions on Computers.

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

[20]  Juan A. Carrasco,et al.  Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization , 2003, Comput. Oper. Res..

[21]  William H. Sanders,et al.  A new methodology for calculating distributions of reward accumulated during a finite interval , 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.

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

[23]  Gerardo Rubino,et al.  Bound Computation of Dependability and Performance Measures , 2001, IEEE Trans. Computers.

[24]  Masaaki Kijima,et al.  Markov processes for stochastic modeling , 1997 .

[25]  Giovanni Chiola,et al.  GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets , 1995, Perform. Evaluation.

[26]  Micha Yadin,et al.  Randomization Procedures in the Computation of Cumulative-Time Distributions over Discrete State Markov Processes , 1984, Oper. Res..

[27]  Juan A. Carrasco,et al.  A failure-distance based method to bound the reliability of nonrepairable fault-tolerant systems without the knowledge of minimal cuts , 2001, IEEE Trans. Reliab..

[28]  Bruno Sericola.  Availability Analysis of Repairable Computer Systems and Stationarity Detection , 1999, IEEE Trans. Computers.

[29]  E. D. S. E. Silva,et al.  An algorithm to calculate transient distributions of cumulative rate and impulse based reward , 1998 .

[30]  Kishor S. Trivedi,et al.  Accelerating Mean Time to Failure Computations , 1996, Perform. Evaluation.

[31]  J. Abraham.  An Improved Algorithm for Network Reliability , 1979, IEEE Transactions on Reliability.

[32]  William H. Sanders,et al.  Reduced Base Model Construction Methods for Stochastic Activity Networks , 1991, IEEE J. Sel. Areas Commun..

[33]  D. R. Miller.  Reliability calculation using randomization for Markovian fault-tolerant computing systems , 1982 .

[34]  Gerardo Rubino,et al.  Interval availability distribution computation , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

[35]  Gerardo Rubino,et al.  Interval Availability Analysis Using Denumerable Markov Processes: Application to Multiprocessor Subject to Breakdowns and Repair , 1995, IEEE Trans. Computers.

[36]  Giovanni Chiola,et al.  Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications , 1993, IEEE Trans. Computers.

[37]  Joanne Bechta Dugan,et al.  Fault trees and imperfect coverage , 1989 .

[38]  William J. Stewart,et al.  Numerical Solution of Markov Chains , 1993 .

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

[40]  Robert J. Plemmons,et al.  Nonnegative Matrices in the Mathematical Sciences , 1979, Classics in Applied Mathematics.

[41]  Ravishankar K. Iyer,et al.  Experimental analysis of computer system dependability , 1996 .

[42]  Alex Blakemore,et al.  The cost of eliminating vanishing markings from generalized stochastic Petri nets , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[43]  Sheldon M. Ross,et al.  Stochastic Processes , 2018, Gauge Integral Structures for Stochastic Calculus and Quantum Electrodynamics.

[44]  A. Bobbio,et al.  A benchmark for ph estimation algorithms: results for acyclic-ph , 1994 .

[45]  Edmundo de Souza e Silva,et al.  Calculating availability and performability measures of repairable computer systems using randomization , 1989, JACM.

[46]  L. Donatiello,et al.  On Evaluating the Cumulative Performance Distribution of Fault-Tolerant Computer Systems , 1991, IEEE Trans. Computers.

[47]  G. P. Barker,et al.  Convergent iterations for computing stationary distributions of markov , 1986 .

[48]  Kishor S. Trivedi,et al.  STIFFNESS-TOLERANT METHODS FOR TRANSIENT ANALYSIS OF STIFF MARKOV CHAINS , 1994 .

[49]  Krishna R. Pattipati,et al.  A Unified Framework for the Performability Evaluation of Fault-Tolerant Computer Systems , 1993, IEEE Trans. Computers.

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

[51]  William H. Sanders,et al.  "On-the-Fly'' Solution Techniques for Stochastic Petri Nets and Extensions , 1998, IEEE Trans. Software Eng..

[52]  K.B. Misra,et al.  A Fast Algorithm for Reliability Evaluation , 1975, IEEE Transactions on Reliability.

[53]  Marcel F. Neuts,et al.  Matrix-Geometric Solutions in Stochastic Models , 1981 .

[54]  William J. Stewart,et al.  Introduction to the numerical solution of Markov Chains , 1994 .

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

[56]  Pierre Semal.  Refinable Bounds for Large Markov Chains , 1995, IEEE Trans. Computers.

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

[58]  Stephen Gilmore,et al.  The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling , 1994, Computer Performance Evaluation.

[59]  Christoph Lindemann,et al.  DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets , 1993, Perform. Evaluation.

[60]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[61]  John F. Meyer,et al.  On Evaluating the Performability of Degradable Computing Systems , 1980, IEEE Transactions on Computers.

[62]  Edmundo de Souza e Silva,et al.  Calculating Cumulative Operational Time Distributions of Repairable Computer Systems , 1986, IEEE Transactions on Computers.

[63]  Joanne Bechta Dugan,et al.  A combinatorial approach to modeling imperfect coverage , 1995 .

[64]  Bruno Sericola,et al.  Performability Analysis: A New Algorithm , 1996, IEEE Trans. Computers.

[65]  Holger Hermanns,et al.  Compositional performance modelling with the TIPPtool , 2000, Perform. Evaluation.

[66]  E. Scheuer,et al.  Calculation of the Poisson cumulative distribution function (reliability applications) , 1990 .

[67]  Hany H. Ammar,et al.  Performability of the hypercube (reliability) , 1989 .