stpa

Gaphor is the simple modeling tool

VS Code extension for STPA-based risk analyses with interactive diagrams and integrations for fault trees, safe-by-construction behavior model generation, and verification.

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

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.

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

Digital Engineering (DE) Digital Textbook

This is the repository of a dataset about the first step of the STPA Technique.

Code for a train gate STPA model that uses simulink design verifier, arduino and blender

A multi-agent safety engineering framework that subjects systems to adversarial audit. Orchestrates specialized agents (Engineer, Psychologist, Physicist) to find process risks and human factors.

Replication Package: Empirically Comparing Hazard-Guided LLM Mutation Techniques with Existing LLM- and Rule-Based Approaches

Control-theoretic threat modeling for software. STPA/STPA-Sec applied to a repo or a design doc — control structure, countable UCA grid, loss scenarios, and a ranked backlog with probes. Offline, no keys, no telemetry.

🪲 A Modular LLM-based Mutation Framework

depict – share mental models better

Architecture — for humans and AI. A typed, git-versioned, verifiable architecture model with GUI, REST, and MCP surfaces.