Fault trees and Markov models for reliability analysis of fault-tolerant digital systems

Reliability Engineering and System Safety

Volumn 39, Issue 3, 1993, Pages 291-307

  Dugan, Joanne Bechta ^a   Bavuso, Salvatore J ^b   Boyd, Mark A ^c  

^a DUKE UNIVERSITY   (United States)

^b NASA LANGLEY RESEARCH CENTER   (United States)

^c NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DIGITAL COMPUTERS; DIGITAL CONTROL SYSTEMS; FAILURE ANALYSIS; RELIABILITY; SYSTEMS ANALYSIS;

BEHAVIORAL DECOMPOSITION; FAULT TREES; MARKOV MODELS; RECOVERY PROCESS SPECIFICATION; SOFTWARE PACKAGE HARP; SYSTEM FAILURE MODELS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0027307939     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/0951-8320(93)90005-J     Document Type: Article

References (13)

1. A fourth-generation reliability predictor
2. The hybrid automated reliability predictor
3. Hybrid modeling of fault-tolerant systems
4. Analysis of typical fault-tolerant architectures using HARP
5. An approach to solving large reliability models
6. Fault tree models for fault tolerant hypercube multiprocessors
7. Bounded approximate reliability models for fault tolerant distributed systems
8. Fault trees and sequence dependencies
9. Coverage modeling for dependability analysis of fault-tolerant systems
10. Fault tolerant parallel processor architecture overview
11. Reliability analysis of parallel processing systems
12. Advanced system integration demonstrations (ASID) system definition