STPATCGeneratorPlugin

Brought to you by: asimabdulkhaleq, domasm92, kaiwessely

Downloads: 0 This Week

Last Update: 2017-07-26

Get an email when there's a new version of 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.

Features

STPA
Test Cases
Risk-based testing
Safety-based Testing
Transform Stateflow into SMV model
Transform Statechart into Extended finite state machine

Project Samples

A Tree of Safe behavioural model

Export formats

Validate the STPA specification with Simulink state flow specification

EFSM model

Traceability matrix between STPA and Simulink state flow with similarity degree

Traceability matrix between STPA and Simulink state flow with similarity degree

Project Activity

See All Activity >

Follow STPATCGeneratorPlugin

STPATCGeneratorPlugin Web Site

Other Useful Business Software

Veeam Data Platform v13.1 - Get Your Free Trial Icon

Veeam Data Platform v13.1 - Get Your Free Trial

Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try it Free

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of STPATCGeneratorPlugin!

Additional Project Details

Registered

2016-11-14

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

Claude Code Safety Net
A Claude Code plugin that acts as a safety net
STPATCGenerator
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. The STPA TCGenerator tool accepts two files as input: an STPA project with extension haz. or .hazx and a stateflow model as xml file. The STPA TCGenerator parses the XML specifications of the STPA project and stateflow model into the corresponding Java objects by using Java Architecture for XML Binding (JAXB) technology. We implemented a Java library called SMV Generator which contains all necessary methods for transforming the XML specifications of the STPA project and stateflow model into an SMV model. To
A-STPA
STPA support tool
STPA Verifier
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). Furthermore, STPA verifier provides a configuration view of each model checker (SPIN and NuSMV) to enable user to configure the model checker with necessary parameters. It also allows users to extract the Promela model from C-Code of the software by using the ModeX tool. The tool shows the results of each LTL formula in the table with different values (syntax error, success, failed (counterexample)and incomplete).
Nightingale OS
A small operating system where I experiment and learn osdev