ge-high-assurance / RITE

DARPA's Automated Rapid Certification of Software (ARCOS) project called RITE (RACK Integrated CerTification Environment)
BSD 3-Clause "New" or "Revised" License
3 stars 1 forks source link

Create public OEM use case for ARP4754 prototype #138

Closed pauls4GE closed 10 months ago

pauls4GE commented 11 months ago

Need to create an OEM use case to demo the ARP4754 toolchain

Refer to this MBSE issue for guidelines

pauls4GE commented 11 months ago

TODO: (SCRAPPED. THIS WILL NOT BE REALISTIC)

pauls4GE commented 11 months ago

TODO: