Explore @ge-high-assurance Open Source projects

GE High Assurance Software (@ge-high-assurance)

ge-high-assurance

Stars
72
Global Org. Rank 67,378 (Top 22 %)
Registered over 5 years ago
Most used languages

OCaml
28.6 %

Java
28.6 %

Python
28.6 %

Prolog
14.3 %
Location 🇺🇸 United States
Country Total Rank 58,359
Country Ranking

Prolog
242

OCaml
340

Java
4,254

VERDICT

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

RACK

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

SOTERIA

An automated way to synthesize safety-informed architectures

RITE

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

safety-analysis

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

flight-readiness-asp

OPAI

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

VERDICT-update-sites

Update sites for VERDICT plugin

sadl-snapshot-repository

Snapshot versions of SADLServer and Reasoner dependencies