#
stpa
Here are 7 public repositories matching this topic...
XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption and use of STAMP methodologies (STPA and CAST) in different areas. XSTAMPP includes seven plug-ins.
-
Updated
Jan 13, 2022 - Java
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
prism
architecture
z3
spin
gsn
nusmv
jetbrains-mps
stpa
contract-based-design
requirements-specification
safety-assurance
interface-specification
mbeddr
-
Updated
May 17, 2024 - JetBrains MPS
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
May 10, 2022 - JavaScript
Digital Engineering (DE) Digital Textbook
-
Updated
Jun 23, 2022 - Python
-
Updated
Sep 26, 2017 - Java
Improve this page
Add a description, image, and links to the stpa topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the stpa topic, visit your repo's landing page and select "manage topics."