#

fault-tree

Here are 10 public repositories matching this topic...

rakhimov / scram

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

python c-plus-plus fault-tree event-tree pra psa risk-analysis reliability-engineering bdd zbdd fta qt5 cpp17

Updated Jan 15, 2021
C++

storm

moves-rwth / storm

Open

Change sparsepp to parallel hashmap. And use it.

tquatmann commented Oct 28, 2021

Sparsepp triggers a warning:

/Users/tim/storm/build-debug/include/resources/3rdparty/sparsepp/sparsepp/spp.h:942:33: warning: definition of implicit copy constructor for 'Two_d_destructive_iterator<std::__1::pair<const DdNode *const, bool>, spp::sparsegroup<std::__1::pair<const DdNode *const, bool>, spp::libc_allocator<std::__1::pair<const DdNode *const, bool>>> *, std::__1::pair<const DdNod

Read more

source code enhancement good first issue

Open

Silence unused parameter warnings

Open

Prism Program Traversers

1

Find more good first issues

ge-high-assurance / VERDICT

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

fault-tree model-checking attack-defense system-engineering cyber-resiliency behavioral-analysis architecture-analysis

Updated Feb 3, 2022
Java

moves-rwth / dft-gui

Visualization for Dynamic Fault Trees

fault-tree fta dynamic-fault-trees

Updated Oct 28, 2021
JavaScript

juli1 / emfta

EMF-based Fault-Tree Analysis Tool

fault-tree fta model-based-development

Updated Mar 16, 2016

open-psa / mef

The Open-PSA Model Exchange Format

fault-tree event-tree pra psa risk-analysis reliability-engineering fta standard eta

Updated Jan 20, 2018
Python

sireum / v3-awas

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

fault-tree risk-analysis static-analysis dependency-analysis dependency-graph aadl domain-specific-language fault-detection information-flow stpa sireum hazard-analysis-framework

Updated Jan 18, 2022
JavaScript

SDARG / jreliability

Java-based System Reliability Evaluation Library

java fault-tree bdd reliability analysis-framework reliability-library

Updated Apr 18, 2021
Java

CarlesCG / FaultTreeTutoRial

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

tutorial fault-tree risk-analysis reliability-engineering risk-models

Updated Feb 8, 2017
TeX

ChuOkupai / FTEdit

An open source fault tree editor

editor analysis fault-tree qt5 software sieve-of-atkin tree-editor mocus

Updated May 26, 2020
C++

Improve this page

Add a description, image, and links to the fault-tree topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the fault-tree topic, visit your repo's landing page and select "manage topics."