(cze): Modely FTA (Fault Tree Analysis) jsou jedním z důležitých nástrojů pro zkoumání spolehlivosti složitých systémů. Základní, z pohledu modelu nedělitelné prvky systému, mohou být, v případě jejich nezávislosti (ve smyslu pravděpodobnosti selhání), spojeny do stromové struktury, určené jejich vlivem na funkčnost nadřazeného subsystému. Tato výzkumná zpráva se zabývá výpočtem pravděpodobnosti selhání v jednotlivých uzlech stromu a výpočetní složitostí pro navrhované algoritmy.