Abstract:Although several studies have been devoted to the reliability analysis of phased-mission systems (PMSs) considering the influence of common cause failures (CCFs), statistical correlation and repairable behavior still pose challenges to the analysis. In this article, a hierarchical formal model is proposed for the reliability analysis of repairable PMSs with CCFs. The low-level model is based on continuous time Markov chains and multiple beta factor theory used to construct the failure and repair behaviors of different missions under the effect of CCFs. The upper-level model realizes phase transition based on the Erlang distribution. The model can be implemented in PRISM, a tool that supports probabilistic model checking technology, and can be automatically verified by the properties (termed as reliability and availability in this article) defined by continuous stochastic logic. The proposed model introduces the benefits of probabilistic model checking into the analysis of PMSs for the first time. The formal hierarchical model is demonstrated by an example of a field programmable gate array system based on different design modes. Then, the influence of CCFs on the reliability of three different mission phase combinations are discussed. Our model can help researchers verify system properties for dynamic, complex, and continuous tasks in the initial design phase, thereby optimizing the design pattern or task arrangement.

Incorporating common-cause failures into nonrepairable multistate series-parallel system analysis

State probability of a series-parallel repairable system with two-types of failure states

Redundancy analysis for repairable multi-state system by using combined stochastic processes methods and universal generating function technique

Reliability and Sensitivity Analysis Method for a Multistate System with Common Cause Failure

Block diagram method for analyzing multi-state systems with uncovered failures

Reliability and Performance of Multi-State Systems with Propagated Failures Having Selective Effect.

Reliability of Nonrepairable Phased-Mission Systems with Common Cause Failures

Approximate Reliability Evaluation of Large-Scale Multistate Series-Parallel Systems

Reliability of Series-Parallel Systems with Random Failure Propagation Time

Importance and sensitivity analysis of multi-state systems using the universal generating function method

Reliability evaluation of a k-out-of-n(G)-subsystem based multi-state phased mission system with common bus performance sharing subjected to common cause failures

Reliability analysis for complex electromechanical multi-state systems utilizing universal generating function techniques

Explicit and implicit methods for probabilistic common-cause failure analysis

Nonprobabilistic Reliability Analysis Method for Series-Parallel Structural Systems with Correlated Uncertainties

Universal generating function based recursive algorithms for reliability evaluation of multi-state weighted k-out-of-n systems

Multi-state Systems with Selective Propagated Failures and Imperfect Individual and Group Protections.

Fuzzy Universal Generating Functions for Multi-State System Reliability Assessment

Conditional Probability-Based System Reliability Analysis for Geotechnical Problems

Redundancy Analysis for Multi-state System: Reliability and Financial Assessment

Multistate Systems with Static Performance- Dependent Fault Coverage

Formal Analysis of Repairable Phased-Mission Systems with Common Cause Failures