ConDU: Method for On-the-fly Detection of Non-deadlock Concurrency Errors in UAV Software
This program is tentative and subject to change.
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-The-Loop (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.
This program is tentative and subject to change.
Mon 27 MayDisplayed time zone: Eastern Time (US & Canada) change
14:00 - 15:30 | |||
14:00 30mFull-paper | A Survey on the Verification and Validation of Artificial Pancreas Software Systems ITEQS Bara' Nazzal Queen's University, Canada, Manar Alalfi Toronto Metropolitan University, James Cordy Queen's University, Canada | ||
14:30 30mFull-paper | ConDU: Method for On-the-fly Detection of Non-deadlock Concurrency Errors in UAV Software ITEQS Jinseok Park Gyeongsang National University, Changhui Bae Gyeongsang National University, Seongjin Lee Gyeongsang National Unviersity | ||
15:00 30mFull-paper | Java Lock Contention Anti-Patterns and Their Associated Recommendations ITEQS Aritra Ahmed Ontario Tech University, Ramiro Liscano Ontario Tech University, Akramul Azim Ontario Tech University, Yee-Kang Chang International Business Machines Corporation (IBM), Vijay Sundaresan IBM Canada | ||