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:

  • 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
  • VisualPro SA
    • Created by: VWAY Co.,Ltd., Republic of Korea
    • Methods supported: STPA
    • Features: Supporting STPA Handbook(2018) Theory, Effective Control Structure Modeling, Guideword/Countermeasure Repository
    • More info: VisualPro STPA – VWAY ENG
  • 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.

 

Comments are closed.