tutorial1: how to install and configure xstampp
TRANSCRIPT
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},}
University of Stuttgart 3
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
University of Stuttgart 4
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.
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
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.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 …
Download and Installation Guide
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
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
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
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 ofXSTAMPP
Open the preferences tocustomize STAMPP With different configurations
Directly switch to the workbench of XSTAMPP (main window)
University of Stuttgart 11
Using XSTAMPP
Main Window • The main window has two sections(project explorer and views
explorer)
Views Explorer Projects Explorer
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 locationof the current workspace
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
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
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
The slides will be also available at the website www.xstampp.de