Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)
-
Updated
Sep 19, 2023 - C++
Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)
A Modern Probabilistic Model Checker
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
Visualization for Dynamic Fault Trees
Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems
An open source fault tree editor
The Open-PSA Model Exchange Format
This is a tutorial for the package FaultTree from openreliability.com
Python library for dynamic fault tree analysis
Java-based System Reliability Evaluation Library
Slow Fault Tree Analyser (SFTA): fault tree analysis for coherent fault trees
An inverse estimation technique for back-fitting conditional/functional event probability distributions in an event tree to match target end-state frequencies.
Repository for my Impianti di Elaborazione final project
Add a description, image, and links to the fault-tree topic page so that developers can more easily learn about it.
To associate your repository with the fault-tree topic, visit your repo's landing page and select "manage topics."