Abstract
In this paper we present a synthesis of several techniques into a single methodology that can solve both dynamic and static fault trees, and which is applicable to the analysis of hardware, software and humanware in complex computer-based systems. The methodology combines those techniques into a unified fault tree methodology which we call SHADE Tree. SHADE Tree provides a high-level decomposition of the system fault tree model into the static and dynamic fault trees. Static fault trees, which contain only traditional fault tree gates (i.e. AND, OR, R-of-N, etc.) are solved using the binary decision diagram approach. Dynamic fault trees, which contain at least one special dynamic gate as well as traditional fault tree gates, are solved using Markov methods.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.