Abstract
In this chapter, a state-of-the-art review of various analytical modeling techniques for reliability analysis of phased-mission systems (PMS) is presented. The analysis approaches can be broadly classified into three categories: combinatorial, state-space oriented, and modular. The combinatorial approaches are computationally efficient for analyzing static PMS. A combinatorial binary decision diagram based method is discussed in detail. Methods to consider imperfect fault coverage and common-cause failures in the reliability analysis of PMS will also be presented.