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:
- Matthias Volk
The development of dftlib received significant contributions from:
- Dustin Jungen