Abstract -Reliability analysis of fault-tolerant computer systems for critical applications is complicated by several factors. Systems designed to achieve high levels of reliability frequently employ high levels of redundancy, dynamic redundancy management, and complex fault & error recovery techniques. This paper describes dynamic fault-tree modeling techniques for handling these diffculties. Three advanced fault-tolerant computer systems are described, viz, a fault-tolerant parallel processor, a mission avionics system, and a fault-tolerant hypercube. Fault-tree models for their analysis are presented. HARP (Hybrid Automated Reliability Predictor) is a software package developed at Duke University and NASA Langley Research Center that can solve those fault-tree models.
Dynamic Fault Trees (DFT) extend Fault Trees to integrate system dynamics REF .
Dynamic fault-tree models for fault-tolerant computer systems
IEEE Transactions on Reliability
Computer Science