Skip to content
@ge-high-assurance

GE High Assurance Software

The High Assurance Systems team at GE Aerospace Research is developing technology and tools to support trust in software intensive critical infrastructure.

Pinned Loading

  1. VERDICT VERDICT Public

    DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

    Java 41 14

  2. RACK RACK Public

    DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)

    Python 20 6

  3. RITE RITE Public

    DARPA's Automated Rapid Certification of Software (ARCOS) project called RITE (RACK Integrated CerTification Environment)

    Python 4 1

Repositories

Showing 10 of 15 repositories
  • RITE Public

    DARPA's Automated Rapid Certification of Software (ARCOS) project called RITE (RACK Integrated CerTification Environment)

    ge-high-assurance/RITE’s past year of commit activity
    Python 4 BSD-3-Clause 1 26 11 Updated Jan 31, 2025
  • RACK Public

    DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)

    ge-high-assurance/RACK’s past year of commit activity
    Python 20 BSD-3-Clause 6 83 7 Updated Dec 16, 2024
  • VERDICT Public

    DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

    ge-high-assurance/VERDICT’s past year of commit activity
    Java 41 BSD-3-Clause 14 8 10 Updated Aug 22, 2024
  • VERDICT-update-sites Public

    Update sites for VERDICT plugin

    ge-high-assurance/VERDICT-update-sites’s past year of commit activity
    1 BSD-3-Clause 0 0 0 Updated May 27, 2024
  • OPAI Public

    Results from program Safety Assurance in Complex Aerospace Digital Systems that include AI/ML, funded by the FAA

    ge-high-assurance/OPAI’s past year of commit activity
    Java 1 BSD-3-Clause 0 0 0 Updated May 1, 2024
  • OYSTER Public

    PrOof Engineering for SYSTEm ARchitecture Design Model (OYSTER)

    ge-high-assurance/OYSTER’s past year of commit activity
    Java 0 0 0 0 Updated Sep 14, 2023
  • sadl-snapshot-repository Public

    Snapshot versions of SADLServer and Reasoner dependencies

    ge-high-assurance/sadl-snapshot-repository’s past year of commit activity
    1 EPL-2.0 0 0 0 Updated May 15, 2023
  • verdict-snapshot-repository Public

    VERDICT libraries

    ge-high-assurance/verdict-snapshot-repository’s past year of commit activity
    0 0 0 0 Updated May 5, 2023
  • flight-readiness-asp Public
    ge-high-assurance/flight-readiness-asp’s past year of commit activity
    Prolog 1 0 0 0 Updated Jul 21, 2022
  • RACK-Turnstile-Example Public
    ge-high-assurance/RACK-Turnstile-Example’s past year of commit activity
    0 BSD-3-Clause 0 0 1 Updated May 16, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…