Constructing Fault-Trees by Stepwise Refinement

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.