Demonstrate RACK with Boeing code base

ge-high-assurance / RACK

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

BSD 3-Clause "New" or "Revised" License

19 stars 6 forks source link

Demonstrate RACK with Boeing code base #148

Closed kityansiu closed 3 years ago

kityansiu commented 4 years ago

After we get Boeing's code base, some initial RACK demonstration ideas include:

ingest with our script
share the .csv files with TA1s
others?

glguy commented 3 years ago

I'm going to try and apply our Ada tools to this and see how far we get. There's an outstanding question about access to more build information, but we can start looking at the .ada files.

kityansiu commented 3 years ago

First set of data extracted and ingested into v5. Will open another another issue if there's more that can be extracted out of the Boeing code base.