Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: fault-tree

moves-rwth/storm

A Modern Probabilistic Model Checker

Language: C++ - Size: 198 MB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 124 - Forks: 69

ge-high-assurance/VERDICT

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

Language: Java - Size: 23.4 MB - Last synced: 30 days ago - Pushed: 30 days ago - Stars: 37 - Forks: 14

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.

Language: Jupyter Notebook - Size: 387 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

moves-rwth/dft-gui

Visualization for Dynamic Fault Trees

Language: JavaScript - Size: 3.14 MB - Last synced: 24 days ago - Pushed: over 2 years ago - Stars: 13 - Forks: 1

rakhimov/scram

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

Language: C++ - Size: 20 MB - Last synced: 7 months ago - Pushed: 8 months ago - Stars: 126 - Forks: 53

yawnoc/sfta

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

Language: Python - Size: 453 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 1 - Forks: 0

CarlesCG/FaultTreeTutoRial

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

Language: TeX - Size: 1.7 MB - Last synced: about 2 months ago - Pushed: over 7 years ago - Stars: 3 - Forks: 2

juli1/emfta

EMF-based Fault-Tree Analysis Tool

Size: 174 MB - Last synced: 18 days ago - Pushed: about 8 years ago - Stars: 5 - Forks: 23

sireum/v3-awas

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

Language: JavaScript - Size: 51 MB - Last synced: about 2 months ago - Pushed: about 2 years ago - Stars: 5 - Forks: 1

volkm/dftlib

Python library for dynamic fault tree analysis

Language: Python - Size: 301 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

angyanmark/FaultTreeEditor

Create, edit and save dynamic fault trees.

Language: C# - Size: 730 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1

ChuOkupai/FTEdit

An open source fault tree editor

Language: C++ - Size: 935 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 4 - Forks: 5

dBenf/Impianti-di-Elaborazione

Repository for my Impianti di Elaborazione final project

Language: Jupyter Notebook - Size: 51.1 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

SDARG/jreliability

Java-based System Reliability Evaluation Library

Language: Java - Size: 6.1 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 3 - Forks: 3