Hybrid reliability modeling of fault-tolerant computer systems
Computers and Electrical Engineering - Special issue: reliability and verification of computing systems
Calculating Cumulative Operational Time Distributions of Repairable Computer Systems
IEEE Transactions on Computers - The MIT Press scientific computation series
Analysis of Performability for Stochastic Models of Fault-Tolerant Systems
IEEE Transactions on Computers
A Measure of Guaranteed Availability and its Numerical Evaluation
IEEE Transactions on Computers
Performability Analysis: Measures, an Algorithm, and a Case Study
IEEE Transactions on Computers - Fault-Tolerant Computing
Performability Analysis of Distributed Real-Time Systems
IEEE Transactions on Computers
A Unified Framework for the Performability Evaluation of Fault-Tolerant Computer Systems
IEEE Transactions on Computers
Collecting Unused Processing Capacity: An Analysis of Transient Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Service-level enforcement in web-services-based systems
International Journal of Web and Grid Services
Performability: asymptotic distribution and moment computation
Computers & Mathematics with Applications
| Hi-index | 14.99 |
It is shown that the (scaled) conditional moments of performability in Markov models are the states of a cascaded, linear, continuous-time dynamic system with identical system matrices in each stage. This interpretation leads to a simple method of computing the first moment for nonhomogeneous Markov models with finite mission time. In addition, the cascaded system representation leads to the derivation of a set of two stable algorithms for propagating the conditional moments of performability in homogeneous Markov models. In particular, a very fast doubling algorithm using diagonal Pade approximation to compute the matrix exponential and repeated squaring is derived. The algorithms are widely recognized, to be superior to those based on eigenvalue analysis in terms of both the computational efficiency and stability. The algorithms have obvious implications in solving reliability/availability models with large mission times.