Department for Computing Science, University of Oldenburg, 2005. Fault Tree Analysis with Moby/FT

Fault tree analysis (FTA) is a standardised technique used by engineers to explore possible failure states of safety-critical systems. Since the FTA is generally practised informally and thus, it cannot be guaranteed that it is applied correctly, several formal approaches have been introduced in the past (e.g. [STR02]) for allowin