Change Log (Version 2.0.0)

• Scalable static & dynamic fault trees (DFTs)
• Scalable event trees with non-deterministic choices, and rewards/losses at nodes
• Auto translation of SysML v2 to (dynamic) fault trees
• Multipage & hierarchical fault/event trees
• Common cause failure groups (CCF groups): Alpha, Beta, Multi Greek, Binomial-model, Custom models
• Probabilistic dependencies on fault trees: Failure-on-demand, Dynamic addition of new failure modes, etc.
• Initial/Boundary condition sets: failure evidence – BEs and modules can be set to fail before analysis
• Rich set of measures in continuous stochastic logic (CSL).
• Scalable analysis of FTs via BDDs & Model-checking
• Modular analysis for Birnbaum Index, Criticality Importance, RAW, RRW, Diagnostics Imp. Factor, Bagt+, Bagt, etc. for large DFTs
• Define & quantify complex events on fault tree elements using model-checking
• Exact and approx. sound analysis of DFTs
• (Multipage) Interactive graphical simulation of DFTs
• MCS for static fault trees, and their multi-page graphical display
• Graphs on CSL measures
• Parametrized fault/event tree models
• Graphical, tabular, (parametric) Galileo views
• Automatic module detection, fault tree simplification
• Multi-attributes/color tagging to elements
• Mirror images of fault tree elements
• Integration of fault trees into event trees
• Finding an optimal sequence of decisions in event trees to minimize risk
• Quantify expected losses in event trees e.g. casualties, emissions, etc.
• Extensive filters, group find & replace
• Duplicate fault/event trees
• Group deletion, update of elements
• Importing/exporting FTs in JSON, Galileo, and Latex
• Importing/exporting model parameters in Excel
• Generating empirical and mixture failure distributions
• URLs of manuals can be attached with elements
• Easy integration with AI/ML/NLP technologies
• Technology stack (Angular, Python)