A method and system are provided for generating a data structure
representative of a fault tree for a system. One embodiment of the method
includes providing one or more input files comprising a source code
description of the fault tree. The source code description has a
plurality of statements specifying events and propagations in the fault
tree, where a propagation represents a cause and effect linkage between
events. The method further includes compiling the input files in source
code into the data structure.