ConDU: Method for On-the-fly Detection of Non-deadlock Concurrency Errors in UAV Software (ITEQS 2024)

Mon 27 - Fri 31 May 2024 Canada

Who

Jinseok Park, Changhui Bae, Seongjin Lee

Track

ITEQS 2024

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

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

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-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.

Jinseok Park

Gyeongsang National University

South Korea

Changhui Bae

Gyeongsang National University

South Korea

Seongjin Lee

Gyeongsang National Unviersity

South Korea

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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