Skip to Main content Skip to Navigation
Reports

Availability Analysis and Stationary Regime Detection of Markov Processes

Bruno Sericola 1
1 MODEL - Modeling Random Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : Point availability and expected interval availability are dependability measures respectively defined by the probability that a system is in operation at a given instant and by the mean percentage of time during which a system is in operation over a finite observation period. We consider a repairable computer system and we assume as usual that the system is modeled by a finite Markov process. We propose in this paper a new algorithm to compute these two availability measures. This algorithm is based on the classical uniformization technique in which a test to detect the stationary behavior of the system is used to stop the computation if the stationarity is reached. In that case, the algorithm gives not only the transient availability measures but also the steady state availability, with significant computational savings especially when the time at which measures are needed is large. In the case where the stationarity is not reached, the algorithm provides the transient availability measures and bounds for the steady state availability. It is also shown how the new algorithm can be extended to the computation of performability measures.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00073804
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 1:47:05 PM
Last modification on : Thursday, February 11, 2021 - 2:48:05 PM
Long-term archiving on: : Sunday, April 4, 2010 - 11:58:51 PM

Identifiers

  • HAL Id : inria-00073804, version 1

Citation

Bruno Sericola. Availability Analysis and Stationary Regime Detection of Markov Processes. [Research Report] RR-2886, INRIA. 1996. ⟨inria-00073804⟩

Share

Metrics

Record views

295

Files downloads

146