uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Scalable Analysis of Fault Trees with Dynamic Features
Univ Saarland, Comp Sci, Saarbrucken, Germany..
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems. Lloyds Register Consulting, Stockholm, Sweden..
2015 (English)In: 2015 45Th Annual IEEE/IFIP International Conference On Dependable Systems And Networks, 2015, 89-100 p.Conference paper (Refereed)Text
Abstract [en]

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.
National Category
Computer Engineering
URN: 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
Available from: 2016-08-23 Created: 2016-08-23 Last updated: 2016-08-23Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Krcal, Pavel
By organisation
Computer Systems
Computer Engineering

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 11 hits
ReferencesLink to record
Permanent link

Direct link