Cover; Title Page; Copyright; Contents; Foreword; Preface; Nomenclature; Chapter 1 Introduction; References; Chapter 2 Fundamental Reliability Theory; 2.1 Basic Probability Concepts; 2.1.1 Axioms of Probability; 2.1.2 Conditional Probability; 2.1.3 Total Probability Law; 2.1.4 Bayes' Theorem; 2.1.5 Random Variables; 2.2 Reliability Measures; 2.2.1 Time to Failure; 2.2.2 Failure Function; 2.2.3 Reliability Function; 2.2.4 Failure Rate; 2.2.5 Mean Time to Failure; 2.2.6 Mean Residual Life; 2.3 Fault Tree Modeling; 2.3.1 Static Fault Tree; 2.3.2 Dynamic Fault Tree
2.3.3 Phased-Mission Fault Tree2.3.4 Multi-State Fault Tree; 2.4 Binary Decision Diagram; 2.4.1 Basic Concept; 2.4.2 ROBDD Generation; 2.4.3 ROBDD Evaluation; 2.4.4 Illustrative Example; 2.5 Markov Process; 2.6 Reliability Software; References; Chapter 3 Imperfect Fault Coverage; 3.1 Different Types of IPC; 3.2 ELC Modeling; 3.3 Binary-State System; 3.3.1 BDD Expansion Method; 3.3.2 Simple and Efficient Algorithm; 3.4 Multi-State System; 3.4.1 MMDD-Based Method for MSS Analysis; 3.4.2 Illustrative Example; 3.5 Phased-Mission System; 3.5.1 Mini-Component Concept; 3.5.2 PMS SEA
3.5.3 PMS BDD Method3.5.4 Summary of PMS SEA; 3.5.5 Illustrative Example; 3.6 Summary; References; Chapter 4 Modular Imperfect Coverage; 4.1 Modular Imperfect Coverage Model; 4.2 Nonrepairable Hierarchical System; 4.3 Repairable Hierarchical System; 4.4 Summary; References; Chapter 5 Functional Dependence; 5.1 Logic OR Replacement Method; 5.2 Combinatorial Algorithm; 5.2.1 Task 1: Addressing UFs of Independent Trigger Components; 5.2.2 Task 2: Generating Reduced Problems Without FDEP; 5.2.3 Task 3: Solving Reduced Reliability Problems; 5.2.3.1 Expansion Process
5.7 SummaryReferences; Chapter 6 Deterministic Common-Cause Failure; 6.1 Explicit Method; 6.1.1 Two-Step Method; 6.1.2 Illustrative Example; 6.2 Efficient Decomposition and Aggregation Approach; 6.2.1 Three-Step Method; 6.2.2 Illustrative Example; 6.3 Decision Diagram-Based Aggregation Method; 6.3.1 Three-Step Method; 6.3.2 Illustrative Example; 6.4 Universal Generating Function-Based Method; 6.4.1 System Model; 6.4.2 u-Function Method for Series-Parallel Systems; 6.4.3 u-Function Method for CCFs; 6.4.4 Illustrative Example; 6.5 Summary; References
