Scalable Analysis of Fault Trees with Dynamic Features

D 2015

Scalable Analysis of Fault Trees with Dynamic Features

KRČÁL, Jan a Pavel KRČÁL

Zá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

DOI

http://dx.doi.org/10.1109/DSN.2015.29

UT WoS

000380425700009

Klíčová slova anglicky

fault trees; dynamic fault trees; BDMP; nuclear safety; probabilistic safety analysis

Štítky

core_A, firank_A, formela-conference

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

Název: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Akronym: CE-ITI)

Investor: Grantová agentura ČR, Centrum excelence - Institut teoretické informatiky

Citovat

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

@inproceedings{1319888,
   author = {Krčál, Jan and Krčál, Pavel},
   address = {Rio de Janeiro, Brazil},
   booktitle = {DSN 2015},
   doi = {http://dx.doi.org/10.1109/DSN.2015.29},
   keywords = {fault trees; dynamic fault trees; BDMP; nuclear safety; probabilistic safety analysis},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {Rio de Janeiro, Brazil},
   isbn = {978-1-4799-8629-3},
   pages = {89-100},
   publisher = {IEEE},
   title = {Scalable Analysis of Fault Trees with Dynamic Features},
   year = {2015}
}

TY  - JOUR
ID  - 1319888
AU  - Krčál, Jan - Krčál, Pavel
PY  - 2015
TI  - Scalable Analysis of Fault Trees with Dynamic Features
PB  - IEEE
CY  - Rio de Janeiro, Brazil
SN  - 9781479986293
KW  - fault trees
KW  - dynamic fault trees
KW  - BDMP
KW  - nuclear safety
KW  - probabilistic safety analysis
N2  - 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.
ER  -

KRČÁL, Jan a Pavel KRČÁL. Scalable Analysis of Fault Trees with Dynamic Features. In \textit{DSN 2015}. Rio de Janeiro, Brazil: IEEE, 2015, s.~89-100. ISBN~978-1-4799-8629-3. Dostupné z: https://dx.doi.org/10.1109/DSN.2015.29.

Podrobný výpis o publikaci