Track: Unmanned Aircraft Systems & Advanced Air Mobility (UAS/AAM) Sub-track 2c
Formal and Practical Elements for the Certification of Machine Learning
Jean-Guillaume Durand, Arthur Dubois, Robert J. Moss
Best Paper Awards
David Lubkowski Memorial for Advancement in Digital Avionics Best Paper Award
SPONSORED BY MITRE
Best of Track Awards
Track | Track Name | BOT Paper | Paper Title | Authors |
|---|---|---|---|---|
| 1a | Air Traffic Management Machine Learning & Automation (ATM) Sub-track 1a | 3047 | Machine Learning Airport Surface Model | William J. Coupe, Alexandre Amblard, Sarah Youlton, & Mathew Kistler |
| 1b | Air Traffic Management Machine Learning & Automation (ATM) Sub-track 1b | 3224 | Machine Learning Approach for Aircraft Performance Model Parameter Estimation for Trajectory Prediction Applications | Aida Sharif Rohani, Tejas G. Puranik, & Krishna M. Kalyanam |
| 2a | Unmanned Aircraft Systems & Advanced Air Mobility (UAS/AAM) Sub-track 2a | 3256 | Mission Planning for a Multiple-UAV Patrol System in an Obstructed Airport Environment | Ruifan Liu, Hyo-Sang Shin, & Antonios Tsourdos |
| 2b | Unmanned Aircraft Systems & Advanced Air Mobility (UAS/AAM) Sub-track 2b | 3334 | Simulating Safety and Efficiency Impacts of Airspace Constraints in U-Space Airspace | Antony Evans, Apurva Anand, Scot Campbell, Aris Anagnostou, & Stefano Tiberia |
| 2c | Unmanned Aircraft Systems & Advanced Air Mobility (UAS/AAM) Sub-track 2c | 3034 | Formal and Practical Elements for the Certification of Machine Learning Systems | Jean-Guillaume Durand, Arthur Dubois, & Robert J. Moss |
| 3 | Communications, Navigation, and Surveillance and Information Networks (CNS) | 3076 | Aireon Space Based Aircraft Position Validation And Multilateration Solution | John Dolan, Dr. Michael A. Garcia, & Dr. Giuseppe Sirigu |
| 4 | Cyber, Systems, and Software (CSS) | 3032 | Verifiable Computing in Avionics for Assuring Computer-Integrity without Replication | Johannes Reinhart, Bastian Luettig, Nicolas Huber, Julian Liedtke, & Bjoern Annighoefer |
| 5 | Integrated Modular Avionics (IMA) | 3090 | Safe Usage of Multi-Cores in Neural Network Avionics Applications | Robin Hapka, Anika Christmann, Rolf Ernst, Alexander Kuzolap, Peter Hecker, Marius Rockschies, Martin Halle, & Frank Thielecke |
| 6 | Human Factors, Space Systems & Special Topics (HF/SSST) | 3002 | Dry EEG-based Mental Workload Prediction for Aviation | Laura Salvan, Tanya S. Paul, & Alexandre Marois |
| 7 | Poster | 3196 | Implementation of an Automated Voice-Checklist in General Aviation Aircraft | Vedant Ruia, David H. Lee, Ty G. Mancao, & Karen F. Feigh |
Best of Session Awards
| Track | Session | Session Name | BOS Paper | Paper Title | Authors |
|---|---|---|---|---|---|
| 1a | A1L-A | Digital Team (ATCO, Aircrew) and Workload | 3042 | Applying the Assessment List for Trustworthy Artificial Intelligence on the Development of AI Supported Air Traffic Controller Operations | Thomas Stefani, Fotini Deligiannaki, Charles Berro, Mohsan Jameel, Robert Hunger, Carmen Bruder, Thomas Krüger |
| 1a | A2L-A | Aerodrome Operations | 3267 | Visual Approach Start Time Prediction for San Francisco Airport Using Machine Learning | Chris Brinton, Jon Cunningham, Brandon Chan, Alex Tennant, Steve Atkins, Chris Diprima |
| 1a | A3L-A | Arrival Management | 3077 | Multi-Agent Aircraft Estimated Time of Arrival Prediction in Terminal Airspace | Hong-Cheol Choi, Hyunsang Park, Chuhao Deng, Inseok Hwang |
| 1a | B1L-A | ATCO support | 3258 | A BERT-Based Intent Recognition and Slot Filling Joint Model for Air Traffic Control Instruction Understanding | Qihan Deng, Yang Yang, Xiaoxiao Zhang, Shengsheng Qian, Minghua Zhang, Kaiquan Cai |
| 1a | B2L-A | Enhancing Capacity | 3047 | Machine Learning Airport Surface Model | William Coupe, Alexandre Amblard, Sarah Youlton, Mathew Kistler |
| 1a | C1L-A | Flight Planning | 3062 | Flight Planning for HAPS ATM Integration | Andrés Arango Pérez, Ferdinand Behrend, Jürgen Lang, Michael Anger, Peter Hecker, Thomas Feuerle |
| 1a | C2L-A | Fuel Efficient Operations | 3095 | Data-Driven Models for Accurate Estimation of Fuel Consumption Using Deep Learning Techniques | Antonio Gracia-Berná, Rubén Vega Astorga, María Del Pozo, Javier López-Leonés |
| 1a | C3L-A | Information-centric Operation Concepts | 3059 | Airspace User-Air Traffic Control Information Exchange Using Mobile Devices to Enhance the Future Info-Centric National Airspace System | Joey Menzenski, Diane Baumgartner, Jillian Cheng, Paul Diffenderfer, John Helleberg, Amy Mykityshyn, Sara Wilkins |
| 1b | A2L-B | Safety Applications | 3127 | Detection and Analysis of Aviation Safety Events Using Historic Flight Data | Bae-Seon Park, Seong-Min Han, Hak-Tae Lee, Hyejin Lim, Haeyoon Byeon, Hyun-Jin Jung |
| 1b | A3L-B | Support for Higher Operational Performance | 3139 | Supporting Air Traffic Controllers in Handling Sector Specific Tasks, Enabled by the Use of the Boundary Arrival Task Manager | Rabeb Abdellaoui, Izabela Stasicka, Michael Finke, Andreas Pick, Nils Ahrenhold |
| 1b | B1L-B | Trajectory Characterisation and Optimisation | 3093 | Air Traffic Trajectory Clustering Using Procrustes Analysis | Anthony Chiaratti, Aaron McFadyen |
| 1b | B2L-B | Trajectory Prediction | 3224 | Machine Learning Approach for Aircraft Performance Model Parameter Estimation for Trajectory Prediction Applications | Aida Sharif Rohani, Tejas Puranik, Krishna Kalyanam |
| 1b | C1L-B | UAV/UAS/UTM | 3160 | Exploring Tower Control Strategies for Concurrent Manned and Unmanned Aircraft Management | Dominik Janisch, Pablo Sánchez-Escalonilla, José María Cervero, Ana Vidaller, Clark Borst |
| 2a | A2L-C | UAS Operations 1 | 3256 | Mission Planning for a Multiple-UAV Patrol System in an Obstructed Airport Environment | Ruifan Liu, Hyo-Sang Shin, Antonios Tsourdos |
| 2a | A3L-C | AAM Operations 1 | 3251 | Intelligent Vertiport Traffic Flow Management for Scalable Advanced Air Mobility Operations | Christopher Conrad, Yan Xu, Deepak Panda, Antonios Tsourdos |
| 2a | B1L-C | AAM Operations Analysis | 3018 | Safety and Capacity Analysis Framework for Integrated UAM Operation in Airports | Naomi Hani Gray, Suyoung Shin, Seokbin Yoon, Yulim Park, Hongah Chai, Keumjin Lee, Han-Joong Kim, Se-Yeon Jung |
| 2a | B2L-C | UAS Operations Analysis | 3145 | Logical Architecture of a U-Space Laboratory in Germany | Kevin Dwinger, Teemu Joonas Lieb |
| 2a | C1L-C | AAM Operations 2 | 3193 | Airspace Performance Observations of Scalable Autonomous Operations in a High Density Vertiplex Simulation | Gita Hodell, Madison Goodyear, Faisal Omar, Ashley Gomez, Abhinay Tiwari, Jeffrey Homola |
| 2a | C2L-C | AAM Case Studies | 3249 | Developing a Digital Twin for Testing Multi-Agent Systems in Advanced Air Mobility: A Case Study of Cranfield University and Airport | Christopher Conrad, Quentin Delezenne, Anurag Mukherjee, Ali Asgher Mhowwala, Mohammad Ahmed, Junjie Zhao, Yan Xu, Antonios Tsourdos |
| 2a | C3L-C | UAS Operations 2 | 3225 | Multi-Sensor Placement and Information Fusion Analysis to Enable Beyond Visual Line of Sight Operations for Small Uncrewed Aerial Vehicles | Ali Raz, Pedro Albuquerque, Jair Ferrari, Michael Hieb, Lance Sherry, Paulo Costa |
| 2a | C3L-D | AAM/UAS Trajectory Management | 3069 | Distributed Trajectory Management for Urban Air Mobility Operations with Ground-Based Edge Intelligence | Cheng Huang, Ivan Petrunin, Antonios Tsourdos |
| 2b | A2L-D | Detect-and-Avoid | 3064 | Assessing Helicopter Pilots’ Detect and Avoid and Collision Avoidance Performance with ACAS Xr | Conrad Rorie, Casey Smith, Megan Mitchell, Christian Schmitz |
| 2b | A3L-D | Safety and Certification 1 | 3175 | Scenario-Based Methods for Machine Learning Assurance | Manuel Hirschle, Dmitrii Kirov, Rosario Aievola, Stefano Sinisi, Serena Iovino, Jürgen Adamy |
| 2b | B1L-D | Collision Avoidance | 3239 | Remote ID for Separation Provision and Multi-Agent Navigation | Evgenii Vinogradov, Sai Bhargav Kumar, Franco Minucci, Sofie Pollin, Enrico Natalizio |
| 2b | B2L-D | UAS Detection | 3070 | Real-Time UAV and Payload Detection and Classification System Using Radar and Camera Sensor Fusion | Varun Mehta, Hamid Azad, Fardad Dadboud, Miodrag Bolic, Iraj Mantegh |
| 2b | C1L-D | Military Applications | 3290 | An Evolutionary Reinforcement Learning Approach for Autonomous Maneuver Decision in One-to-One Short-Range Air Combat | Yasin Baykal, Baris Baspinar |
| 2b | C2L-D | Safety and Certification 2 | 3334 | Simulating Safety and Efficiency Impacts of Airspace Constraints in U-Space Airspace | Antony Evans, Apurva Anand, Scot Campbell, Aris Anagnostou, Stefano Tiberia |
| 2c | A1L-E | UAS/AAM Landing Systems | 3012 | A Performance Characterization of AI Algorithms on Energy-Efficient Hardware with Applications to Robust Autonomous Landing | Antonio Gracia-Berná, Michael Hardt, Adriana Febles Rodríguez, Daniel Pereira, Pablo Losada, Sergio Peiteado, Enrique Romay, Álvaro Rodríguez, Javier Menéndez, Marcos López |
| 2c | A2L-E | UAS Navigation | 3181 | Design and Hardware-in-the-Loop Evaluation of a Time Dissemination Framework for Drone Operations in Urban Environments | Sorin Andrei Negru, Ivan Petrunin, Weisi Guo, Antonios Tsourdos |
| 2c | A3L-E | Human-Machine Teaming 1 | 3031 | A Methodology for Evaluating the Safety and Effectiveness of Alternative Crewing Arrangements for Next-Generation Remotely Piloted Aircraft Systems | Andrew Neal, Kayler Marshall, Penelope Sanderson, Timothy Ballard, Hector Palada, Christine Boag-Hodgson, Donna Duffy, Tristan Perez |
| 2c | B1L-E | UAS Path Planning | 3100 | Fixed-Wing UAV Path Planning and Collision Avoidance Using Nonlinear Model Predictive Control and Sensor-Based Cloud Detection | Jeremy Bertoncini, Adrian Dudek, Martin Russ, Matthias Gerdts, Peter Stütz |
| 2c | B2L-E | UAS Traffic Management Technolgies | 3212 | Development and Real-Flight Testing of Volume-Based Situation Awareness Technology for Integrated Reconnaissance Missions | Adriana Andreeva-Mori, Kohji Ohga, Kuniaki Ishida, Keiji Kobayashi, Ayano Yoshida, Noboru Takeichi |
| 2c | C1L-E | Human-Machine Teaming 2 | 3214 | Innovative Low-Cost Design of a Ground Control Station for Unmanned Aerial Systems Experimentation | Luca Garbarino, Nicola Genito, Gianluigi Di Capua, Riccardo Rocchio |
| 2c | C2L-E | Flight Technologies | 3130 | A Concept of Operations for Power Beaming of Electric Air Vehicles | Kapil Sheth, Seth Schisler, Todd Stinchfield, Robert Winsor, Hayden Klopp, Geoffrey Landis, Lee Kohlman, David Pike |
| 2c | C3L-E | Artificial Intelligence/Machine Learning | 3034 | Formal and Practical Elements for the Certification of Machine Learning Systems | Jean-Guillaume Durand, Arthur Dubois, Robert Moss |
| 3 | A1L-F | Surveillance Safety Services | 3052 | OpenSky Report 2023: Low Altitude Traffic Awareness for Light Aircraft with FLARM | Xavier Olive, Martin Strohmeier, Junzi Sun, Giorgio Tresoldi |
| 3 | A2L-F | Learned Based Methods for Navigation | 3291 | AI-Powered Vision-Aided Navigation and Ground Obstacles Detection for UAM Approach and Landing | Enrico Miccio, Paolo Veneruso, Giancarmine Fasano, Roberto Opromolla, Giacomo Gentile, Carlo Tiana |
| 3 | A3L-F | Communications | 3199 | Multi-Agent Deep Reinforcement Learning for Spectrum and Air Traffic Management in UAM with Resource Constraints | Rafael Apaza, Ruixuan Han, Hongxiang Li, Eric Knoblock |
| 3 | B2L-F | Cyber Security | 3168 | A “Man-in-the-Middle†Approach for Enhancing Legacy Safety-Critical Avionics Systems | Alejandro Gracia Bardají, Mª Isabel González García-Consuegra |
| 3 | C1L-F | Drone Communications and Security | 3104 | Authenticating Civil UAV Communications with Post-Quantum Digital Signatures | Ridwane Aissaoui, Jean-Christophe Deneuville, Christophe Guerber, Alain Pirovano |
| 3 | C1L-H | Performance Based Navigation and Technologies | 3066 | Advanced PBN Departure Procedures for Flight Operational Efficiency | David De Smedt, Ferdinand Behrend |
| 3 | C2L-F | Future Data Link LDACS | 3232 | L-DACs Mobility Management in ATN/IPS Network: Design, Prototyping, and Evaluation | Hao Yu, Shujing Wang, Yunlong Zhu, Tong Bai, Zhiqiang Dan, Zhipeng Wang, Yanbo Zhu |
| 3 | C2L-H | Navigation and Guidance | 3278 | Radar-Visual Navigation for All-Weather Approach and Landing to Vertiports | Paolo Veneruso, Enrico Miccio, Flavia Causa, Roberto Opromolla, Giancarmine Fasano, Luca Manica, Giacomo Gentile, Carlo Tiana |
| 3 | C3L-F | Surveillance Systems and Technologies | 3076 | Aireon Space Based Aircraft Position Validation and Multilateration Solution | John Dolan, Michael Garcia, Giuseppe Sirigu |
| 4 | A2L-G | AI/ML and Certification | 3277 | Runway Sign Classifier: A DAL C Certifiable Machine Learning System | Konstantin Dmitriev, Johann Schumann, Islam Bostanov, Mostafa Abdelhamid, Florian Holzapfel |
| 4 | A3L-G | AI/ML Computer Vision and V&V | 3198 | Machine Learning-Based Batch Processing for Calibration of Model and Noise Parameters | Kyuman Lee |
| 4 | B1L-G | Certification and Overarching Properties | 3303 | Computer-Aided Evaluation for Argument-Based Certification | Zamira Daw, Timothy Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Guoqiang Wang, Ryan Melville, Pierluigi Nuzzo |
| 4 | B2L-G | Formal Methods | 3301 | AACE: Automated Assurance Case Environment for Aerospace Certification | Zamira Daw, Chanwook Oh, Matthew Low, Timothy Wang, Isaac Amundson, Alessandro Pinto, Massimiliano Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo |
| 4 | C1L-G | Fault Detection | 3032 | Verifiable Computing in Avionics for Assuring Computer-Integrity Without Replication | Johannes Reinhart, Bastian Luettig, Nicolas Huber, Julian Liedtke, Bjoern Annighoefer |
| 4 | C2L-B | Cybersecurity 1 | 3061 | Don’t Panic. Analysing the Impact of Attacks on the Safety of Flight Management Systems | Luca Maria Castiglione, Philipp Stassen, Cora Lisa Perner, Daniel Patrick Pereira, Gustavo de Carvalho Bertoli, Emil Constantin Lupu |
| 4 | C2L-G | DO 178-C Compliance | 3161 | Automated DO-178C Compliance Summary Through Evidence Curation | Saswata Paul, Christopher Alexander, Michael Durling, Kit Siu, Daniel Prince, Baoluo Meng, Sarat Chandra Varanasi, Douglas Stuart |
| 4 | C3L-B | Cybersecurity 2 | 3292 | Adaptable Hardware Fingerprinting for Radio Data Links and Avionics Buses in Adversarial Settings | Simon Birnbach, Joshua Smailes, Richard Baker, Ivan Martinovic |
| 4 | C3L-G | Operating Environments for Aviation Software | 3195 | Insights from Preliminary Analysis of Local Cache Performance in COTS RTOS for Multi-Core Processors | William Vance, Michael Mott, Mark Wotell, Tuan Bui, John Ross |
| 5 | A1L-H | IMA Certification & Standards | 3103 | Model-Based IMA Platform Development and Certification Ecosystem | Yıldız Uludağ, Özleyiş Bayoğlu, Bülent Candan, Hakan Yılmaz |
| 5 | A2L-H | IMA Avionics Systems | 3173 | Using Autoencoders to Identify Aged, Faulty and Unknown Peripherals in the Adaptive IMA System | Bastian Luettig, Bjoern Annighoefer |
| 5 | A3L-H | IMA Development | 3109 | State-of-the-Art Technologies for Integrated Modular Avionics and the Way Ahead | Bojan Lukić, Alexander Ahlbrecht, Sven Friedrich, Umut Durak |
| 5 | B1L-H | IMA System Design | 3007 | Auto-Derivation of Functional Flow Block Diagrams from System Architecture Using the eSAM Method | Christopher Watkins, Jerry Varghese, Michael Knight, Becky Petteys, Jordan Ross, Josh Kahn |
| 5 | B2L-H | Multicore IMA | 3090 | Safe Usage of Multi-Cores in Neural Network Avionics Applications | Robin Hapka, Anika Christmann, Rolf Ernst, Alexander Kuzolap, Peter Hecker, Marius Rockschies, Martin Halle, Frank Thielecke |
| 6 | A1L-J | Air Traffic Control Human Factors | 3274 | Flow-Centric Air Traffic Control: Human in the Loop Simulation Experiment | Ahmad Sufian Bin Jumad, Koji Tominaga, Xin Yi Chua, Eri Itoh, Michael Schultz, Vu Nguyen Duong |
| 6 | A2L-J | Emergency Landing Support | 3138 | Aircraft Emergency Landing Site Selection: A Hierarchical Approach | David Nospes, Peter Stütz |
| 6 | A3L-J | Flight Deck Human Factors | 3123 | Pilot Controls for a Hybrid Turbine-Electric 17 Engine Aircraft | Tim Etherington, Trey Arthur |
| 6 | B1L-J | Modeling and Machine Learning | 3155 | HMI Design for Explainable Machine Learning Enhanced Risk Detection in Low-Altitude UAV Operations | Max Friedrich, Jari Küls, Marc Findeisen, Niklas Peinecke |
| 6 | B2L-J | Human Factors Analysis | 3002 | Dry EEG-Based Mental Workload Prediction for Aviation | Laura Salvan, Tanya Paul, Alexandre Marois |
| 6 | C1L-J | Human Factors with Sensor Processing | 3016 | Using Informative AI to Understand Camouflaged Object Detection and Segmentation | Debra Hogue, Timothy Sharp, Joseph Karch, Geoffrey Dolinger, Alexander Stringer, Lacey Schley, Adam Bowersox, Chris Weaver, Dean Hougen |
| 6 | C2L-J | Operator Support | 3106 | Collaborative Agents for Synthetic Tactical Training | Jiří Hanák, Peter Chudý, Jan Vlk |
| 7 | A4P-K | Poster 1 | 3170 | Prediction of Aircraft Delay at Busy Airport Considering Weather Information with Machine Learning Techniques | Kangmin Lee, Jisoo Kang, Zinmin Paing, Hojong Baik |
| 7 | A4P-L | Poster 2 | 3298 | Air-to-Air Simulated Drone Dataset for AI-Powered Problems | Hamid Azad, Varun Mehta, Fardad Dadboud, Miodrag Bolic, Iraj Mantegh |
| 7 | A4P-M | Poster 3 | 3255 | Case-Based Decision Making for Diversion Scenarios | Carlos Dolcinotti, Carlos Ribeiro, Paula Cerdeira |
| 7 | A4P-N | Poster 4 | 3196 | Implementation of an Automated Voice-Checklist in General Aviation Aircraft | Vedant Ruia, David Lee, Ty Mancao, Karen Feigh |