Skip to main content

Multi-State Availability Modeling in Practice

  • Chapter
  • First Online:
Recent Advances in System Reliability

Part of the book series: Springer Series in Reliability Engineering ((RELIABILITY))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  • Ibe OC, Howe RC, Trivedi KS (1989) Approximate availability analysis of VAXcluster systems. IEEE Trans Reliab 38(1):146–152

    Article  Google Scholar 

  • 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

    Google Scholar 

  • Trivedi KS (2001) Probability and statistics with reliability, queuing and computer science applications. Wiley, New York

    Google Scholar 

  • Trivedi KS, Sahner R (2009) SHARPE at the age of twenty two. ACM SIGMETRICS Perform Eval Rev 36(4):52–57

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Kishor S. Trivedi .

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics