A-STPA download | SourceForge.net

STPA support tool

Brought to you by: asimabdulkhaleq, lukasbalzer, stupro-astpa

As of 2018-07-20, this project can be found here.

Downloads: 10 This Week

Last Update: 2018-07-20

Get an email when there's a new version of A-STPA

A-STPA is an analysis support tool for the STAMP based hazard analysis. It is brought to you by the 2013-14 Studienprojekt of the Software Engineering Group of the University of Stuttgart.
Visit us at www.xstampp.de

A-STPA is now available as a plug-in for the XSTAMPP - eXtensible STAMP Platform
both are available here: https://github.com/SE-Stuttgart/XSTAMPP

Features

Step-by-Step STPA Analysis
customizable PDF Export
Graphical Editor for creating he control structure

Project Samples

Causal Factors Table

Control Structure

Unsafe Control Actions Table

Control Structure with Process Model

Project Activity

See All Activity >

License

Eclipse Public License

Follow A-STPA

A-STPA Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud Icon

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Sign Up

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of A-STPA!

Additional Project Details

Languages

English

User Interface

Java SWT

Programming Language

Registered

2014-03-03

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Sign Up

Recommended Projects

DateTimeStamp
DateTimeStamp is program what allows to get EXIF information from picture taken by digital camera and to stamp date/time information on it. Properties of digital stamp can be selected using GUI. Stamping a selected group of files is allowed.
XSTAMPP
XSTAMPP: An eXtensible STAMP Platform for Safety Engineering
STPA Verifier
STPA Verifier is an Eclipse plug-in to verify the STPA safety requirements with model checker tools such as SPIN and NuSMV. The STPA-generated safety requirements are automatically transformed into formal specification in LTL (linear Temporal Logic). The STPA Verifier plug-in fetches all LTL formulae from XSTPA and allows user to load the verification model of system (Promela or SMV Model). Furthermore, STPA verifier provides a configuration view of each model checker (SPIN and NuSMV) to enable user to configure the model checker with necessary parameters. It also allows users to extract the Promela model from C-Code of the software by using the ModeX tool. The tool shows the results of each LTL formula in the table with different values (syntax error, success, failed (counterexample)and incomplete).
Strawberryhft
Student-project of HfT-Stuttgart Germany. -Planing system for the excursion week.
Auto Stamper for Photo
Capture photos with Date-time, Signature and Location with smartphone