This slide gives you a short introduction about XSTAMPP tool for safety engineering based on STAMP model

1. 2017
XSTAMPP Foundations
and Examples
eXtensible STAMP Platform for
Safety Engineering
Dr. Asim
Abdulkhaleq

2. What is XSTAMPP?
2/30

3. Introduction
What is XSTAMPP Platform?
3/30
u Open source and free software
u Developed during my PhD dissertation through student job.
u Based on the Eclipse Rich Client Platform (RCP) and plug-in development
environment
u Designed specially to serve the widespread adoption and use of STAMP in
different areas.
u It supports the application of safety analysis (*.haz or *.hazx) , STPA for
security (*.sec), and STPA for privacy (*.priv) and CAST for accident analysis
(*.acc)
u It has extended to support the software safety and verification (formal
verification and testing) activities.
u It has 7 plugins.

4. Introduction XSTAMPP
4/30
u We developed an extensible platform tool support for STAMP safety engineering
called XSTAMPP as open source platform.
STPA
Sec
STPA
Modelling
Current Plugins

5. Introduction
XSTAMPP Users around the world
5/30
u XSTAMPP is already being used by safety analysts in different industrial domains in
50 countries around the world (more than 7500 download requests and updates)
https://sourceforge.net/projects/stampp/

6. XSTAMPP Main Functions
6/30
The XSTAMPP platform has the major 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.
ü Automatically verify the LTL (Linear Temporal Logic) formulae of the STPA-
generated safety requirements with SPIN or NuSMV model checker.
ü Automatically generate safety-based test cases from the STPA results.

7. XSTAMPP Install and
Download
7/30

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

9. University of Stuttgart
9/30
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.
1. 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.
2. To run XSTAMPP the first time, right-click (control-click) the XSTAMPP.app icon
and choose Open from the context menu.
3. You will be asked if you really want to start the program, confirm this to launch
it.
4. 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

10. University of Stuttgart
10/30
Prerequisites
Linux
• Ubuntu 14.04 or higher.
• PC with Intel processor, 1024 Mb RAM, 1 Gb available hard disk space, 1024x768
resolution
1. 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

11. Download XSTAMPP
11/30
Download
You can download XSTAMPP from the website:
http://www.xstampp.de/Download.html

12. XSTAMPP Views
12/30

13. XSTAMPP Main Workbench
Create different projects
in the workbench
Open different UI views
in the workbench
Draw components with
different colours
13/30
Decoration button
Preferences to change the font and color

14. XSTAMPP Projects
14/30
XSTAMPP supports STPA safety, security and privacy analysis projects and also it
supports CAST accident analysis

15. XSTAMPP Views I
XSTAMPP supports to open different views in the main workbench
15/30

16. University of Stuttgart
16/30
• 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)

17. University of Stuttgart
17/30
• 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 in XSTAMPP
To hide this window, you can click on the check box
Set the location of the workspace

18. University of Stuttgart
18/30
Create a new project in XSTAMPP
• To create a new STPA project, go to the File menu -> Create new project Or click on the new
button in the Tool bar Then choose “STPA project” and click on “Next” button

19. Export XSTAMPP Report
19/30
XSTAMPP supports to export different formats Excel sheets, images and PDF

20. Help in XSTAMPP
XSTAMPP provides a help wizard to get instructions for each STPA step
20/30

21. University of Stuttgart
21/30
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

22. Additional Plugins in XSTAMPP
26/30

23. Automatically Generate Unsafe Scenarios
23/30

24. STPA Verifier
24/30

25. STPA Test Cases Generator
25/30

26. e-mail
phone +49 (0) 711 685-
fax +49 (0) 711 685-
Universität Stuttgart
Thank you!
Dr. Asim Abdulkhaleq and Lukas Balzer.
88 458
88 389
Institute of Software Technology
Asim.Abdulkhaleq@informatik.uni-stuttgart.de
www.xstampp.de