ge-high-assurance/RACK

Stars
19
Rank 1,156,972 (Top 23 %)
Language
Python
License
BSD 3-Clause "New...
Created over 4 years ago
Updated about 2 months ago

ge-high-assurance/RACK

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 Rapid Assurance Curation Kit (RACK)

VERDICT

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

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

RITE

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

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