ICST 2024
Mon 27 - Fri 31 May 2024 Canada
Mon 27 May 2024 14:30 - 15:00 at Room 4 - ITEQS III Chair(s): Tanwir Ahmad

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.

Mon 27 May

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:30
ITEQS IIIITEQS at Room 4
Chair(s): Tanwir Ahmad Åbo Akademi University
14:00
30m
Full-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
30m
Full-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
30m
Full-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