Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
119 tokens/sec
GPT-4o
56 tokens/sec
Gemini 2.5 Pro Pro
43 tokens/sec
o3 Pro
6 tokens/sec
GPT-4.1 Pro
47 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Runway Sign Classifier: A DAL C Certifiable Machine Learning System (2310.06506v1)

Published 10 Oct 2023 in cs.LG

Abstract: In recent years, the remarkable progress of Machine Learning (ML) technologies within the domain of AI systems has presented unprecedented opportunities for the aviation industry, paving the way for further advancements in automation, including the potential for single pilot or fully autonomous operation of large commercial airplanes. However, ML technology faces major incompatibilities with existing airborne certification standards, such as ML model traceability and explainability issues or the inadequacy of traditional coverage metrics. Certification of ML-based airborne systems using current standards is problematic due to these challenges. This paper presents a case study of an airborne system utilizing a Deep Neural Network (DNN) for airport sign detection and classification. Building upon our previous work, which demonstrates compliance with Design Assurance Level (DAL) D, we upgrade the system to meet the more stringent requirements of Design Assurance Level C. To achieve DAL C, we employ an established architectural mitigation technique involving two redundant and dissimilar Deep Neural Networks. The application of novel ML-specific data management techniques further enhances this approach. This work is intended to illustrate how the certification challenges of ML-based systems can be addressed for medium criticality airborne applications.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (23)
  1. “Artificial intelligence roadmap 2.0. human-centric approach to AI in aviation,” European Aviation Safety Agency, Tech. Rep., 2023.
  2. “Concepts of design assurance for neural networks (CoDANN),” European Aviation Safety Agency, Tech. Rep., 2020.
  3. “Report. concepts of design assurance for neural networks (CoDANN) II,” European Aviation Safety Agency, Tech. Rep., 2021.
  4. “Artificial intelligence in aeronautical systems. statement of concerns.” EUROCAE, Tech. Rep. AIR6988, 2021.
  5. F. Kaakai, K. Dmitriev, S. Adibhatla, E. Baskaya, and et al., “Toward a Machine Learning Development Lifecycle for Product Certification and Approval in Aviation,” SAE Int. J. Aerosp. 15(2):2022, 2022.
  6. “Neural network based runway landing guidance for general aviation autoland,” Federal Aviation Administration, Tech. Rep. DOT/FAA/TC-21/48, 2022.
  7. H. Delseny, C. Gabreau, A. Gauffriau, B. Beaudouin, L. Ponsolle, L. Alecu, H. Bonnin, B. Beltran, D. Duchel, J.-B. Ginestet et al., “White paper machine learning in certified systems,” arXiv preprint arXiv:2103.10529, 2021.
  8. C. Torens, F. Juenger, S. Schirmer, S. Schopferer, D. Zhukov, and J. C. Dauer, “Ensuring Safety of Machine Learning Components Using Operational Design Domain,” in AIAA SCITECH 2023 Forum, 2023, p. 1124.
  9. N. Escudero, P. Costas, M. W. Hardt, and G. Inalhan, “Machine Learning Based Visual Navigation System Architecture for Aam Operations with A Discussion on its Certifiability,” in 2022 Integrated Communication, Navigation and Surveillance Conference (ICNS), 2022, pp. 1–15.
  10. M. S. Feather, S. Guerrini, P. C. Slingerland, and M. Spolaor, “Assurance Guidance for Space Mission use of Data-Driven Machine Learning,” in 2023 IEEE Aerospace Conference.   IEEE, 2023, pp. 1–10.
  11. D. B. Abeywickrama, J. Wilson, S. Lee, G. Chance, P. D. Winter, A. Manzini, I. Habli, S. Windsor, S. Hauert, and K. Eder, “AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms,” arXiv e-prints, pp. arXiv–2302, 2023.
  12. K. Dmitriev, J. Schumann, and F. Holzapfel, “Toward certification of machine-learning systems for low criticality airborne applications,” in 2021 AIAA/IEEE 40th Digital Avionics Systems Conference (DASC).   IEEE, 2021, pp. 1–10.
  13. ——, “Toward Design Assurance of Machine-Learning Airborne Systems,” in AIAA SciTech 2022 Forum, 2022, p. 1134.
  14. K. Dmitriev, J. Schumann, and F. Holzapfel, “Towards Design Assurance Level C for Machine-Learning Airborne Applications,” in 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC).   IEEE, 2022, pp. 1–6.
  15. K. Schmiechen, S. A. Zafar, K. Dmitriev, C. Krammer, M. Maly, and F. Holzapfel, “A Requirements Management Template in Polarion for Model-Based Development of Airborne Systems.” in Software Engineering (Satellite Events), 2021.
  16. P. Janardhanan, “Project repositories for machine learning with TensorFlow,” Procedia Computer Science, vol. 171, pp. 188–196, 2020, third International Conference on Computing and Network Communications (CoCoNet’19). [Online]. Available: https://www.sciencedirect.com/science/article/pii/S1877050920309856
  17. J. Redmon and A. Farhadi, “YOLO9000: better, faster, stronger,” in Proceedings of the IEEE conference on computer vision and pattern recognition, 2017, pp. 7263–7271.
  18. S. Ren, K. He, R. Girshick, and J. Sun, “Faster R-CNN: Towards real-time object detection with region proposal networks,” Advances in Neural Information Processing Systems, vol. 28, 2015.
  19. T. Saito and M. Rehmsmeier, “The precision-recall plot is more informative than the ROC plot when evaluating binary classifiers on imbalanced datasets,” PloS one, vol. 10, no. 3, p. e0118432, 2015.
  20. H. Rezatofighi, N. Tsoi, J. Gwak, A. Sadeghian, I. Reid, and S. Savarese, “Generalized intersection over union: A metric and a loss for bounding box regression,” in Proceedings of the IEEE/CVF conference on computer vision and pattern recognition, 2019, pp. 658–666.
  21. M. T. Hochstrasser, “Modular model-based development of safety-critical flight control software,” Ph.D. dissertation, Technische Universität München, 2020.
  22. “EASA concept paper: First usable guidance for level 1&2 machine learning applications,” European Aviation Safety Agency, Tech. Rep., 2023.
  23. K. Dmitriev, F. Kaakai, M. Ibrahim, U. Durak, B. Potter, and F. Holzapfel, “Tool Qualification Aspects in ML-Based Airborne Systems Development,” in Software Engineering 2023 Workshops.   Gesellschaft für Informatik eV, 2023.
User Edit Pencil Streamline Icon: https://streamlinehq.com
Authors (5)
  1. Konstantin Dmitriev (2 papers)
  2. Johann Schumann (2 papers)
  3. Islam Bostanov (1 paper)
  4. Mostafa Abdelhamid (1 paper)
  5. Florian Holzapfel (7 papers)
Citations (3)

Summary

We haven't generated a summary for this paper yet.