Run-Time Assurance for Learning-Based Aircraft Taxiing

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 t...

Full description

Saved in:

Bibliographic Details
Published in:	2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) pp. 1 - 9
Main Authors:	Cofer, Darren, Amundson, Isaac, Sattigeri, Ramachandra, Passi, Arjun, Boggs, Christopher, Smith, Eric, Gilham, Limei, Byun, Taejoon, Rayadurgam, Sanjai
Format:	Conference Proceeding
Language:	English
Published:	IEEE 11-10-2020
Subjects:	Aircraft Atmospheric modeling Cameras Computer architecture Global Positioning System machine learning Monitoring run-time assurance Safety
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	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.
ISSN:	2155-7209
DOI:	10.1109/DASC50938.2020.9256581