ge-high-assurance/sadl-snapshot-repository ge-high-assurance/sadl-snapshot-repository

  • Stars
    star
    1
  • Language
  • License
    Eclipse Public Li...
  • Created about 5 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ge-high-assurance/sadl-snapshot-repository
github

ge-high-assurance

Reviews

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

Repository Details

Snapshot versions of SADLServer and Reasoner dependencies

More Repositories

1

VERDICT

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

RACK

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

SOTERIA

An automated way to synthesize safety-informed architectures
OCaml
4
star
4

RITE

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

safety-analysis

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

flight-readiness-asp

Prolog
1
star
7

OPAI

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

VERDICT-update-sites

Update sites for VERDICT plugin
1
star