Search Results for "a-stpa"

STPASec is an Eclipse plug-in to support the STPA security analysis activities (STPA Sec). The plug-in can be integrated with XSTAMPP (www.xstampp.de)

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 Verifier is an Eclipse plug-in to verify the STPA safety requirements with model checker tools such as SPIN and NuSMV. The STPA-generated safety requirements are automatically transformed into formal specification in LTL (linear Temporal Logic). The STPA Verifier plug-in fetches all LTL formulae from XSTPA and allows user to load the verification model of system (Promela or SMV Model).

STPA TCGenerator is a stand-alone tool was developed by Asim Abdulkhaleq to generate the safety-based test cases directly from STPA safety analysis results. STPA TCGenereator parses the STPA file project created in XSTAMPP and the safe behavourial model which is created with Simulink's stateflow editor to automatically generate the SMV model and check the correctness of the safe beahvioural model, eliminate the safe test model and generate safety-based test cases. ...

A-STPA is an analysis support tool for the STAMP based hazard analysis. It is brought to you by the 2013-14 Studienprojekt of the Software Engineering Group of the University of Stuttgart. Visit us at www.xstampp.de A-STPA is now available as a plug-in for the XSTAMPP - eXtensible STAMP Platform both are available here: https://github.com/SE-Stuttgart/XSTAMPP