HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

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 :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 1:47:05 PM
Last modification on : Friday, February 4, 2022 - 3:22:14 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:58:51 PM


  • HAL Id : inria-00073804, version 1


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



Record views


Files downloads