Zur Webseite der Informatik

XSTAMPP (An eXtensible STAMP Platform)

Description

XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption and use of STAMP methodologies (STPA and CAST) in different areas. XSTAMPP includes three plug-ins: A-STPA (Automated tool support for STPA), A-CAST (Automated tool support for A-CAST), and XSTPA (Extended Approach to STPA). Moreover, XSTAMPP support to automatically transform the context tables into LTL (Linear Temporal Logic) formal specifications. XSTAMPP is written in Java based on the Eclipse Plug-in-Development Environment (PDE) and Rich Client Platform (RCP). The RCP architecture provides easy expandability and flexibility. XSTAMPP provides core functionality and components that make it easy to extend with new plug-ins. XSTAMPP was developed with the background to create a base platform support for safety engineering, which can be easily extended with new functions and approaches based on the STAMP model. The current version of XSTAMPP 2.0 is available as an open source platform at our repository http://sourceforge.net/projects/stampp/files/

License and restrictions

XSTAMPP is an open soruce platform for safety engineering based on STPA for software-intensive systems. XSTAMPP is published under the Eclipse public license. All software is provided free to charge and will remain free in the future. STPA TCGenerator is an open source tool which generates test cases based on the STPA results.

New Features of the XSTAMP platform

The XSTAMPP platform has the same major functions of A-STPA as well as including the following additional main functions:

  • Supports operating systems: Windows, Mac OS X, Linux Ubuntu 14.x or above
  • Allows safety analysts to create and open more projects in the project explorer.
  • Provide alternative template views for additional requirements such as a view of hierarchical control structure or a template for the context table of process model variables.
  • Open and arrange different user interface editors and views in the workbench.
  • Integrate, combine and update easily by additional plug-in libraries.
  • Automatically generate the final repot of your STPA or CAST work in different formats.
  • Export the whole project data as a PDF file and each individual user interface view as an Excel sheet or a JPEG image.

XSTAMPP Architecture

As shown in Figure 1, the XSTAMPP platform architecture mainly consists of four components:

  • STAMP Components: The main components which are used during the application of the STAMP/STPA approach: 1) STAMP data lists (e.g. Hazards list, accidents list, system goals and design constraints, safety requirements, corresponding safety constraints and control actions), 2) STAMP diagrams (e.g. hierarchical and detailed safety control structures, and process models diagram); and 3) STAMP Tables (e.g. unsafe control actions table and causal factors analysis table).
  • STAMP Components Editors: As an external representation, each STAMP component is represented by an independent Eclipse user interface editor which is tightly integrated into the platform workbench UI. Each editor allows a safety analyst to edit a STAMP component in a separate user interface.
  • Workbench User Interface: The workbench UI contains the infrastructure for views and UI editors. All UI editors of STAMP components, views and perspectives are located in the Workbench UI.
  • XSD Specification Template: As an internal representation, each STAMP component editor is always associated with an XML element that documents the input data from a safety analyst in the user interface editor. All XML elements will be saved to and restored from a saved XSD file with extension *.haz for a whole project.
  • Plug-in Development Environment (PDE): PDE provides custom extension points which can be extended with new software components. A software component called a plug-in is a component that provides a certain type of service within the context of the Eclipse workbench.
  • Eclipse Rich Client Platform (RCP): RCP provides an inherently extensible application framework that allows the seamless integration of independent software modules into a software application.

Figure 1: The XSTAMPP Architecture

 

Download and Installation Guide

Upon call-up of the XSTAMPP, you have to register yourself. Please fill in the registration mask completely (* = mandatory field). Following registration, you will receive an e-mail containing the link for download the A-STPA and the link of the empirical evaluation study to help us in evaluating our tool and provide your feedback for further improvement of the XSTAMPP.


We developed XSTAMPP to be able to run under different operating systems (Windows, Linux and Macintosh). To download XSTAMPP Tool please provide us the information below:

Feedback and Suggestions

We ask you to complete the 5-minute online survey which can be found at: online survey of using ٍْXSTAMPP. There is also the opportunity to provide specific feedback to us to improve the overall quality of A-STPA tool.

Publication

XSTAMPP Team

Lukas Balzer.

Asim Abdulkhaleq, M.Sc.

Prof. Dr. Stefan Wagner

If you have any qesution or problem, please contact Asim Abdulkhaleq