CP 3.2 End to End demo Video #2: 1x intruder, 1x static object with Run Time Assurance

[cslockett]

Storyboard Configuration

• 1x F16
• 1x F16 intruder, Non-Adversarial, non-cooperative , fixed course and speed (2D only)(TBD perhaps have intruder make one CA maneuver?). TODO REVIEW
• 1x static ballon/keep out region (select mountain in the flight gear terrain data base)
• ACAS-Xu auto pilot, FITRE trained inner loop LEC
• Configure flight gear to visualize a perspective view that can observe intruder, balloon and F-16
• RTA integrated into CSAF

Use "f16-acas-constrained-bopt.ipynb" t0 = initial condition, F16 will “Lose Well Clear” @ time tx tx = CSAF computes trajectory and “Loss of Well Clear” triggers the Collision Avoidance threshold tx+1= ACAS Xu LEC computes Collision Avoidance Maneuver (CAM) with RTA to “regain Well Clear” Success “Remain Well Clear” Optional: Demonstrate F-16 returns to "mission way point"

[podhrmic]

Done, videos are on shared Gdrive, and code to generate more videos is here: https://github.com/GaloisInc/csaf/blob/no-merge-with-fg/new_csaf/notebooks/f16-acas-constrained-bopt.ipynb