This tutorial provides step by step guide on how to install XSTAMPP tool for safety engineering for software-intensive Systems and customise its configurations.

1. Tutorial-1
Installation and Configuration of
XSTAMPP
Asim
Abdulkhaleq

2. University of Stuttgart 2
XSTAMPP
XSTAMPP
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 automatically transforming the context tables into LTL (Linear
Temporal Logic) formal specifications and generate test cases.
XSTAMPP Citation (Bibtex)
@inproceedings{Abdulkhaleq15,
author = {Asim Abdulkhaleq and Stefan Wagner},
title = {XSTAMPP: An eXtensible STAMP platform as tool support forsafety engineering},
booktitle = {2015 STAMP Workshop, MIT, Boston, USA},
year = {2015}, publisher = {Universität Stuttgart},
URL = {http://elib.uni-stuttgart.de/opus/volltexte/2015/9987},}

3. University of Stuttgart 3
XSTAMPP
Architecture
XSTAMPP Architecture
• XSTAMPP is written in Java based on the Eclipse plug-in
Development Environment and Rich Client Platform.
• Currently, XSTAMPP supports different projects such as:
1. STPA safety analysis
2. CAST accident analysis
3. STPA formal verification and safety-based test cases generation

4. University of Stuttgart 4
License &
RestrictionsLicense & Restrictions
XSTAMPP is an open source platform for safety engineering
based on STPA for software-intensive systems. XSTAMPP is
published under the Eclipse public license. All software is
provided free of charge and will remain free in the future.

5. University of Stuttgart 5
Installation
Guide
Prerequisites
Windows
• Microsoft Windows Vista, 7 or Windows 8;
• Pentium-compatible PC;
• 1024 Mb RAM;
• 1 Gb available hard disk space;
• 1024x768 resolution;
• Install Java Runtime Environment 7 (JDK) or above. If you have Java
already, please check which JDK version do you have.
• Please insure that you have administrator rights of the file setup.exe.
• The Windows zip files can be used without administrator rights.
You can download XSTAMPP from this website:
http://www.xstampp.de/Download.html
Download and Installation Guide

6. University of Stuttgart 6
Installation
Guide
Prerequisites
MAC OS
• Mac OS 10.6 (Snow Leopard) or higher
• PC with Intel processor, 1024 Mb RAM, 1 Gb available hard disk space and
1024x768 resolution.
• Install Java Runtime Environment 7 (JDK) or above. If you have JDK version
already, please check which version do you have from terminal with
command $ Java –version.
• To run XSTAMPP the first time, right-click (control-click) the XSTAMPP.app
icon and choose Open from the context menu.
• You will be asked if you really want to start the program, confirm this to
launch it.
• Some Mac OS versions require the security and privacy rights before
launching any application, therefore you have to give the security and
privacy rights to XSTAMPP.app before launching it from System Preferences
-> Security & Privacy -> Allow apps downloaded from …
Download and Installation Guide

7. University of Stuttgart 7
Installation
Guide
Prerequisites
Linux
• Ubuntu 14.04 or higher.
• PC with Intel processor, 1024 Mb RAM, 1 Gb available hard disk space,
1024x768 resolution
• Java Runtime Environment 7 (JDK) or above. If you have a JDK version
already, please check which version do you have on the terminal with the
command $ Java –version.
Download and Installation Guide

8. University of Stuttgart 8
Using
XSTAMPP
• When you click on the file XSTAMPP.app or XSTAMPP.exe, ,
XSTAMPP will ask there you to set the workspace to save all the
XSTAMPP projects.
Create a Workspace
To hide this window, you can click on the check box
Set the location of the workspace

9. University of Stuttgart 9
Using
XSTAMPP
• A Welcome window will appear at the first time after setting the
location of the workspace. It contains different buttons to manage
the XSTAMPP projects.
Welcome Window

10. University of Stuttgart 10
Using
XSTAMPP
• You can from welcome window manage XSTAMPP projects using
different buttons:
Welcome window functions
Create new XSTAMPP project: STPA or CAST
Load an existing project
into project explorer
Open help contents of
XSTAMPP
Open the preferences to
customize STAMPP
With different configurations
Directly switch to the workbench
of XSTAMPP (main window)

11. University of Stuttgart 11
Using
XSTAMPP
Main Window
• The main window has two sections(project explorer and views
explorer)
Views Explorer
Projects Explorer

12. University of Stuttgart 12
Using
XSTAMPP
Switch Workspace
• We can create different workspaces in XSTAMPP.
• To switch between different workspace, select File -> Switch
Workspace
To create a new workspace, change the name or location
of the current workspace

13. University of Stuttgart 13
Using
XSTAMPP
Help Contents
• XSTAMPP has help contents which explain how to use XSTAMPP
and its plugins
• To open help contents, go to Help Menu -> Help Content

14. University of Stuttgart 14
Using
XSTAMPP
Preferences
• You can customize the XSTAMPP view by setting preferences
• To open the Preferences view, go to Edit Menu -> Preferences
To change the color of
the control structure diagram
To change the export path
And company information
To set the path of XSTPA
plug-ins

15. Thank you!
e-mail
phone +49 (0) 711 685-
fax +49 (0) 711 685-
Universität Stuttgart
Asim Abdulkhaleq, Ph.D Candidate
88 458
88 380
Institute of Software Technology, Software Engineering Group
asim.abdulkhaleq@informatik.uni-stuttgart.de
The slides will be also available at the website www.xstampp.de