Reliability of a reparable system with preventive maintenance and imperfect switch

A two-unit cold standby redundant system with repair, post-repair, preventive maintenance (PM) and imperfect switchover is considered using three types of PM [types (a), (b) and (c)]. The Laplace transform (LT) of the survivor function (sf) of time to the first system failure (TFSF) and the mean TFSF are derived. A theorem about the effect of PM [type (a)] is proved. Finally numerical calculations are presented to illustrate the results.