STAMP Tools

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: jthomas4@mit.edu

STAMP-based support tools:

  • XSTAMPP
    • 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: http://www.xstampp.de/
  • SpecTRM
    • Created by: Safeware Corporation
    • Methods supported: STPA
    • Features: Professionally licensed, supports Intent Specification and formal executable requirements analysis
    • More info: http://www.safeware-eng.com/software%20safety%20products/software%20safety%20products.htm
  • SAHRA
    • 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: http://www.sahra.ch/
  • 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.