Welcome to the website of FFORT (the Fault tree FOResT, formerly the Twente Arberretum).

FFORT is a collection of fault trees, collected from scientific literature.

Our main purpose is to provide a benchmark suite, so that researchers on fault tree analysis can use a large and diverse number of fault trees to test and validate their methods and tools. For each fault tree, we provide:


For questions about FFORT, contact c.e.budde@utwente.nl . For questions about specific models, please contact the author(s) of the relevant paper.