Title :
Constructing Fault-Trees by Stepwise Refinement
Author_Institution :
Department OPSZ; Contraves AG; Glattbrugg POBox; CH-8052 Zÿrich, SWITZERLAND.
Abstract :
The construction of fault-trees is considered as a sequence of decisions concerning the decomposition of events into subevents. The process of successive refinements of specifications is illustrated by examples. It is shown that cut-set, path-set, failure rate, and reliability bound information is easily obtainable in parallel with the stepwise analysis of the system.
Keywords :
Boolean algebra; Concurrent computing; Design methodology; Failure analysis; Fault trees; Information analysis; Reliability; Safety; Fault-tree analysis; Top-down analysis;
Journal_Title :
Reliability, IEEE Transactions on
DOI :
10.1109/TR.1982.5221369
