ASE Paper Tasks - Githubissues

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

Open pauls4GE opened 2 weeks ago

pauls4GE commented 2 weeks ago

TODO:

pauls4GE commented 2 weeks ago

Issue: Main branch of RITE has issues while Loading Target Platform in Eclipse after Maven Build

Therfore, created a new branch ase and merged v0.7.0 to arp4754-plantool

pauls4GE commented 1 week ago

ADD HEPS USE CASE TO PAPER

[x] Isolate working HEPS package - the HEPS packages created for the DARPA demo won't work for a non-hardcoded ARP4754A tool since the entities are not connected properly (a hacked version of the tool was used for the DARPA demo)
- [x] Fix the package - use SADL so that the connections can be manipulated
[ ] Add to paper for ARP tool
[x] Try to create GSN patterns
[ ] Add to paper for GSN tool