STPA and CAST work with ordinary tools. Many teams do well with pencil and paper, whiteboards, or spreadsheets and word processors. For large projects, dedicated tools are available. This page lists the ones we know about.
MIT hasn't reviewed or assessed these tools. The list is here so people know what exists. If you know of a tool that's missing, let us know and we'll add it.
STAMP-based support tools
TRACEIT
- Created by
- KAERI and VWAY
- Methods
- STPA
- Features
- Data-centric modeling of control structures consistent with STAMP and STPA principles; systematic checks of control structure completeness; isolating and tracing a control loop of interest within a complex control structure; simulation to explore causal paths that lead to unsafe control actions
- More
- VWAY website
MicroSTAMP
- Created by
- João Hugo Marinho Maimone, Gabriel Piva Pereira, Gabriel Francelino Nascimento, Thiago Franco de Carvalho Dias, Rodrigo Martins Pagliares, and Fellipe Rey
- Methods
- STPA
- Features
- Free and open source; two approaches for Step 4 (handbook and formal); microservices architecture with APIs for integrating other tools; export to PDF or JSON; built-in example analyses
- More
- GitHub
SafeTbox (Enterprise Architect add-in)
- Created by
- Fraunhofer IESE, Safety Engineering Department
- Methods
- STPA and others
- Features
- Standard STPA support; any model elements can be linked to keep traceability; free for trial and non-commercial use after registration
- More
- Website · STPA article
PASTA: Pragmatic Automated System-Theoretic Process Analysis
VisualPro SA
- Created by
- VWAY Co., Ltd., Republic of Korea
- Methods
- STPA, CAST, and others
- Features
- Control structure modeling; connects to requirements management tools
- More
- VisualPro STPA tool · Demo video · Free lite version
STPAmaster Lite
- Created by
- AKAENE
- Methods
- STPA
- Features
- Free and open source; automated generation of unsafe control actions and loss scenarios; error checks
- More
- STPAmaster website · Demo video
MOOSE: Matlab tool for STPA evaluation
- Created by
- Aditya Jeppu
- Methods
- STPA
- Features
- A Simulink library and two Matlab files for analyzing the model
- More
- STPA Safety Analysis Tool in Simulink
STPA Viewpoint for Capella
- Created by
- Thales
- Methods
- STPA
- Features
- Free, open source, and model-based
- More
- GitHub project
STPA Automation Tool
Depict
- Created by
- Michael Stone
- Methods
- Control structures for STPA, CAST, and other methods
- Features
- Generates control structure diagrams from a text specification; supports abstraction and nested boxes; free and open source
- More
- Online tool · GitHub project
XSTAMPP
- Created by
- Asim Abdulkhaleq and team, University of Stuttgart
- Methods
- STPA, CAST, and others
- Features
- Free and open source, with 7,000 downloads; generates test cases; supports formal software verification
- More
- Overview
RM Studio
- Created by
- Stiki and Zurich University of Applied Sciences
- Methods
- STPA
- More
- Overview
SAHRA
- Created by
- Zurich University of Applied Sciences
- Methods
- STPA
- Features
- User macros; flexible control structure abstraction ("zooming in")
- More
- Overview
STAMP Workbench
- Created by
- Information-technology Promotion Agency (IPA), Japan
- Methods
- STPA
- Features
- Free and open source; available in English and Japanese
- More
- Overview · Download · Commercial version: astah System Safety
CAIRIS
- Created by
- Dr. Shamal Faily, Bournemouth University
- Methods
- STPA
- Features
- Open-source platform for designing and specifying usable, secure systems
- More
- Overview
SpecTRM
SafetyHAT
An STPA tool (MIT research prototype)
- Created by
- Dajiang Suo and John Thomas, MIT
- Methods
- STPA
- Features
- Generates STPA results and executable requirements
- Notes
- An early proof of concept. The tool is not public, but the results and methods were published so tool developers can build them in.
A-STPA, an earlier tool, has been superseded by XSTAMPP.