FFORT: the extended FAULT TREE FOREST

FFORT is a collection of risk models, being Fault Trees, Attack Trees and BDMPs (Bolean Driven Markov Processes).

Our purpose is to provide a benchmark suite, so that researchers can use a large and diverse number of risk models to test and validate their methods and tools. For each risk model, we provide:

• Structure given in standard or modified Galileo format.
• Results from earlier analyses.
• Statistics.

Further

• All trees (including metadata) are available in our public Git repository:

  git clone https://dftbenchmarks.utwente.nl/public/ffort.git

• If you have created a risk model, we encourage you to submit your fault tree for inclusion in FFORT. Highly appriciated!

For questions about FFORT, contact m.peppelman@utwente.nl.