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.
Forrásrekord
A hivatkozások szó szerint a módszer forrásrekordjából kerültek átvételre. Ezekből nem következtethető ki állítás-szintű ellenőrzés.
Kurált állítások
Az állítások a bizonyíték-jegyzőkönyvben tárolódtak, mindegyik saját értékeléssel.
Ez a nézet nem hoz létre állítás-értékelést, ha a jegyzőkönyvben nincs.
Kapcsolódó módszerek
A módszergráfból generálva és gépi javaslatú kapcsolatokként jelenítve meg – nem következtethető ki bizonyíték-állítás.