Repositories list

• RITE

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

  eclipse-idecertificationassurance-case

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •1•4•29•9•Updated Jan 17, 2025Jan 17, 2025

• RACK

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

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •6•20•83•7•Updated Dec 16, 2024Dec 16, 2024

• VERDICT

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

  fault-treemodel-checkingattack-defense+ 4system-engineeringcyber-resiliencybehavioral-analysisarchitecture-analysis

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •14•41•8•10•Updated Aug 22, 2024Aug 22, 2024

• VERDICT-update-sites

  Public
  Update sites for VERDICT plugin

  BSD 3-Clause "New" or "Revised" License

  •0•1•0•0•Updated May 27, 2024May 27, 2024

• OPAI

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

  machine-learningvalidationdata-model+ 9machine-learning-algorithmsverificationontologyartificial-intelligenceartificial-neural-networksintelligent-systemsintelligent-transportation-systems+ 2

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •0•1•0•0•Updated May 1, 2024May 1, 2024

• OYSTER

  Public
  PrOof Engineering for SYSTEm ARchitecture Design Model (OYSTER)

  Java

  •

  Other

  •0•0•0•0•Updated Sep 14, 2023Sep 14, 2023

• sadl-snapshot-repository

  Public
  Snapshot versions of SADLServer and Reasoner dependencies

  Eclipse Public License 2.0

  •0•1•0•0•Updated May 15, 2023May 15, 2023

• verdict-snapshot-repository

  Public
  VERDICT libraries

  0•0•0•0•Updated May 5, 2023May 5, 2023

• flight-readiness-asp

  Public
  Prolog

  •0•1•0•0•Updated Jul 21, 2022Jul 21, 2022

• RACK-Turnstile-Example

  Public
  BSD 3-Clause "New" or "Revised" License

  •0•0•0•1•Updated May 16, 2022May 16, 2022

• ge-high-assurance.github.io

  Public
  0•0•1•0•Updated Nov 24, 2021Nov 24, 2021

• assurance-case

  Public
  HTML

  •0•0•0•0•Updated Jun 28, 2020Jun 28, 2020

• High-Assurance-Systems-Projects

  Public
  Brief descriptions of GE High Assurance Systems research team projects.

  0•0•0•0•Updated Apr 23, 2020Apr 23, 2020

• SOTERIA

  Public
  An automated way to synthesize safety-informed architectures

  OCaml

  •

  Other

  •0•4•0•0•Updated May 10, 2019May 10, 2019

• safety-analysis

  Public
  A model-based framework for modeling, visualizing, and analyzing the safety of system architectures

  OCaml

  •

  Other

  •2•3•0•0•Updated May 10, 2019May 10, 2019