Abstract
This chapter presents multi-state availability modeling in practice. We use three analytic modeling techniques; (1) continuous time Markov chains, (2) stochastic reward nets, and (3) multi-state fault trees. Two case studies are presented to show the usage of these modeling techniques: a simple system with two boards and the processors subsystem of the VAXcluster. The three modeling techniques are compared in terms of the solution accuracy and the solution time.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ibe OC, Howe RC, Trivedi KS (1989) Approximate availability analysis of VAXcluster systems. IEEE Trans Reliab 38(1):146–152
Muppala J, Sathaye A, Howe R, Trivedi KS (1992) Dependability modeling of a heterogenous VAXcluster system using stochastic reward nets. In: Avresky DR (ed) Hardware and software fault tolerance in parallel computing systems. Ellis Horwood, NJ, pp 33–59
Trivedi KS (2001) Probability and statistics with reliability, queuing and computer science applications. Wiley, New York
Trivedi KS, Sahner R (2009) SHARPE at the age of twenty two. ACM SIGMETRICS Perform Eval Rev 36(4):52–57
Zang X, Wang D, Sun H, Trivedi KS (2003) A BDD-based algorithm for analysis of multistate systems with multistate components. IEEE Trans Comp 52(12):1608–1618
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag London Limited
About this chapter
Cite this chapter
Trivedi, K.S., Kim, D.S., Yin, X. (2012). Multi-State Availability Modeling in Practice. In: Lisnianski, A., Frenkel, I. (eds) Recent Advances in System Reliability. Springer Series in Reliability Engineering. Springer, London. https://doi.org/10.1007/978-1-4471-2207-4_12
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2207-4_12
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-2206-7
Online ISBN: 978-1-4471-2207-4
eBook Packages: EngineeringEngineering (R0)