Fault Tree Analysis
Fault Tree Analysis (FTA) is a top-down, deductive reliability method that begins with an undesired top-level failure event and systematically traces backward through chains of contributing causes using Boolean logic gates (AND, OR). First formalized by Watson at Bell Telephone Laboratories in 1961 and later standardized by Vesely, Goldberg, Roberts, and Haasl in the landmark 1981 NRC Fault Tree Handbook, FTA has become a cornerstone of quantitative risk assessment in nuclear, aerospace, and industrial safety engineering.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
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.