Tutorial1: How to install and configure XSTAMPP

Tutorial-1

Installation and Configuration of XSTAMPP

Asim Abdulkhaleq

University of Stuttgart 2

XSTAMPPXSTAMPP

XSTAMPP (eXtensible STAMP Platform) is an open-source platformfor safety engineering designed specially to serve the widespreadadoption and use of STAMP methodologies (STPA and CAST) indifferent areas. XSTAMPP includes three plug-ins: A-STPA (Automatedtool support for STPA), A-CAST (Automated tool support for A-CAST),and XSTPA (Extended Approach to STPA). Moreover, XSTAMPPsupport automatically transforming the context tables into LTL (LinearTemporal 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},}


XSTAMPP ArchitectureXSTAMPP 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


License & Restrictions License & Restrictions

XSTAMPP is an open source platform for safety engineeringbased on STPA for software-intensive systems. XSTAMPP ispublished under the Eclipse public license. All software isprovided free of charge and will remain free in the future.


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


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.appicon 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 …



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.



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


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


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 ofXSTAMPP

Open the preferences tocustomize STAMPP With different configurations

Directly switch to the workbench of XSTAMPP (main window)


Using XSTAMPP

Main Window • The main window has two sections(project explorer and views

explorer)

Views Explorer Projects Explorer


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 locationof the current workspace


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


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

Thank you!

e-mailphone +49 (0) 711 685-fax +49 (0) 711 685-

Universität Stuttgart

Asim Abdulkhaleq, Ph.D Candidate

88 45888 380

Institute of Software Technology, Software Engineering Group

[email protected]

The slides will be also available at the website www.xstampp.de

Tutorial1: How to install and configure XSTAMPP

Software

Transcript of Tutorial1: How to install and configure XSTAMPP