Run-Time Assurance for Learning-Based Aircraft Taxiing
Darren Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric W. Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam
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.
Topics & Concepts
CertificationComputer scienceImplementationArtificial neural networkArchitectureSoftwareSystems engineeringArtificial intelligenceSoftware engineeringEngineeringOperating systemPolitical scienceVisual artsLawArtAdversarial Robustness in Machine LearningFormal Methods in VerificationSoftware Reliability and Analysis Research