Write a Blog >>
ESEC/FSE 2021
Thu 19 - Sat 28 August 2021 Clowdr Platform
Thu 26 Aug 2021 09:10 - 09:20 - Dependability—Cyber-Physical Systems 1 Chair(s): Ritu Kapur
Thu 26 Aug 2021 21:10 - 21:20 - Dependability—Cyber-Physical Systems 1 Chair(s): Joanne M. Atlee

Unmanned aerial vehicles (UAVs) are becoming increasingly important and widely used in modern society. Software bugs in these systems can cause severe issues, such as system crashes, hangs, and undefined behaviors. Some bugs can also be exploited by hackers to launch security attacks, resulting in catastrophic consequences. Therefore, techniques that can help detect and fix software bugs in UAVs are highly desirable. However, although there are many existing studies on bugs in various types of software, the characteristics of UAV software bugs have never been systematically studied. This impedes the development of tools for assuring the dependability of UAVs. To bridge this gap, we conducted the first large-scale empirical study on two well-known open-source autopilot software platforms for UAVs, namely PX4 and Ardupilot, to characterize bugs in UAVs. Through analyzing 569 bugs from these two projects, we observed eight types of UAV-specific bugs (i.e., limit, math, inconsistency, priority, parameter, hardware support, correction, and initialization) and learned their root causes. Based on the bug taxonomy, we summarized common bug patterns and repairing strategies. We further identified five challenges associated with detecting and fixing such UAV-specific bugs. Our study can help researchers and practitioners to better understand the threats to the dependability of UAV systems and facilitate the future development of UAV bug diagnosis tools.

Thu 26 Aug

Displayed time zone: Athens change

09:00 - 10:00
Dependability—Cyber-Physical Systems 1Journal First / Research Papers +12h
Chair(s): Ritu Kapur University of Sannio
09:00
10m
Paper
Hazard Analysis for Human-on-the-Loop Interactions in sUAS SystemsArtifacts Available
Research Papers
Michael Vierhauser JKU Linz, Md Nafee Al Islam University of Notre Dame, Ankit Agrawal University of Notre Dame, Jane Cleland-Huang University of Notre Dame, James Mason Northrop Grumman
DOI Media Attached
09:10
10m
Paper
An Exploratory Study of Autopilot Software Bugs in Unmanned Aerial VehiclesArtifacts Available
Research Papers
Dinghua Wang University of Technology Sydney, Shuqing Li Southern University of Science and Technology, Guanping Xiao Nanjing University of Aeronautics and Astronautics, Yepang Liu Southern University of Science and Technology, Yulei Sui University of Technology Sydney
DOI
09:20
10m
Paper
Incidents Are Meant for Learning, Not Repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems
Journal First
Faeq Alrimawi Lero - the Science Foundation Ireland Research Centre for Software, Liliana Pasquale University College Dublin & Lero, Deepak Mehta Apple, Nobukazu Yoshioka Waseda University, Bashar Nuseibeh The Open University (UK) & Lero (Ireland)
09:30
30m
Live Q&A
Q&A (Dependability—Cyber-Physical Systems 1)
Research Papers

21:00 - 22:00
Dependability—Cyber-Physical Systems 1Research Papers / Journal First
Chair(s): Joanne M. Atlee University of Waterloo
21:00
10m
Paper
Hazard Analysis for Human-on-the-Loop Interactions in sUAS SystemsArtifacts Available
Research Papers
Michael Vierhauser JKU Linz, Md Nafee Al Islam University of Notre Dame, Ankit Agrawal University of Notre Dame, Jane Cleland-Huang University of Notre Dame, James Mason Northrop Grumman
DOI Media Attached
21:10
10m
Paper
An Exploratory Study of Autopilot Software Bugs in Unmanned Aerial VehiclesArtifacts Available
Research Papers
Dinghua Wang University of Technology Sydney, Shuqing Li Southern University of Science and Technology, Guanping Xiao Nanjing University of Aeronautics and Astronautics, Yepang Liu Southern University of Science and Technology, Yulei Sui University of Technology Sydney
DOI
21:20
10m
Paper
Incidents Are Meant for Learning, Not Repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems
Journal First
Faeq Alrimawi Lero - the Science Foundation Ireland Research Centre for Software, Liliana Pasquale University College Dublin & Lero, Deepak Mehta Apple, Nobukazu Yoshioka Waseda University, Bashar Nuseibeh The Open University (UK) & Lero (Ireland)
21:30
30m
Live Q&A
Q&A (Dependability—Cyber-Physical Systems 1)
Research Papers