Automatic translation of digraph to fault-tree modelsThe author presents a technique for converting digraph models, including those models containing cycles, to a fault-tree format. A computer program which automatically performs this translation using an object-oriented representation of the models has been developed. The fault-trees resulting from translations can be used for fault-tree analysis and diagnosis. Programs to calculate fault-tree and digraph cut sets and perform diagnosis with fault-tree models have also been developed. The digraph to fault-tree translation system has been successfully tested on several digraphs of varying size and complexity. Details of some representative translation problems are presented. Most of the computation performed by the program is dedicated to finding minimal cut sets for digraph nodes in order to break cycles in the digraph. Fault-trees produced by the translator have been successfully used with NASA's Fault-Tree Diagnosis System (FTDS) to produce automated diagnostic systems.
Document ID
19920073616
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Iverson, David L. (NASA Ames Research Center Moffett Field, CA, United States)
Date Acquired
August 15, 2013
Publication Date
January 1, 1992
Subject Category
Quality Assurance And Reliability
Meeting Information
Meeting: Annual Reliability and Maintainability Symposium