Publication Type

Journal Article

Version

publishedVersion

Publication Date

2-2025

Abstract

Manufacturers offer adjustable control parameters for flight control systems to accommodate diverse environments and missions. To ensure flight safety, they also develop established boundaries, i.e., range specifications for parameter values. However, even when the configuration parameters fall within the prescribed manufacturer range, they could still lead to instability or even severe incidents like crashes, which are referred to as Range Specification Bugs. Prior research has suggested shrinking the range of parameter values to protect drones from the adverse effects of such bugs. However, narrowing the range of parameters may only reduce the probability of errors and could potentially limit the drone’s adaptability. To overcome this limitation, we present an online approach that analyzes a sequence of flight states to detect any potential triggering of bugs and rectify the drone by dynamically adjusting its parameters. We implemented the rectification approach, ConFix, and applied it in current prevalent flight control systems, Ardupilot and PX4. The results demonstrated that ConFix achieved an average rectification success rate of 80%.

Keywords

configuration management, drones, robust stability, software safety

Discipline

Artificial Intelligence and Robotics | Databases and Information Systems

Research Areas

Data Science and Engineering; Information Systems and Management

Areas of Excellence

Digital transformation

Publication

IEEE Transactions on Dependable and Secure Computing

Volume

22

Issue

4

First Page

3856

Last Page

3867

ISSN

1545-5971

Identifier

10.1109/TDSC.2025.3541383

Publisher

Institute of Electrical and Electronics Engineers

Additional URL

https://doi.org/10.1109/TDSC.2025.3541383

Download

Share

COinS