Generalized imperfect coverage phased-mission analysis

Proceedings of the Annual Reliability and Maintainability Symposium

Volumn , Issue , 2002, Pages 112-119

  Xing, Liudong ^a   Dugan, Joanne Bechta ^a  

^a University of Virginia   (United States)

Author keywords

Combinatorial phase requirements (CPR); Generalized phased mission system (GPMS); Modular imperfect coverage (MIPC); Multi state binary decision diagram (MBDD); Reliability

Indexed keywords

ALGORITHMS; COMBINATORIAL MATHEMATICS; COMPUTATIONAL COMPLEXITY; DECISION THEORY; FAULT TREE ANALYSIS; MARKOV PROCESSES; MATHEMATICAL MODELS; NUMERICAL METHODS; PERFORMANCE; PROBABILITY DISTRIBUTIONS;

GENERALIZED PHASED MISSION SYSTEM; MODULAR IMPERFECT COVERAGE MODEL; PHASED MISSION ANALYSIS; TWO-LEVEL IMPERFECT FAULT COVERAGE;

RELIABILITY THEORY;

EID: 0036130138     PISSN: 0149144X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. A separable method for incorporating imperfect coverage in combinatorial model
2. Automated analysis of phased-mission reliability
3. Coverage modeling for dependability analysis of fault-tolerant systems
4. A combinatorial approach to modeling imperfect coverage
5. Reliability analysis of phased missions
6. 20 prime implicants and beyond
7. An ordering heuristic for building binary decision diagrams for fault trees
8. A non-homogeneous markov model for phased-mission reliability analysis
9. Phased-mission system analysis using boolean algebraic methods
10. Analysis of generalized phased-mission systems reliability, performance and sensitivity
11. Dependability modeling and analysis of hierarchical computer-based systems
12. Reliability analysis for generalized phased-mission computer-based systems
13. A BDD-based algorithm for reliability analysis of phased-mission systems
14. Dependability analysis of distributed computer systems with imperfect coverage