Run-Time Assurance for Learning-Based Aircraft Taxiing
Darren D. Cofer, Isaac Amundson, Ramachandra J. Sattigeri, Arjun Passi, Christopher M. Boggs, Eric W. Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam · 2020
Aircraft systems that include learning-enabled components (LECs) and their software implementations are not amenable to verification and certification using current methods. We have produced a demonstration of a run-time assurance architecture based on a neural network aircraft taxiing application that shows how several advanced technologies could be used to ensure safe operation.