Search results

Integrating RACK CLI within RITE

Status: Open.

#244 In ge-high-assurance/RITE;

· saratge opened on Feb 7, 2025

DASC2023_Prototype RITE release freezes under Linux when "DO-178C Compliance Report" button is clicked.

Status: Open.

#213 In ge-high-assurance/RITE;

· hnine999 opened on Jul 13, 2024

Connect some formal methods backends to RITE for analyses

Status: Open.

#210 In ge-high-assurance/RITE;

· pauls4GE opened on Jun 21, 2024

ASE Paper Tasks

Status: Open.

#207 In ge-high-assurance/RITE;

· pauls4GE opened on Jun 18, 2024

Instructions for creating queries for the ARP 4754 Tool

Status: Open.

#172 In ge-high-assurance/RITE;

· pauls4GE opened on Feb 19, 2024

Steps to launch GSN Assurance Case Report in RITE

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#163 In ge-high-assurance/RITE;

· saratge opened on Dec 21, 2023

Recursive query synthesis functionality for Reports and GSN

Status: Open.

#153 In ge-high-assurance/RITE;

· pauls4GE opened on Nov 28, 2023

Add automatic query generation to the ARP4754 tool

medium-priority

research

Status: Open.

#150 In ge-high-assurance/RITE;

· pauls4GE opened on Nov 8, 2023

Integrate JavaFX Views into Eclipse Views

medium-priority

Status: Open.

#139 In ge-high-assurance/RITE;

· pauls4GE opened on Oct 6, 2023

Integrate SMT solvers in the GSN pipeline

enhancementNew feature or requestNew feature or request

Status: Open.

#136 In ge-high-assurance/RITE;

· pauls4GE opened on Oct 2, 2023

Investigate the use of SHACL for DO178C/Arp4754

Status: Open.

#128 In ge-high-assurance/RITE;

· pauls4GE opened on Sep 14, 2023

Develop a generic reporting feature on RITE (with Galois's help)

Status: Open.

#127 In ge-high-assurance/RITE;

· pauls4GE opened on Sep 13, 2023