Efficient reliability analysis of dynamic k-out-of-n phase-AND mission systems

Motivated by real-world applications of satellites and wireless sensor networks, this paper models and evaluates a dynamic k-out-of-n phase-AND mission system (k/n-PAMS). The mission task conducted by a k/n-PAMS involves multiple consecutive phases; the mission is successful as long as the task is successful in any of the phases. Due to factors, such as scheduled maintenance, location changes in task execution during different phases, and resource sharing with other tasks, the total number of available components n for the considered mission task and the required number of working components k may change from phase to phase. In addition, due to varying load and working environments, component failure time distributions are also phase dependent. This paper proposes an analytical modeling approach based on multivalued decision diagrams (MDDs) for assessing reliability of the considered k/n-PAMS. The approach encompasses a new and fast MDD model generation algorithm that considers behaviors of all the mission phases simultaneously based on node labeling. As demonstrated through empirical studies on k/n-PAMSs with different sizes (different numbers of phases and different numbers of system components), the proposed algorithm is more efficient than the traditional phase-by-phase model generation method.