dftlib - Python library for dynamic fault tree analysis

The dftlib Python package can be installed with:

pip install dftlib

The dftlib library provides Python support for fault tree analysis, especially dynamic fault trees (DFT).

Import and export (dynamic) fault trees from the following formats:
- Galileo format, a collection of fault trees is available in the FFORT collection.
- custom JSON format. The JSON format is compatible with the SAFEST tool and the DFT visualization.
- simple text format of the form AND(OR(A,B),C)
Export fault tree in tikz code for LaTeX. Layouting information from the JSON format is preserved. The export uses the DFT symbols defined in dft-tikz.tex. An example template is provided in resources/latex.
Anonymize fault trees for publication
Simplify the fault tree structure through graph rewriting. The simplifications rules are in parts based on: Junges et al. 'Fault trees on a diet: automated reduction by graph rewriting'
Analyze DFT via SMT encoding

Main author:

The development of dftlib received significant contributions from:

Provide feedback