System and method for static fault tree analysis from system models

摘要

The present invention stores a system configuration input means for inputting a system configuration and a system of a top event to be analyzed, a system architecture model, and a component error model in a system for analyzing a static fault tree from the system model. System model library means and fault tree analysis means for analyzing a system failure tree from the top event according to the decomposition rules defined in the component error model. The system configuration and the top event are stored in the system model library means. System architecture model cases and component error model failure events are stored respectively. The system architecture model describes the classification and definition of physical and semantic relationships between different components. A different failure event of components, a system for analyzing the tree failure that define the Boolean relationship is an exploded rules to cover the functional dependence and sequence dependent used trees failure analysis.