VS Code extension for STPA-based risk analyses with interactive diagrams and integrations for fault trees, safe-by-construction behavior model generation, and verification.
-
Updated
Nov 19, 2024 - TypeScript
#
fault-trees
Here are 4 public repositories matching this topic...
TypeScript web app that implements fault tree analysis
-
Updated
Apr 9, 2024 - TypeScript
Material from the course of Systems Dependability at ENSEM - Université de Lorraine.
availability
petri-nets
maintainability
reability
stochastic-activity-networks
grif-software
fault-trees
-
Updated
Sep 17, 2023 - C++
Coyan is a tool that processes Static Fault Trees to compute the Top Event Probabilty.
-
Updated
Sep 6, 2024 - Rust
Improve this page
Add a description, image, and links to the fault-trees topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the fault-trees topic, visit your repo's landing page and select "manage topics."