Scalable Analysis of Fault Trees with Dynamic Features
2015 (English)In: 2015 45Th Annual IEEE/IFIP International Conference On Dependable Systems And Networks, 2015, 89-100 p.Conference paper (Refereed)Text
Fault trees constitute one of the essential formalisms for static safety analysis of various industrial systems. Dynamic fault trees (DFT) enrich the formalism by time-dependent behavior, e.g., repairs or functional dependencies. Analysis of DFT is so far limited to substantially smaller models than those required for, e.g., nuclear power plants. We propose a fault tree formalism that combines both static and dynamic features, called SD fault trees. It gives the user the freedom to express each equipment failure either statically, without modeling temporal information, or dynamically, allowing repairs and other timed interdependencies. We introduce an analysis algorithm for an important subclass of SD fault trees. The algorithm (1) scales similarly to static algorithms and (2) allows for a more realistic analysis compared to static algorithms as it takes into account temporal interdependencies. Finally, we demonstrate the applicability of the method by an experimental evaluation on fault trees of nuclear power plants.
Place, publisher, year, edition, pages
2015. 89-100 p.
IdentifiersURN: urn:nbn:se:uu:diva-301468DOI: 10.1109/DSN.2015.29ISI: 000380425700009ISBN: 978-1-4799-8629-3OAI: oai:DiVA.org:uu-301468DiVA: diva2:954760
45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, JUN 22-25, 2015, Univ Estadual Campinas, Rio de Janeiro, BRAZIL