Formulae for the downtime distribution of a monotone system observed in a time interval

In this paper we study the problem of computing the downtime distribution in a time interval of a binary monotone system comprising stochastically independent components, with exponentially distributed life times and arbitrary repair time distributions. An approximation formula is established, and compared with standard Markov and normal expressions. It is shown by performing Monte Carlo simulation that the established formula produces good results.