2015
Scalable Analysis of Fault Trees with Dynamic Features
KRČÁL, Jan a Pavel KRČÁLZákladní údaje
Originální název
Scalable Analysis of Fault Trees with Dynamic Features
Autoři
KRČÁL, Jan (203 Česká republika, garant, domácí) a Pavel KRČÁL (203 Česká republika)
Vydání
Rio de Janeiro, Brazil, DSN 2015, od s. 89-100, 12 s. 2015
Nakladatel
IEEE
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Spojené státy
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
tištěná verze "print"
Kód RIV
RIV/00216224:14330/15:00081287
Organizační jednotka
Fakulta informatiky
ISBN
978-1-4799-8629-3
UT WoS
000380425700009
Klíčová slova anglicky
fault trees; dynamic fault trees; BDMP; nuclear safety; probabilistic safety analysis
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 5. 12. 2015 15:41, RNDr. Jan Krčál, Ph.D.
Anotace
V originále
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.
Návaznosti
GBP202/12/G061, projekt VaV |
|