ge-high-assurance/RITE

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Python
License
BSD 3-Clause "New...
Created over 1 year ago
Updated 2 months ago

ge-high-assurance/RITE

ge-high-assurance

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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

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