Proceedings Article10.1109/FTCS.1993.627307
Interval availability distribution computation
Gerardo Rubino,Bruno Sericola +1 more
- 22 Jun 1993
- pp 48-55
TL;DR: The authors propose two new algorithms to compute interval availability and compare them with respect of the input parameters of the model, both through the storage requirement and the execution time points of view.
read more
Abstract: Interval availability is a dependability measure defined by the fraction of time during which a system is in operation over a finite observation period. The computation of its distribution allows the user to ensure that the probability that a system will achieve a given availability level is high enough. As usual, the system is assumed to be modeled by a finite Markov process. The authors propose two new algorithms to compute this measure and compare them with respect of the input parameters of the model, both through the storage requirement and the execution time points of view. It is shown that one of them is an improvement of a well-known one. Both algorithms are based on the uniformization technique.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Availability analysis of repairable computer systems and stationarity detection
TL;DR: This paper proposes a new algorithm 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, and provides the transient availability measures and bounds for the steady state availability.
Interval availability analysis using denumerable Markov processes: application to multiprocessor subject to breakdowns and repair
Gerardo Rubino,Bruno Sericola +1 more
TL;DR: A new algorithm to compute the interval availability distribution is proposed that applies even to infinite state spaces and is illustrated on models of multiprocessor systems, subject to breakdowns and repair.
Model Checking Algorithms for Markov Reward Models
Lucia Cloth
- 13 Jan 2006
TL;DR: The theoretical basis as well as the numerical algorithms needed for model checking CSRL until formulas with arbitrary time and reward intervals are presented.
23
Performance/availability modeling with the TANGRAM-II modeling environment
TL;DR: TANGRAM-II is a modeling environment developed for research and educational purposes that provides a flexible user interface to describe computer and communication system models based on an object oriented description language.
21
Kleene, Rabin, and Scott are available
Jochen Hoenicke,Roland Meyer,Ernst-Rüdiger Olderog +2 more
- 31 Aug 2010
TL;DR: A Kleene theorem is established that shows the equivalence of the formalisms and states precise correspondence of flat rae and simple availability automata, and provides an extension of the powerset construction for finite automata due to Rabin and Scott.
References
A measure of guaranteed availability and its numerical evaluation
Ambuj Goyal,Asser N. Tantawi +1 more
TL;DR: A success (risk) measure of guaranteed availability is proposed using a genetic system model and a numerical approach for continuous-time Markov chain models which allows component-level modeling, Coxian failure and repair distributions, time-dependent failure and Repair rates and deferred repair and nondeferred repair strategies to be handled.
84
Interval availability analysis using operational periods
Gerardo Rubino,Bruno Sericola +1 more
TL;DR: A method is developed based on the analysis of the length of the successive operational and unoperational periods of a repairable computer system to compute the distribution of the cumulative operational time up to the nth operational period.
34
Calculating Cumulative Operational Time Distributions of Repairable Computer Systems
De Souza E Silva,Gail +1 more
TL;DR: The distribution of cumulative operational time is calculated, which is the distribution of the total time during which the system was in operation over a finite observation period, based on the randomization technique.
Related Papers (5)
[...]
Sheldon M. Ross
- 06 Dec 1982
Hédi Nabli,Bruno Sericola +1 more
Gianfranco Ciardo,Jogesh K. Muppala,Kishor S. Trivedi +2 more
- 11 Dec 1989