A-STPA download | SourceForge.net

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

Veeam Data Platform v13.1 Icon

Veeam Data Platform v13.1

Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try Now

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.

Start Free

Recommended Projects

STPASec: STPA for security
STPASec is an Eclipse plug-in to support the STPA security analysis activities (STPA Sec). The plug-in can be integrated with XSTAMPP (www.xstampp.de)
XSTAMPP
XSTAMPP: An eXtensible STAMP Platform for Safety Engineering
STPATCGenerator
STPA TCGenerator is a stand-alone tool was developed by Asim Abdulkhaleq to generate the safety-based test cases directly from STPA safety analysis results. STPA TCGenereator parses the STPA file project created in XSTAMPP and the safe behavourial model which is created with Simulink's stateflow editor to automatically generate the SMV model and check the correctness of the safe beahvioural model, eliminate the safe test model and generate safety-based test cases. The STPA TCGenerator tool accepts two files as input: an STPA project with extension haz. or .hazx and a stateflow model as xml file. The STPA TCGenerator parses the XML specifications of the STPA project and stateflow model into the corresponding Java objects by using Java Architecture for XML Binding (JAXB) technology. We implemented a Java library called SMV Generator which contains all necessary methods for transforming the XML specifications of the STPA project and stateflow model into an SMV model. To
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).
Mauti
This Software is a project of the university of stuttgart. It simulates a street toll system with automatically controlling cars on a street graph.