Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
ConDU: Method for On-the-fly Detection of Non-deadlock Concurrency Errors in UAV Software
- Authors
- Park, Jinseok; Bae, Chang-Hui; Lee, Seongjin
- Issue Date
- Sep-2024
- Publisher
- Institute of Electrical and Electronics Engineers Inc.
- Keywords
- concurrency errors; multi-threads; on-the-fly detection; Software reliability; UAV software
- Citation
- Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024, pp 137 - 143
- Pages
- 7
- Indexed
- SCOPUS
- Journal Title
- Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024
- Start Page
- 137
- End Page
- 143
- ISSN
- 2159-4848
- Abstract
- This paper presents ConDU, an innovative method for detecting non-deadlock concurrency errors in Unmanned Aerial Vehicle (UAV) software. Focusing on urban operational safety, ConDU addresses a critical gap in UAV research by targeting software errors, particularly in multi-threaded systems. It functions by monitoring shared variables, threads, and access patterns in real-time, identifying discrepancies indicative of potential errors. ConDU was rigorously tested using synthetic programs and applied to the ArduPilot-based Software-In-TheLoop (SITL) environment. It successfully detected all known and additional concurrency errors with a minimal time overhead of 5. 16%. This research marks a significant advance in ensuring UAV software reliability and operational safety. © 2024 IEEE.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - 공학계열 > 항공우주소프트웨어공학과 > Journal Articles
- 공학계열 > AI융합공학과 > Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.