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 r.soltani@utwente.nl .