Event Tree Analysis
Event Tree Analysis (ETA) is a forward inductive technique used in reliability and risk engineering to model the possible outcomes that follow an initiating event. Starting from a single undesired event, ETA traces all subsequent event sequences through a binary branching tree representing the success or failure of safety barriers and protective systems. Introduced formally in reliability and risk literature by Andrews and Moss (2002), it is widely applied in nuclear, chemical, and aerospace industries to quantify accident sequence probabilities and guide safety decision-making.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
- Andrews, J. D., & Moss, T. R. (2002). Reliability and Risk Assessment (2nd ed.). Professional Engineering Publishing. · ISBN 978-1-86058-290-5
Wyselekcjonowane twierdzenia
Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.
Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.
Powiązane metody
Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.