Constructing Fault-Trees by Stepwise Refinement
J.M Joller · IEEE Transactions on Reliability · 1982
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.