Computer-Aided Fault Tree Analysis
Abstract
Part I of this report discusses a computer-oriented methodology for deriving minimal cut and path set families associated with arbitrary fault trees. Part II describes the use of the Fault Tree Analysis Program (FTAP), an extensive FORTRAN computer package that implements the Part I methodology. An input fault tree to FTAP may specify the system state as any logical function of subsystem or component state variables or complements of these variables. When fault tree logical relations involve complements of state variables, the analyst may instruct FTAP to produce a family of prime implicants, a generalization of the minimal cut set concept. FTAP can also identify certain subsystems associated with the tree as system modules and provide a collection of minimal cut set families that essentially expresses the state of the system as a function of these modules state variables. Another FTAP feature allows a subfamily to be obtained when the family of minimal cut sets of prime implicants is too large to be found in its entirety; this subfamily consists only of sets that are interesting to the analyst in a special sense.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 1978
- Accession Number
- ADA066567
Entities
People
- Randall R. Willie
Organizations
- University of California, Berkeley