Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

ge-high-assurance

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
@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.

PinnedLoading

  1. VERDICTVERDICTPublic

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

    Java 41 14

  2. RACKRACKPublic

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

    Python 20 6

  3. RITERITEPublic

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

    Java 4 1

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 16 repositories
  • HEPS Public

    Hybrid-Electric Propulsion Models

    ge-high-assurance/HEPS’s past year of commit activity
    0BSD-3-Clause0 0 0 UpdatedMar 15, 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 20BSD-3-Clause 6 83 7 UpdatedMar 13, 2025
  • 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
    Java 4BSD-3-Clause 1 21 15 UpdatedMar 3, 2025
  • 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 41BSD-3-Clause 14 8 10 UpdatedAug 22, 2024
  • VERDICT-update-sites Public

    Update sites for VERDICT plugin

    ge-high-assurance/VERDICT-update-sites’s past year of commit activity
    1BSD-3-Clause0 0 0 UpdatedMay 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 1BSD-3-Clause0 0 0 UpdatedMay 1, 2024
  • OYSTER Public

    PrOof Engineering for SYSTEm ARchitecture Design Model (OYSTER)

    ge-high-assurance/OYSTER’s past year of commit activity
    Java00 0 0 UpdatedSep 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
    1EPL-2.00 0 0 UpdatedMay 15, 2023
  • verdict-snapshot-repository Public

    VERDICT libraries

    ge-high-assurance/verdict-snapshot-repository’s past year of commit activity
    00 0 0 UpdatedMay 5, 2023
  • ge-high-assurance/flight-readiness-asp’s past year of commit activity
    Prolog 10 0 0 UpdatedJul 21, 2022

People

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

Top languages

Loading…

Most used topics

Loading…

[8]ページ先頭
©2009-2025 Movatter.jp