Projects in Awesome Lists tagged with stpa
A curated list of projects in awesome lists tagged with stpa .
https://github.com/mbeddr/mbeddr.formal
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
architecture contract-based-design gsn interface-specification jetbrains-mps mbeddr nusmv prism requirements-specification safety-assurance spin stpa z3
Last synced: 10 Mar 2025
https://github.com/kieler/pasta
VS Code extension for STPA-based risk analyses with interactive diagrams and integrations for fault trees, safe-by-construction behavior model generation, and verification.
fault-trees risk-analysis stpa verification vs-code-extenstion
Last synced: 07 May 2025
https://github.com/sireum/v3-awas
Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems
aadl dependency-analysis dependency-graph domain-specific-language fault-detection fault-tree hazard-analysis-framework information-flow risk-analysis sireum static-analysis stpa
Last synced: 26 Nov 2024
https://github.com/tsherburne/de-textbook
Digital Engineering (DE) Digital Textbook
cyber-resilience cyber-security digital-engineering jupyter-notebook mbse stpa
Last synced: 12 May 2025
