Solving large interval availability models using a model transformation approach

From MaRDI portal





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.











This page was built for publication: Solving large interval availability models using a model transformation approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1433150)