SE-Stuttgart / 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 seven plug-ins.
http://www.xstampp.de
28 stars 17 forks source link
cast privacy safety security stamp stpa stpapriv stpasec xstampp

How to build XSTAMPP

  1. The build requires Maven (>=3.3) and Java (>1.7) either from https://maven.apache.org/ or from the IDE.

  2. Go to the xstampp.parent directory in the root path of the xstampp project (where this file is located).

  3. Open a commandline in the xstampp.parent dir and execute

    1. mvn clean verify to build xstampp with xstpa and cast already included.

    2. mvn clean install as 3.1 but also installs xstampp on [user]/.m2 for usage as local dependency of other builds.

  4. The build artifacts are located in xstampp.repository/target.

Working on XSTAMPP

Language skills

  1. XSTAMPP is written in Java 8 (depending on the Plugin)

  2. The documentation (help contents in xstampp.[plugin]/html) is provided in html 4.0 and styled with CSS 3

  3. The hazx schema is given in XMLSchema 1

Setting up the environment

Running XSTAMPP from Eclipse

  1. Go to xstampp.repository —> xstampp.product.

  2. In the product editor click on Testing —> Launch an Eclipse Application.

  3. The run fails on the first try, which is normal because we haven’t included the required plugins yet.

  4. In the last step Eclipse has created a Run configuration for us which we are going to use now:

    1. Right click on the xstampp project and select Run As —> Run Configurations...

    2. In the opening dialog search for the Plug-ins Tab (you may need to adjust the size of the window).

    3. You can now include/exclude the xstampp plug-ins included in your runtime.

    4. Finally, find/press the button Add Required Plug-ins and Apply/Run the run configuration.

Before eclipse can successfully run xstampp the required plug-ins must
be included in the
runtime[]{data-label="fig:runConfig"}

Contribute

Create a new plugin:

Create a new Version

Known Issues {#chap:issues}

An API baseline has not been set for this Workspace

  1. Go to the Eclipse Problems View (Window —> Show View —> Problems).

  2. Right click the ’API baseline’ error.

  3. In the context menu select Quick Fix.

  4. A Preference Window filtered for the API Baselines opens up.

  5. In that dialog find the field Missing API Baseline and set it to Ignore (see figure [fig:APIerror])

    The API baseline can be
ignored[]{data-label="fig:APIerror"}

Plugin Execution not covered by lifecycle configuration

  1. Go to Window —> Preferences —> Maven —> Error/Warnings.

  2. Find the line ’Plugin Execution not covered’.

  3. Set the Value to ignore, by choosing selecting ’ignore’ in the combo box.

  4. Click on Apply/Ok to rebuild the projects.

When cloning into/ importing xstampp and its sub projects to eclipse the project dependencies must be located sometimes

  1. In the Project Explorer right click on the project ’Build Path —> Configure Build Path’.

  2. In the ’Java Build Path’ Page click on ’Source’, by doing that java relocates the source folders in the projects andsets the dependencies.

  3. Hit Apply/Ok to store the settings.