Releases: ge-high-assurance/OPAI
OP-based GSN Generator V1
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:
- The prototype RITE tool release with the OP-based GSN functionality available here
- RACK docker (find tutorial here)
- The ingestion package provided here
- Java 17
Note: Kindly refer to the RITE Wiki for general details about RITE
Steps for using the tool:
- Start a RACK docker container
- Unzip the release available at https://github.com/ge-high-assurance/OPAI/releases/tag/gsn_v1
- Click on RITE
- Select a workspace
- Clear RACK
- Import the ingestion package
- Ingest the package
- Launch the Op GSN tool
- Specify a directory to store the outputs
and click Generate.
- 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.
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.