fault-tree

There are 1 repository under fault-tree topic.

• storm

  moves-rwth / storm

  A Modern Probabilistic Model Checker

  model-checkingmarkov-chaindtmcmdpctmcresearchfault-treemodel-checkerpomdp
  Language:C++ 152

• rakhimov / scram

  Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)

  c-plus-pluspythonfault-treeevent-treeprapsarisk-analysisreliability-engineeringbddzbddftaqt5cpp17
  Language:C++ 152

• ge-high-assurance / VERDICT

  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

  cyber-resiliencybehavioral-analysisarchitecture-analysissystem-engineeringfault-treeattack-defensemodel-checking
  Language:Java 44

• openpra-org / openpra-monorepo

  OpenPRA Web Application Monorepo

  event-treefault-treeprobabilistic-risk-assessmentrisk-analysis
  Language:TypeScript 18

• moves-rwth / dft-gui

  Visualization for Dynamic Fault Trees

  ftadynamic-fault-treesfault-tree
  Language:JavaScript 15

• ChuOkupai / FTEdit

  An open source fault tree editor

  analysiseditorfault-treemocusqt5sieve-of-atkinsoftwaretree-editor
  Language:C++ 10

• juli1 / emfta

  EMF-based Fault-Tree Analysis Tool

  fault-treeftamodel-based-development
  7

• sireum / v3-awas

  Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems

  sireumhazard-analysis-frameworkinformation-flowdependency-graphdependency-analysisaadlrisk-analysisstatic-analysisdomain-specific-languagefault-treefault-detectionstpa
  Language:JavaScript 7

• open-psa / mef

  The Open-PSA Model Exchange Format

  standardrisk-analysisfault-treeevent-treeftaetapsaprareliability-engineering
  Language:Python 5

• volkm / dftlib

  Python library for dynamic fault tree analysis

  dynamic-fault-treesfault-treefta
  Language:Python 5

• SDARG / jreliability

  Java-based System Reliability Evaluation Library

  reliabilityjavareliability-libraryanalysis-frameworkbddfault-tree
  Language:Java 3

• yawnoc / sfta

  Slow Fault Tree Analyser (SFTA): fault tree analysis for coherent fault trees

  fault-treeminimal-cut-sets
  Language:Python 3

• angyanmark / FaultTreeEditor

  Create, edit and save dynamic fault trees.

  fault-tree
  Language:C# 2

• CarlesCG / FaultTreeTutoRial

  This is a tutorial for the package FaultTree from openreliability.com

  fault-treetutorialreliability-engineeringrisk-modelsrisk-analysis
  Language:TeX 2

• public-fta / pfta

  Public Fault Tree Analyser (PFTA): free and open-source fault tree analysis

  failure-probabilityfailure-ratefault-treeminimal-cut-sets
  Language:Python 2

• openpra-org / inverse-canopy

  An inverse estimation technique for back-fitting conditional/functional event probability distributions in an event tree to match target end-state frequencies.

  event-treefault-treepraprobabilistic-risk-assessmentprobability-distributionreliabilityreliability-engineeringrisk-assessment
  Language:Jupyter Notebook 1

• openpra-org / model-generator

  CLI utility for creating synthetic event trees and fault trees in the OpenPSA-MEF, OpenPRA JSON, and SaphSolve JSON formats

  event-treefault-treepra
  Language:Python 1

• dBenf / Impianti-di-Elaborazione

  Repository for my Impianti di Elaborazione final project

  performance-analysisreliability-engineeringapache-jmeterdependabilityfault-treejmplog-analysisweb-server
  Language:Jupyter Notebook