STAMP Tools

STPA and CAST can be performed without any special tools. Some have found pencil and paper, whiteboards, or simple spreadsheet programs and word editors to be effective. For large projects, specialized support tools 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:

• PASTA: Pragmatic Automated System-Theoretic Process Analysis
  • Created by: Jette Petzold at Kiel University
  • Methods supported: STPA
  • Features: Free open-source, validation checks, automatic generation of traceability diagram, controller constraints, safe behavior model, and fault trees based on STPA
  • More info:
    • Download
    • Github
• VisualPro SA
  • Created by: VWAY Co.,Ltd., Republic of Korea
  • Methods supported: STPA, CAST
  • Features: Effective Control Structure Modeling, User-Friendly Features, Connectivity with Requirements Management Tools
  • More info:
    • VisualPro STPA Tool
    • Demo Video
    • Free Version for Lite Users
• STPAmaster Lite
  • Created by: AKAENE
  • Methods supported: STPA
  • Features: open-source, free, automated UCAs and loss scenarios generation, check for errors
  • More info: STPAmaster website
• MOOSE : Matlab Tool for STPA Evaluation
  • Created by: Aditya Jeppu
  • Methods supported: STPA
  • Features: Simple Simulink library and two Matlab files to analyze the model.
  • More info: STPA Safety Analysis Tool in Simulink
• STPA Viewpoint for Capella
  • Created by: Thales
  • Methods supported: STPA
  • Features: Open-source, free, model-based
  • More info: GitHub project
• STPA Automation Tool
  • Created by: Andrew Miller, Motional
  • Methods supported: STPA
  • Features: Open-source, free, customizable
  • More info:
    • Overview
    • Download
• Depict
  • Created by: Michael Stone
  • Methods supported: Control Structures (during STPA, CAST, and others)
  • Features: Generates control structure diagram from a specification, support abstraction and nested boxes, open-source, free
  • More info:
    • Online Tool
    • Github project
• 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
• RM Studio
  • Created by: Stiki™ and Zurich University of Applied Sciences
  • Methods supported: STPA
  • 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
• 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
• 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
  • Created by: Safeware Corporation
  • Methods supported: STPA
  • Features: Professionally licensed, supports Intent Specification and formal executable requirements analysis
  • More info:
    • Overview
    • Demo
• SafetyHAT
  • Created by: Volpe
  • Methods supported: STPA
  • Features: Free, supports generation of some STPA results
  • More info:
    • Overview
    • Download
• A-STPA
  • (superseded by XSTAMPP)
• 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.