CHEETAH SOLVER
Inductive
⬆
Drop fault tree file or click to browse
Supported formats:
OpenPSA XMLSAPHIRE FTLCAFTA TXT
43 fault trees from the Aralia benchmark dataset
OpenPSA XML.xml
Industry-standard exchange format for fault trees and event trees.
open-psa.github.io ↗
SAPHIRE FTL.ftl, .ftd
Flat ASCII files from INL’s SAPHIRE PRA software. Gate definitions with AND/OR logic.
saphire.inl.gov ↗
CAFTA.txt + .rr (optional)
Gate List export from EPRI’s CAFTA. Upload .rr event data first for probabilities.
epri.com ↗