stpa

There are 0 repository under stpa topic.

gaphor / gaphor
Gaphor is the simple modeling tool
c4model diagram fta gnome gtk mbse model-based-systems-engineering modeling python stpa sysml uml
Language:Python 1696
SE-Stuttgart / XSTAMPP
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.
cast privacy safety security stamp stpa stpapriv stpasec xstampp
Language:Java 28
mbeddr / mbeddr.formal
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
requirements-specification architecture safety-assurance gsn stpa interface-specification contract-based-design nusmv spin prism z3 jetbrains-mps mbeddr
Language:JetBrains MPS 23
sireum / v3-awas
Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems
sireum hazard-analysis-framework information-flow dependency-graph dependency-analysis aadl risk-analysis static-analysis domain-specific-language fault-tree fault-detection stpa
Language:JavaScript 6
tsherburne / de-textbook
Digital Engineering (DE) Digital Textbook
digital-engineering cyber-security jupyter-notebook stpa mbse cyber-resilience
Language:Python 3
adityajeppu / train-gate-STPA-control
Code for a train gate STPA model that uses simulink design verifier, arduino and blender
arduino blender design-verification matlab simulink stpa
Language:HTML 1
SE-Stuttgart / STPA-Safety-based-Testing-Plugin
cast stpa testing verification
Language:Java 0

stpa

gaphor / gaphor

SE-Stuttgart / XSTAMPP

mbeddr / mbeddr.formal

sireum / v3-awas

tsherburne / de-textbook

adityajeppu / train-gate-STPA-control

SE-Stuttgart / STPA-Safety-based-Testing-Plugin