Synthesis of Fault Trees: An Example of Noncoherence
- 1 April 1979
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Reliability
- Vol. R-28 (1) , 2-5
- https://doi.org/10.1109/TR.1979.5220450
Abstract
The Lapp & Powers (L&P) fault-tree model of a nitric acid cooling process is explored to a greater level of depth than in the previous round-robin correspondence on the controversy over exclusive-or (XOR) gate G7 in the L&P fault tree. In this paper, the minimalized logic equations for success or failure of G7 are derived, and the subsystem reliability function is calculated. The subsystem reliability vs component reliability function is U-shaped; this is not an abnormality, but a result of the XOR failure logic. The overall system reliability vs component reliability function, however, is J-shaped. Some further comments are made on the relevance of this problem to the study of s-noncoherent and fail-safe systems.Keywords
This publication has 6 references indexed in Scilit:
- The Fail-Safe Feature of the Lapp & Powers Fault TreeIEEE Transactions on Reliability, 1980
- Update of Lapp-Powers Fault-Tree Synthesis AlgorithmIEEE Transactions on Reliability, 1979
- Minimalization of Boolean polynomials, truth functions, and lattices.Notre Dame Journal of Formal Logic, 1978
- Comment on: Computer-aided Synthesis of Fault-treesIEEE Transactions on Reliability, 1977
- Computer-aided Synthesis of Fault-treesIEEE Transactions on Reliability, 1977
- Multi-Component Systems and Structures and Their ReliabilityTechnometrics, 1961