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! Email:

STAMP-based support tools:

    • Created by: Asim Abdulkhaleq and team, University of Stuttgart
    • Methods supported: STPA, CAST, and others
    • Features: Open-source, free, can generate test cases and support formal software verfication
    • More info:
  • SpecTRM
    • Created by: Safeware Corporation
    • Methods supported: STPA
    • Features: Professionally licensed, supports Intent Specification and formal executable requirements analysis
    • More info:
    • Created by: Zurich University of Applied Sciences
    • Methods supported: STPA
    • Features: Easy to use, supports user macros, flexible control structure abstraction (“zoom in”)
    • More info:
  • RM Studio
    • Created by: Stikiā„¢ and Zurich University of Applied Sciences
    • Methods supported: STPA
    • (in development)
  • iSTAMP
    • Created by: Japanese Information-technology Promotion Agency (IPA)
    • Methods supported: STPA
    • (in development)
  • SafetyHAT
    • Created by: Volpe
    • Methods supported: STPA
    • Features: Supports generation of some STPA results
  • An STPA Tool
    • Created by: Dajiang Suo and John Thomas, MIT
    • Methods supported: STPA
    • Features: Generates STPA results and executable requirements.
    • Disadvantages: Created only as a 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)


Comments are closed.