Submitted:
19 March 2025
Posted:
20 March 2025
You are already at the latest version
Abstract

Keywords:
1. Introduction
2. State of the Art
2.1. The W-Shaped Process for AI-Based Applications
2.2. DevOps and Traditional Software Development
2.3. Differences in Philosophy Between the W-Shaped Process and the DevOps Cycle
3. Current Challenges in AI Engineering for Aviation
4. Extension Potential of the W-Shaped Process


5. Improving upon the W-Shaped Process
5.1. Concept of Operations, Operational Domain, and Operational Design Domain
5.2. Operations Phase
| DAL | Failure Condition | Failure Rate | Effect on Aircraft | Effect on Passengers |
|---|---|---|---|---|
| A | Catastrophic | <10−9 h−1 | Normally hull loss | Multiple fatalities |
| B | Hazardous | <10−7 h−1 | Large reduction in capabilities | Some fatalities |
| C | Major | <10−5 h−1 | Significant reduction in capabilities | Possibly injuries |
| D | Minor | <10−3 h−1 | Slight reduction in capabilities | Physical discomfort |
| E | No Safety Effect | N/A | No effect | Inconvenience |
| Level | Scope | Sublevel | Description |
|---|---|---|---|
| 1 | Assistance to Human | A | Human Augmentation |
| B | Human Cognitive Assistance in Decision and Action Selection | ||
| 2 | Human-AI Teaming | A | Human and AI-based System Cooperation |
| B | Human and AI-based System Collaboration | ||
| 3 | Advanced Automation | A | The AI-based system makes decisions and performs actions, safeguarded by the human. |
| B | The AI-based system makes non-supervised decisions and performs non-supervised actions. |
5.3. Proposition of the Novel Framework

6. Compatibility to the Machine Learning Development Lifecycle
7. Discussion
8. Conclusions
Author Contributions
Funding
Conflicts of Interest
Abbreviations
| ACAS | Airborne Collision Avoidance System |
| ADS | Automated Driving System |
| AI | Artificial Intelligence |
| CI/CD | Continuous Integration and Continuous Deployment |
| ConOps | Concept of Operations |
| DAL | Development Assurance Level |
| DevOps | Development Operations |
| DevSecOps | Development Security Operations |
| EASA | European Union Aviation Safety Agency |
| EUROCAE | European Organization for Civil Aviation Equipment |
| HTL | Human-in-the-Loop |
| IFE | In-Flight Entertainment |
| ISO | International Organization for Standardization |
| ML | Machine Learning |
| MLDL | Machine Learning Development Lifecycle |
| MLOps | Machine Learning Operations |
| OD | Operational Domain |
| ODD | Operational Design Domain |
| SAE | Society of Automobile Engineers |
| SafeOps | Safety Operations |
| V&V | Verification and Validation |
References
- Bello, H.; Geißler, D.; Ray, L.; Müller-Divéky, S.; Müller, P.; Kittrell, S.; Liu, M.; Zhou, B.; Lukowicz, P. Towards certifiable AI in aviation: landscape, challenges, and opportunities. [CrossRef]
- Johansson, C. The V-Model. Technical report, University of Karlskrona/Ronneby, 1999.
- Namiot, D.; Sneps-Sneppe, M. On Audit and Certification of Machine Learning Systems. In Proceedings of the 2023 34th Conference of Open Innovations Association (FRUCT), Riga, Latvia; 11 2023; pp. 114–124. [Google Scholar] [CrossRef]
- Namiot, D.; Ilyushin, E. On Certification of Artificial Intelligence Systems. Physics of Particles and Nuclei 2024, 55, 343–346. [Google Scholar] [CrossRef]
- European Union Aviation Safety Agency (EASA). Artificial Intelligence Roadmap 2.0. techreport, European Union Aviation Safety Agency (EASA), Postfach 10 12 53, 50452 Cologne, Germany, 2023.
- European Union Aviation Safety Agency (EASA). EASA Concept Paper: Guidance for Level 1 & 2 Machine Learning Applications. techreport, European Union Aviation Safety Agency (EASA), Postfach 10 12 53, 50452 Cologne, Germany, 2024.
- Vairo, T.; Pettinato, M.; Reverberi, A.P.; Milazzo, M.F.; Fabiano, B. An approach towards the implementation of a reliable resilience model based on machine learning. Process Safety and Environmental Protection 2023, 172, 632–641. [Google Scholar] [CrossRef]
- de Grancey, F.; Gerchinovitz, S.; Alecu, L.; Bonnin, H.; Dalmau, J.; Delmas, K.; Mamalet, F. On the Feasibility of EASA Learning Assurance Objectives for Machine Learning Components. In Proceedings of the 12th European Congress on Embedded Real Time Software and Systems (ERTS), Toulouse, France, 06 2024; ERTS2024; pp. 1–11, Best paper award at ERTS 2024. [Google Scholar]
- Gabreau, C.; Pesquet-Popescu, B.; Lefevre, B. AI for Future Skies: On-going standardization activities to build the next certification/approval framework for airborne and ground aeronautical products. In Proceedings of the Proceedings of the Workshop on Artificial Intelligence Safety 2021, Virtual, 08 2021; Vol. 2961, pp. 1–7.
- G34/WG-114 Standardization Working Group. Chapter 6 of AS6983/ED-XXX standard DRAFT 2: Machine Learning Development Lifecycle (MLDL). Technical report, European Organization for Civil Aviation Equipment (EUROCAE) and SAE International, 2021.
- Zaeske, W.; Durak, U. DevOps for Airborne Software: Exploring Modern Approaches; Springer International Publishing, 2022. [CrossRef]
- Stefani, T.; Anilkumar Girija, A.; Mut, R.; Hallerbach, S.; Krüger, T. From the Concept of Operations towards an Operational Design Domain for safe AI in Aviation. In Proceedings of the DLRK 2023, Stuttgart, Germany; 09 2023; pp. 1–8. [Google Scholar]
- Anilkumar Girija, A.; Stefani, T.; Mut, R.; Krüger, T.; Durak, U. Using Operational Design Domain for Safe AI in Urban Air Mobility. In Proceedings of the ASAM International Conference 2022, Dresden, Germany; 11 2022; pp. 1–13. [Google Scholar]
- Stefani, T.; Deligiannaki, F.; Berro, C.; Jameel, M.; Hunger, R.; Bruder, C.; Krüger, T. Applying the Assessment List for Trustworthy Artificial Intelligence on the development of AI supported Air Traffic Controller Operations. In Proceedings of the 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC); Folkerts, C., Ed., Barcelona, Spain, 10 2023; Vol. 2; pp. 1–9. [Google Scholar] [CrossRef]
- SAE International. Taxonomy & Definitions for Operational Design Domain (ODD) for Driving Automation Systems: J3259. Technical Report J3259, SAE International, 2021.
- ISO. ISO 34503: Road Vehicles – Test scenarios for automated driving systems – Specification for operational design domain; Beuth Verlag: Berlin, 2023. [Google Scholar]
- Rabe, M.; Milz, S.; Mader, P. Development Methodologies for Safety Critical Machine Learning Applications in the Automotive Domain: A Survey. In Proceedings of the Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) Workshops, 06 2021, pp. 129–141. [CrossRef]
- Mamalet, F.; Jenn, E.; Flandin, G.; Delseny, H.; Gabreau, C.; Gauffriau, A.; Beaudouin, B.; Ponsolle, L.; Alecu, L.; Bonnin, H.; et al. White Paper Machine Learning in Certified Systems. Research report, IRT Saint Exupéry ; ANITI, 2021.
- Boehm, B.W. Verifying and Validating Software Requirements and Design Specifications. IEEE Software 1984, 1, 75–88. [Google Scholar] [CrossRef]
- European Union Aviation Safety Agency (EASA). Artificial Intelligence Roadmap 1.0. techreport, European Union Aviation Safety Agency (EASA), Postfach 10 12 53, 50452 Cologne, Germany, 2020.
- European Union Aviation Safety Agency (EASA). EASA Concept Paper: First usable guidance for Level 1 machine learning applications. techreport, European Union Aviation Safety Agency (EASA), Postfach 10 12 53, 50452 Cologne, Germany, 2021.
- United States. Navy Mathematical Computing Advisory Panel and United States. Office of Naval Research. Symposium on Advanced Programming Methods for Digital Computers: Washington, D.C., June 28, 29, 1956; Vol. VI, ONR symposium report, Office of Naval Research, Department of the Navy, 1956; pp. 1–83.
- Royce, W.W. Managing the development of large software systems: concepts and techniques. In Proceedings of the Proceedings of the 9th International Conference on Software Engineering, Monterey, California, USA, 03 1987; ICSE ’87, pp. 328–338.
- SAE International. Guidelines for Development of Civil Aircraft and Systems (ARP4754B). Technical Report ARP4754B, SAE International, 2023. [CrossRef]
- Spillner, A. The W-MODEL–Strengthening the Bond Between Development and Test. In Proceedings of the STAREAST 2002 – Software Testing Conference, 12 1999, pp. 1–9.
- Benz, S. Eine Entwicklungsmethodik für sicherheitsrelevante Elektroniksysteme im Automobil. phdthesis, Universität Karlsruhe, 2004.
- Kirpitsas, I.K.; Pachidis, T.P. Evolution towards Hybrid Software Development Methods and Information Systems Audit Challenges. Software 2022, 1, 316–363. [Google Scholar] [CrossRef]
- Jin-hua, L.; Qiong, L.; Jing, L. The W-Model for Testing Software Product Lines. In Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, Shanghai, China, 12 2008; Vol. 1; pp. 690–693. [Google Scholar] [CrossRef]
- Lau, K.K.; Taweel, F.M.; Tran, C.M. The W Model for Component-Based Software Development. In Proceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, Oulu, Finland, 08 2011; pp. 47–50. [CrossRef]
- EASA and Daedalean. Concepts of Design Assurance for Neural Networks (CoDANN). resreport, European Union Aviation Safety Agency (EASA), 2020.
- EASA and Daedalean. Concepts of Design Assurance for Neural Networks (CoDANN) II with appendix B. resreport, European Union Aviation Safety Agency (EASA), 2024.
- MLEAP Consortium. EASA Research – Machine Learning Application Approval (MLEAP) Final Report. techreport 1, European Union Aviation Safety Agency (EASA), 2024.
- Swamidass, P.M., Ed., Heavyweight Project Organization. In Encyclopedia of Production and Manufacturing Management; Swamidass, P.M., Ed.; Springer US: Boston, MA, 2000; chapter 398, pp. 261–262. [CrossRef]
- Lwakatare, L.E.; Kuvaja, P.; Oivo, M. Dimensions of DevOps. In Proceedings of the Agile Processes in Software Engineering and Extreme Programming; Lassenius, C.; Dingsøyr, T.; Paasivaara, M., Eds., Helsinki, Finland, 05 2015; Vol. 212, pp. 212–217. [CrossRef]
- Beck, K.; Beedle, M.; van Bennekum, A.; Cockburn, A.; Cunningham, W.; Fowler, M.; Grenning, J.; Highsmith, J.; Hunt, A.; Jeffries, R.; et al. Manifesto for Agile Software Development, 2001.
- Nerur, S.; Mahapatra, R.; Mangalaraj, G. Challenges of migrating to agile methodologies. Communications of the ACM 2005, 48, 72–78. [Google Scholar] [CrossRef]
- Gokarna, M.; Singh, R. DevOps: A Historical Review and Future Works. In Proceedings of the 2021 International Conference on Computing, Communication, and Intelligent Systems (ICCCIS). IEEE 02 2021; pp. 366–371. [Google Scholar] [CrossRef]
- Hüttermann, M. DevOps for Developers; Apress Berkeley, CA, 2012; pp. 1–176. [CrossRef]
- Rodríguez, C.A.; Molinari, L.H.; Díaz, F.J. The hard way to virtual machine administration: towards DevOps. A Bridge between Developers and IT Operators. Journal of Computer Science and Technology 2018, 13, 118–122. [Google Scholar]
- Ebert, C.; Gallardo, G.; Hernantes, J.; Serrano, N. DevOps. IEEE Software 2016, 33, 94–100. [Google Scholar] [CrossRef]
- Kugele, S.; Broy, M. Architecture as a Backbone for Safe DevOps in Automotive Systems. In Proceedings of the 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC), Macau, China, 10 2022; pp. 4145–4150. [CrossRef]
- Babu, M.R.; Priya, K.R.; Harshitha, M.N.; Krishna, M.A.S.; Fayaz, S. DevOps Transformation for Enhanced Airline Booking System. In Proceedings of the 2024 3rd International Conference on Applied Artificial Intelligence and Computing (ICAAIC), Salem, India, 06 2024; pp. 1152–1155. [CrossRef]
- Hasselbring, W.; Henning, S.; Latte, B.; Mobius, A.; Richter, T.; Schalk, S.; Wojcieszak, M. Industrial DevOps. In Proceedings of the 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), Hamburg, Germany, 03 2019; pp. 123–126. [CrossRef]
- App, T.; Voth, N.; Sauter, G.; Stefani, T.; Anilkumar Girija, A.; Krüger, T. An Agile Framework for Developing AI Applications in Safety Critical Systems. In Proceedings of the Deutscher Luft- und Raumfahrtkongress (DLRK) 2024, Hamburg, Germany, 10 2024; pp. 1–9.
- de Bayser, M.; Azevedo, L.G.; Cerqueira, R. ResearchOps: The case for DevOps in scientific applications. In Proceedings of the 2015 IFIP/IEEE International Symposium on Integrated Network Management (IM), Ottawa, ON, Canada, 05 2015; pp. 1398–1404. [CrossRef]
- Lwakatare, L.E.; Crnkovic, I.; Bosch, J. DevOps for AI – Challenges in Development of AI-enabled Applications. In Proceedings of the 2020 International Conference on Software, Telecommunications and Computer Networks (SoftCOM), Split, Croatia, 09 2020; pp. 1–6. [CrossRef]
- Alla, S.; Adari, S.K. Beginning MLOps with MLFlow: Deploy Models in AWS SageMaker, Google Cloud, and Microsoft Azure; Apress Berkeley, CA, 2021; pp. 1–330. [CrossRef]
- Matsui, B.M.A.; Goya, D.H. MLOps: five steps to guide its effective implementation. In Proceedings of the Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI, Pittsburgh, Pennsylvania, 05 2022; CAIN ’22, pp. 33–34. [CrossRef]
- Kreuzberger, D.; Kühl, N.; Hirschl, S. Machine Learning Operations (MLOps): Overview, Definition, and Architecture. IEEE Access 2023, 11, 31866–31879. [Google Scholar] [CrossRef]
- Fayollas, C.; Bonnin, H.; Flebus, O. SafeOps: A Concept of Continuous Safety. In Proceedings of the 2020 16th European Dependable Computing Conference (EDCC), Munich, Germany, 09 2020; pp. 65–68. [CrossRef]
- Rajapakse, R.N.; Zahedi, M.; Babar, M.A.; Shen, H. Challenges and solutions when adopting DevSecOps: A systematic review. Information and Software Technology 2022, 141, 1–22. [Google Scholar] [CrossRef]
- Cimini, C.; Pirola, F.; Pinto, R.; Cavalieri, S. A human-in-the-loop manufacturing control architecture for the next generation of production systems. Journal of Manufacturing Systems 2020, 54, 258–271. [Google Scholar] [CrossRef]
- Mosqueira-Rey, E.; Hernández-Pereira, E.; Alonso-Ríos, D.; Bobes-Bascarán, J.; Fernández-Leal, Á. Human-in-the-loop machine learning: a state of the art. Artificial Intelligence Review 2022, 56, 3005–3054. [Google Scholar] [CrossRef]
- Ullrich, D.; Butz, A.; Diefenbach, S. The Development of Overtrust: An Empirical Simulation and Psychological Analysis in the Context of Human–Robot Interaction. Frontiers in Robotics and AI 2021, 8, 1–15. [Google Scholar] [CrossRef] [PubMed]
- Gaidon, A.; Wang, Q.; Cabon, Y.; Vig, E. Virtual Worlds as Proxy for Multi-Object Tracking Analysis. In Proceedings of the Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 06 2016, pp. 4340–4349.
- Stepien, L.; Hallerbach, S.; Koster, F. Accelerating Simulation-Enabled Engineering. In Proceedings of the 2022 IEEE International Symposium on Systems Engineering (ISSE), Vienna, Austria, 10 2022; pp. 1–8. [CrossRef]
- Stefani, T.; Christensen, J.M.; Hoemann, E.; Anilkumar Girija, A.; Köster, F.; Krüger, T.; Hallerbach, S. Applying Model-Based System Engineering and DevOps on the Implementation of an AI-based Collision Avoidance System. In Proceedings of the 34th Congress of the International Councilof the Aeronautical Sciences (ICAS), Florence, Italy, 09 2024; pp. 1–12.
- Jia, Y.; Hoyer, L.; Huang, S.; Wang, T.; Van Gool, L.; Schindler, K.; Obukhov, A. DGInStyle: Domain-Generalizable Semantic Segmentation with Image Diffusion Models and Stylized Semantic Control. In Proceedings of the Computer Vision – ECCV 2024, Cham, 10 2024; pp. 91–109. [CrossRef]
- Niemeijer, J.; Schwonberg, M.; Termöhlen, J.A.; Schmidt, N.M.; Fingscheidt, T. Generalization by Adaptation: Diffusion-Based Domain Extension for Domain-Generalized Semantic Segmentation. In Proceedings of the 2024 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV), Waikoloa, HI, USA, 01 2024; pp. 2818–2828. [CrossRef]
- Myklebust, T.; Stålhane, T.; Hanssen, G.K. Agile Safety Case and DevOps for the Automotive Industry. In Proceedings of the Proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference. Research Publishing Services, 2020, ESREL, pp. 4652–4657. [CrossRef]
- Huivan, N. DevOps Process Step by Step, 2022.
- Forsberg, H.; Linden, J.; Hjorth, J.; Manefjord, T.; Daneshtalab, M. Challenges in Using Neural Networks in Safety-Critical Applications. In Proceedings of the 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), San Antonio, TX, USA, 10 2020; pp. 1–7. [CrossRef]
- Institute of Electrical and Electronics Engineers (IEEE). IEEE Guide for Information Technology - System Definition - Concept of Operations (ConOps) Document. IEEE Std 1362-1998 1998, pp. 1–24. Includes bibliographical references (pages 1-2),. [CrossRef]
- ISO/IEC/IEEE. ISO/IEC/IEEE International Standard - Systems and software engineering – Life cycle processes – Requirements engineering. ISO/IEC/IEEE 29148:2018(E) 2018, pp. 1–104. [CrossRef]
- The British Standards Institution. PAS 1883:2020 - Operational Design Domain (ODD) taxonomy for an automated driving system (ADS) – Specification; BSI Standards Limited, 2020.
- ASAM, e.V. . ASAM OpenODD: Concept Paper. techreport, ASAM e.V., 2021.
- Scholtes, M.; Westhofen, L.; Turner, L.R.; Lotto, K.; Schuldes, M.; Weber, H.; Wagener, N.; Neurohr, C.; Bollmann, M.; Körtke, F.; et al. 6-Layer Model for a Structured Description and Categorization of Urban Traffic and Environment. IEEE Access 2021, 9, 59131–59147. [Google Scholar] [CrossRef]
- European Union Aviation Safety Agency (EASA). Certification Specifications and Acceptable Means of Compliance for Large Aeroplanes (CS-25). techreport, European Union Aviation Safety Agency (EASA), 2023.
- RTCA, Inc.. Software Considerations in Airborne Systems and Equipment Certification. techreport DO-178C, GlobalSpec, Washington, DC, USA, 2012.
- European Aviation Safety Agency. Certification Specifications for Large Aeroplanes CS-25. Technical report, European Aviation Safety Agency, 2003.
- Ducoffe, M.; Carrere, M.; Féliers, L.; Gauffriau, A.; Mussot, V.; Pagetti, C.; Sammour, T. LARD - Landing Approach Runway Detection - Dataset for Vision Based Landing. working paper or preprint.
- Cappi, C.; Cohen, N.; Ducoffe, M.; Gabreau, C.; Gardes, L.; Gauffriau, A.; Ginestet, J.B.; Mamalet, F.; Mussot, V.; Pagetti, C.; et al. How to design a dataset compliant with an ML-based system ODD? In Proceedings of the 12th European Congress on Embedded Real Time Software and Systems (ERTS), Toulouse, France, 06 2024; pp. 1–10. [CrossRef]
- Szegedy, C.; Zaremba, W.; Sutskever, I.; Bruna, J.; Erhan, D.; Goodfellow, I.; Fergus, R. Intriguing properties of neural networks, 2013. [CrossRef]
- Nguyen, A.; Yosinski, J.; Clune, J. Deep neural networks are easily fooled: High confidence predictions for unrecognizable images. In Proceedings of the 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Boston, MA, USA, 06 2015; pp. 427–436. [CrossRef]
- Julian, K.D.; Lopez, J.; Brush, J.S.; Owen, M.P.; Kochenderfer, M.J. Policy compression for aircraft collision avoidance systems. In Proceedings of the 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), Sacramento, CA, USA, 09 2016; pp. 1–10. [CrossRef]
- Julian, K.D.; Kochenderfer, M.J. Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems. In Proceedings of the 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), San Diego, CA, USA, 09 2019; pp. 1–10. [CrossRef]
- Julian, K.D.; Kochenderfer, M.J.; Owen, M.P. Deep Neural Network Compression for Aircraft Collision Avoidance Systems. Journal of Guidance, Control, and Dynamics 2019, 42, 598–608. [Google Scholar] [CrossRef]
- Katz, G.; Barrett, C.; Dill, D.L.; Julian, K.; Kochenderfer, M.J. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks. In Proceedings of the Computer Aided Verification; Majumdar, R.; Kunčak, V., Eds., Heidelberg, Germany, 2017; pp. 97–117. [CrossRef]
- Irfan, A.; Julian, K.D.; Wu, H.; Barrett, C.; Kochenderfer, M.J.; Meng, B.; Lopez, J. Towards Verification of Neural Networks for Small Unmanned Aircraft Collision Avoidance. In Proceedings of the 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), San Antonio, TX, USA, 10 2020; pp. 1–10. [CrossRef]
- Damour, M.; De Grancey, F.; Gabreau, C.; Gauffriau, A.; Ginestet, J.B.; Hervieu, A.; Huraux, T.; Pagetti, C.; Ponsolle, L.; Clavière, A. Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution. In Proceedings of the Computer Safety, Reliability, and Security, Cham, 2021; pp. 34–48. [CrossRef]
- Gabreau, C.; Gauffriau, A.; Grancey, F.D.; Ginestet, J.B.; Pagetti, C. Toward the certification of safety-related systems using ML techniques: the ACAS-Xu experience. In Proceedings of the 11th European Congress on Embedded Real Time Software and Systems (ERTS 2022), Toulouse, France, 06 2022; pp. 1–11.
- Christensen, J.M.; Zaeske, W.; Beck, J.; Friedrich, S.; Stefani, T.; Girija, A.A.; Hoemann, E.; Durak, U.; Köster, F.; Krüger, T.; et al. Towards Certifiable AI in Aviation: A Framework for Neural Network Assurance Using Advanced Visualization and Safety Nets. In Proceedings of the 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), San Diego, CA, USA, 09 2024; pp. 1–9. [CrossRef]
- Christensen, J.M.; Anilkumar Girija, A.; Stefani, T.; Durak, U.; Hoemann, E.; Köster, F.; Krüger, T.; Hallerbach, S. Advancing the AI-Based Realization of ACAS X Towards Real-World Application. In Proceedings of the 2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI), Herdon, VA, USA, 10 2024; pp. 57–64. [CrossRef]
- Nilsson, D.K.; Larson, U.E. Secure Firmware Updates over the Air in Intelligent Vehicles. In Proceedings of the ICC Workshops - 2008 IEEE International Conference on Communications Workshops, Beijing, China, 05 2008; pp. 380–384. [CrossRef]
- Ribeiro, M.T.; Singh, S.; Guestrin, C. “Why Should I Trust You?”: Explaining the Predictions of Any Classifier. In Proceedings of the Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. ACM, 08 2016, KDD ’16, pp. 1135–1144. [CrossRef]
- Boisnard, F.; Boumazouza, R.; Ducoffe, M.; Fel, T.; Glize, E.; Hervier, L.; Mussot, V.; Picard, A.M.; Poché, A.; Vigouroux, D. Guidelines to explain machine learning algorithms. techreport, Dependable, Certifiable & Explainable Artificial Intelligence for Critical Systems (DEEL), 2023.
- Anilkumar Girija, A.; Christensen, J.M.; Stefani, T.; Hoemann, E.; Durak, U.; Köster, F.; Hallerbach, S.; Krüger, T. Towards the Monitoring of Operational Design Domains Using Temporal Scene Analysis in the Realm of Artificial Intelligence in Aviation. In Proceedings of the 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), San Diego, CA, USA, 09 2024; pp. 1–8. [CrossRef]
- Torfah, H.; Xie, C.; Junges, S.; Vazquez-Chanlatte, M.; Seshia, S.A. Learning Monitorable Operational Design Domains for Assured Autonomy. In Proceedings of the Automated Technology for Verification and Analysis, Cham, 10 2022; pp. 3–22. [CrossRef]
- Dinh, L.T.T.; Pasman, H.; Gao, X.; Mannan, M.S. Resilience engineering of industrial processes: Principles and contributing factors. Journal of Loss Prevention in the Process Industries 2012, 25, 233–241. [Google Scholar] [CrossRef]
- RTCA, Inc.. Minimum Operational Performance Standards for Airborne Collision Avoidance System X (ACAS X) (ACAS Xa and ACAS Xo). techreport DO-385, GlobalSpec, Washington, DC, USA, 2018.
- RTCA, Inc.. Minimum Operational Performance Standards for Airborne Collision Avoidance System Xu (ACAS Xu). techreport DO-386, GlobalSpec, Washington, DC, USA, 2020.
- European Organization for Civil Aviation Equipment (EUROCAE). Minimum Operational Performance Standards for Airborne Collision Avoidance System X (ACAS X) (ACAS Xa with ACAS Xo). techreport ED-256, European Organization for Civil Aviation Equipment (EUROCAE), Saint-Denis, France, 2018.
- European Organization for Civil Aviation Equipment (EUROCAE). Minimum Operational Performance Standard (MOPS) for ACAS Xu. techreport ED-275, European Organization for Civil Aviation Equipment (EUROCAE), Saint-Denis, France, 2020.
- Stefani, T.; Christensen, J.M.; Anilkumar Girija, A.; Gupta, S.; Durak, U.; Köster, F.; Krüger, T.; Hallerbach, S. Automated Scenario Generation from Operational Design Domain Model for Testing AI-based Systems in Aviation. CEAS Aeronautical Journal, 2024; 1–19. [Google Scholar] [CrossRef]
- Weissensteiner, P.; Stettinger, G.; Khastgir, S.; Watzenig, D. Operational Design Domain-Driven Coverage for the Safety Argumentation of Automated Vehicles. IEEE Access 2023, 11, 12263–12284. [Google Scholar] [CrossRef]
- Kaiser, B.; Weber, H.; Hiller, J.; Engel, B. Towards the definition of metrics for the assessment of operational design domains. Open Research Europe 2023, 3, 146. [Google Scholar] [CrossRef] [PubMed]
- Manzanas Lopez, D.; Johnson, T.; Tran, H.D.; Bak, S.; Chen, X.; Hobbs, K.L. Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability. In Proceedings of the AIAA Scitech 2021 Forum. American Institute of Aeronautics and Astronautics, 01 2021, pp. 1–26. [CrossRef]
- Manzanas Lopez, D.; Johnson, T.T.; Bak, S.; Tran, H.D.; Hobbs, K.L. Evaluation of Neural Network Verification Methods for Air-to-Air Collision Avoidance. Journal of Air Transportation 2023, 31, 1–17. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2025 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).