Interval availability analysis using denumerable markov processes: Application to multiprocessor subject to breakdowns and repair
- IRISA-INRIA, Rennes (France)
Interval availability is a dependability measure de-fined by the fraction of time during which a system is operational over a finite observation period. The computation of its distribu- tion allows the user to ensure that the 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 account contention 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. 5 refs.
- OSTI ID:
- 101996
- Journal Information:
- IEEE Transactions on Computers, Vol. 44, Issue 2; Other Information: PBD: Feb 1995
- Country of Publication:
- United States
- Language:
- English
Similar Records
Markov reward models: Application domains and solution methods
Stochastic Games for Continuous-Time Jump Processes Under Finite-Horizon Payoff Criterion