Pinned Repositories
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
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/.
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.
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.
STPA-Safety-based-Testing-Plugin
asimabdulkhaleq's Repositories
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.
asimabdulkhaleq/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
asimabdulkhaleq/Continuous-Integration
asimabdulkhaleq/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/.
asimabdulkhaleq/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.