Joint availability of systems modelled by finite semi–markov processes

Consider a repairable system at the time instants t and t + x, where t, x ≥0. The joint availability of the system at these time instants is defined as the probability of the system being functional in both t and t + x. A set of integral equations is derived for the joint availability of a system modelled by a finite semi–Markov process. The result is applied to the semi–Markov model of a two–unit system with sequential preventive maintenance. The method used for the numerical solution of the resulting system of integral equations is a two–point trapezoidal rule. The system of implementation is the matrix computation package MATLAB on the Apple Macintosh SE/30. The numerical results obtained by this method are shown to be in good agreement with those from simulation.