Scalable Analysis of Fault Trees with Dynamic Features

KRČÁL, Jan and Pavel KRČÁL. Scalable Analysis of Fault Trees with Dynamic Features. In DSN 2015. Rio de Janeiro, Brazil: IEEE, 2015, p. 89-100. ISBN 978-1-4799-8629-3. Available from: https://dx.doi.org/10.1109/DSN.2015.29.

Basic information

• Original name: Scalable Analysis of Fault Trees with Dynamic Features
• Authors: KRČÁL, Jan (203 Czech Republic, guarantor, belonging to the institution) and Pavel KRČÁL (203 Czech Republic).
• Edition: Rio de Janeiro, Brazil, DSN 2015, p. 89-100, 12 pp. 2015.
• Publisher: IEEE

Other information

• Original language: English
• Type of outcome: Proceedings paper
• Field of Study: 10201 Computer sciences, information science, bioinformatics
• Country of publisher: United States of America
• Confidentiality degree: is not subject to a state or trade secret
• Publication form: printed version "print"
• RIV identification code: RIV/00216224:14330/15:00081287
• Organization unit: Faculty of Informatics
• ISBN: 978-1-4799-8629-3
• Doi: http://dx.doi.org/10.1109/DSN.2015.29
• UT WoS: 000380425700009
• Keywords in English: fault trees; dynamic fault trees; BDMP; nuclear safety; probabilistic safety analysis
• Tags: core_A, firank_A, formela-conference
• Tags: International impact, Reviewed

Abstract

Fault trees constitute one of the essential formalisms for static safety analysis of large industrial systems such as nuclear power plants. Dynamic fault trees (DFT) enrich the formalism by time-dependent behaviour, e.g., repairs or functional dependencies. Analysis of DFT is however so far limited to substantially smaller models than those required by safety regulators for 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 modelling temporal information, or dynamically, allowing repairs and other timed interdependencies. We introduce a general analysis algorithm for SD fault trees. The algorithm (1) scales similarly to static algorithms when considering an important subclass of this formalism and (2) allows for a more realistic analysis compared to static algorithms as it takes into account the temporal interdependencies in the model. Finally, we demonstrate the applicability of the method by experimental evaluation on realistic fault tree models of nuclear power plants.

Links

• GBP202/12/G061, research and development project: Name: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Acronym: CE-ITI)

Investor: Czech Science Foundation