| Identifikační kód | RIV/00216224:14330/15:00081287 |
|---|
| Název v anglickém jazyce | Scalable Analysis of Fault Trees with Dynamic Features |
|---|
| Druh | D - Článek ve sborníku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2015 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 1 |
|---|
| Počet tvůrců celkem | 2 |
|---|
| Počet domácích tvůrců | 1 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Jan Krčál (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 9668780)
Pavel Krčál (státní příslušnost: CZ - Česká republika, vedidk: 6986080) |
|---|
| Popis výsledku v anglickém jazyce | 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 |
|---|
| Klíčová slova oddělená středníkem | fault trees; dynamic fault trees; BDMP; nuclear safety; probabilistic safety analysis |
|---|
| Stránka www, na které se nachází výsledek | - |
|---|
| DOI výsledku | 10.1109/DSN.2015.29 |
|---|