Flight Test of a Collision Avoidance Neural Network with Run-Time Assurance
Darren D. Cofer, Ramachandra J. Sattigeri, Isaac Amundson, Junaid Babar, Saqib Hasan, Eric W. Smith, Karthik Nukala, Denis Osipychev, Matthew A. Rothaus Moser, James L. Paunicka, Dragos D. Margineantu, Lucca Timmerman, Jordan Q. Stringfield · 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC) · 2022
Our team is developing assurance technologies that can support the use of machine learning in the design of safety-critical aircraft systems. These capabilities have been integrated on Boeing’s Autonomy Testbed Aircraft to show that they can provide evidence of correct operation and safety guarantees needed by real aircraft. We have applied run-time assurance along with formal methods synthesis, modeling, and analysis tools to an airborne collision avoidance system based on a neural network. This system was demonstrated in flight and shown to correctly monitor neural network operation and intervene when needed to prevent violation of the "remain well clear" safety requirement relative to an intruder aircraft.