An Exploratory Study of Autopilot Software Bugs in Unmanned Aerial Vehicles
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 AugDisplayed 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 10mPaper | Hazard Analysis for Human-on-the-Loop Interactions in sUAS Systems 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 10mPaper | An Exploratory Study of Autopilot Software Bugs in Unmanned Aerial Vehicles 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 10mPaper | 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 30mLive 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 10mPaper | Hazard Analysis for Human-on-the-Loop Interactions in sUAS Systems 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 10mPaper | An Exploratory Study of Autopilot Software Bugs in Unmanned Aerial Vehicles 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 10mPaper | 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 30mLive Q&A | Q&A (Dependability—Cyber-Physical Systems 1) Research Papers |