Solving large interval availability models using a model transformation approach (Q1433150)

Fault-tolerant systems are often modeled using continuous time Markov chains. Computation of the distribution of the interval availability, i.e. of the distribution of the fraction of time in a time interval in which the system is operational, of a fault-tolerant system modeled by a continuous time Markov chain, is an important problem which has received attention recently. The author develops a new method to compute the distribution of the interval availability which, for large enough models and large enough time intervals, is significantly faster than previous methods.