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.
Zdrojový záznam
Citácie skopírované doslovne zo zdrojového záznamu metódy. Nevyplýva z nich žiadne overenie na úrovni tvrdenia.
Spracované tvrdenia
Tvrdenia uložené v registri dôkazov, každé s vlastným hodnotením.
Tento pohľad nevymýšľa hodnotenie tvrdenia, ak register žiadne nemá.
Súvisiace metódy
Vygenerované z grafu metód a zobrazené ako vzťahy navrhnuté strojom – nevyplýva z nich žiadne tvrdenie o dôkaze.