We are constantly being asked about support tools that are available for STPA, CAST, and other STAMP-based methods. This page contains a list of the STAMP-based tools we’re aware of.
If you’re aware of a tool that is not on this list, please let us know so we can update this page!
STAMP-based support tools:
- XSTAMPP
- Created by: Asim Abdulkhaleq and team, University of Stuttgart
- Methods supported: STPA, CAST, and others
- Features: Open-source, free, 7,000 downloads, generate test cases. support formal software verification
- More info: Overview
- SAHRA
- Created by: Zurich University of Applied Sciences
- Methods supported: STPA
- Features: Supports user macros, flexible control structure abstraction (“zooming in”)
- More info: Overview
- RM Studio
- Created by: Stiki™ and Zurich University of Applied Sciences
- Methods supported: STPA
- More info: Overview
- STAMP Workbench
- Created by: Infomation-technology Promotion Agency(IPA), Japan
- Methods supported: STPA
- Features: Open-source, free, available in English or Japanese
- More info: Overview Download
- Commercial version: astah System Safety (https://astah.net/products/astah-system-safety/)
- CAIRIS support
- Created by: Dr. Shamal Faily, Bournemouth University
- Methods supported: STPA
- Features: Open-source platform for designing and specifying usable and secure systems
- More info: Overview
- SpecTRM
- SafetyHAT
- An STPA Tool
- Created by: Dajiang Suo and John Thomas, MIT
- Methods supported: STPA
- Features: Generates STPA results and executable requirements.
- Disadvantages: Created as an early proof-of-concept. The tool is not publicly available, but the results and methods were published so they can be incorporated into professional tools.
- A-STPA
- (superseded by XSTAMPP)