ge-high-assurance Goto Github PK

Name: GE High Assurance Software

Type: Organization

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

Location: Niskayuna, NY

Blog: https://www.ge.com/research/

GE High Assurance Software's Projects

assurance-case

flight-readiness-asp

ge-high-assurance.github.io

high-assurance-systems-projects

Brief descriptions of GE High Assurance Systems research team projects.

opai

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

oyster

PrOof Engineering for SYSTEm ARchitecture Design Model (OYSTER)

rack

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

rack-turnstile-example

rite

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

sadl-snapshot-repository

Snapshot versions of SADLServer and Reasoner dependencies

safety-analysis

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

soteria

An automated way to synthesize safety-informed architectures

verdict

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