An approach to solving large reliability modelsThis paper describes a unified approach to the problem of solving large realistic reliability models. The methodology integrates behavioral decomposition, state trunction, and efficient sparse matrix-based numerical methods. The use of fault trees, together with ancillary information regarding dependencies to automatically generate the underlying Markov model state space is proposed. The effectiveness of this approach is illustrated by modeling a state-of-the-art flight control system and a multiprocessor system. Nonexponential distributions for times to failure of components are assumed in the latter example. The modeling tool used for most of this analysis is HARP (the Hybrid Automated Reliability Predictor).
Document ID
19890030715
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Boyd, Mark A. (Duke Univ. Durham, NC, United States)
Veeraraghavan, Malathi (Duke Univ. Durham, NC, United States)
Dugan, Joanne Bechta (Duke Univ. Durham, NC, United States)
Trivedi, Kishor S. (Duke University Durham, NC, United States)
Date Acquired
August 14, 2013
Publication Date
January 1, 1988
Subject Category
Computer Systems
Report/Patent Number
AIAA PAPER 88-3905
Meeting Information
Meeting: AIAA/IEEE Digital Avionics Systems Conference