Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)

Run-Time Assurance for Learning-Based Aircraft Taxiing

Abstract

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.

Year of Publication
2020
Conference Name
Digital Avionics Systems Conference
DOI
10.13140/RG.2.2.20148.68485