摘要 |
The present invention is a system for static fault tree analysis from system models comprising: system configuration input unit that inputs system configurations and top events of the systems to be analyzed; system model library that stores a set of system architecture models and component error models; and fault tree analyzer that analyzes fault trees of the system from the top events in terms of decomposition rules defined in the component error models. The system configurations and top events are instances of the system architecture models and the fault events of the component error models stored in the system model library, respectively. The system architecture models delimit classification of and definitions of physical and semantic relations between different components. The component error models define different fault events of components and their Boolean logic relationships called decomposition rules which cover both functional and sequential dependencies for fault tree analysis.
|