Skip to content

Releases: ge-high-assurance/OPAI

OP-based GSN Generator V1

02 Apr 16:00
Compare
Choose a tag to compare
Pre-release

This is a release of the OP based GSN generator developed within the RITE tool

Below is a brief tutorial for a prototype Windows release of the RITE tool with a functionality to generate Overarching Properties-based assurance cases in the Goal Structuring Notation (GSN) from the RACK curated database

Prerequsites:

  1. The prototype RITE tool release with the OP-based GSN functionality available here
  2. RACK docker (find tutorial here)
  3. The ingestion package provided here
  4. Java 17

Note: Kindly refer to the RITE Wiki for general details about RITE

Steps for using the tool:

  1. Start a RACK docker container
  2. Unzip the release available at https://github.com/ge-high-assurance/OPAI/releases/tag/gsn_v1
  3. Click on RITE

1

  1. Select a workspace

2

  1. Clear RACK

3

4

  1. Import the ingestion package

5 6

  1. Ingest the package

7 8

  1. Launch the Op GSN tool

9

  1. Specify a directory to store the outputs

10
and click Generate.

  1. The interactive tool will now populate with the GSN details. Click on different elements to drill down deepr into the GSN tree. The SVG GSN artifacts can befound in the directory that was specified.

11


Copyright (c) 2021-2024 General Electric Company

All Rights Reserved

This material is based upon work supported by the Federal Aviation Administration (FAA) under Contract No. 692M15-22-T-00012.

This website represents research work funded by the Federal Aviation Administration (FAA) and it is disseminated under the sponsorship of the U.S. Department of Transportation in the interest of information exchange. The U.S. Government assumes no liability for the contents or use thereof. The U.S. Government does not endorse products or manufacturers. Trade or manufacturers’ names appear herein solely because they are considered essential to the objective of this presentation/paper. The findings and conclusions are those of the author(s) and do not necessarily represent the views of the funding agency. This document does not constitute FAA policy.