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
Bounds on conditional steady-state distributions in large Markovian and queueing models
Proc. of the international seminar on Teletraffic analysis and computer performance evaluation
On Network Linguistics and the Conversational Design of Queueing Networks
Journal of the ACM (JACM)
Computable Error Bounds for Aggregated Markov Chains
Journal of the ACM (JACM)
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Stability Analysis of Large Markov Chains
Performance '87 Proceedings of the 12th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation
Computing bounds on steady state availability of repairable computer systems
Journal of the ACM (JACM)
Bounding of performance measures for a threshold-based queueing system with hysteresis
SIGMETRICS '97 Proceedings of the 1997 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on modeling and analysis of stochastic systems
Refinable Bounds for Large Markov Chains
IEEE Transactions on Computers
An Eclectic Survey of Bounding Methods for Markov Chain Models
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Model-based qualitative risk assessment for availability of IT infrastructures
Software and Systems Modeling (SoSyM)
Hi-index | 0.01 |
Markov models are widely used for the analysis of availability of computer/communication systems. Realistic models often involve state space cardinalities that are so large that it is impractical to generate the transition rate matrix let alone solve for availability measures. Various state space reduction methods have been developed, particularly for transient analysis. In this paper we present an approximation technique for determining steady state availability. Of particular interest is that the method also provides bounds on the error. Examples are given to illustrate the method.