FormalFTA
OpenFTA is the world's most-used open source fault tree analysis software package. We made this freely available some years ago. Auvation has further developed this into FormalFTA, a commercial standard product, and is currently considering how best to distribute this.
We are also engaged in research activities into data exchange between fault tree packages using meta models.