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.

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.

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

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.

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.

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

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

Level 2 ADAS for an autonomous SAE BAJA vehicle. 3rd overall and 1st in AEB at aBAJA SAEINDIA 2026. Public showcase - results and engineering writeup, source code confidential.

Curated STAMP/STPA and hazard analysis resources for safety and systems engineering practitioners

Synthetic UAV telemetry replay studying monitor persistence, stopping margins and fallback recommendations.

depict – share mental models better

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