Interval Availability Analysis Using Denumerable Markov Processes: Application to Multiprocessor Subject to Breakdowns and Repair

  • Authors:
  • Gerardo Rubino;Bruno Sericola

  • Affiliations:
  • -;-

  • Venue:
  • IEEE Transactions on Computers - Special issue on fault-tolerant computing
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract

Interval availability is a dependability measure defined by the fraction of time during which a system is operational over a finite observation period.The computation of its distribution allows the user to ensure thatthe probability that its system will achieve a given availability level is high enough. The system is assumed to be modeled as a Markov process with countable state space. We propose a new algorithm to compute the interval availability distribution. One of its main advantages is that, in some cases, it applies even to infinite state spaces. This is useful, for instance, in case of models taking into accountcontention with unbounded buffers. This important feature is illustrated on models of multiprocessor systems subject to breakdowns and repair. When the model is finite, we show through a numerical example that the new technique can perform very well.Index Terms驴 Denumerable Markov processes, dependability prediction, interval availability distribution, repairable computer systems, transient analysis, queues with breakdowns, uniformization.