asimabdulkhaleq

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.

STPATCGeneratorPlugin

STPATCGeneratorPlugin is an Eclipse plugin developed based on XSTAMPP architecture for the STPA TCGenerator tool which is developed by Asim Abdulkhaleq. Th plugin will integrate with XSTAMPP platform for safety engineering to allow the safety analyst to automatically generate the safety-based test cases for each STPA-generated software safety requirements which are derived during STPA safety analysis process.

STPA-Test-Management-

We build a new test management to manage the generated test cases from the tool STPA TCGenerator and improve the usability of the STPA TC Generator/.

Continuous-Integration

STPA-and-Software-Model-Checking

This project is an illustrative example of integrated STPA and software model checker (research paper) Authors: Asim Abdulkhaleq, Stefan Wagner Software Engineering Group, Institute of Software Technology University of Stuttgart, Germany March, 2015