TOP Literature Database Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search
arxiv
Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search
AI Security Portal bot
Information in the literature database is collected automatically.
These labels were automatically added by AI and may be inaccurate. For details, see About Literature Database.
Abstract
In order to support a variety of missions and deal with different flight
environments, drone control programs typically provide configurable control
parameters. However, such a flexibility introduces vulnerabilities. One such
vulnerability, referred to as range specification bugs, has been recently
identified. The vulnerability originates from the fact that even though each
individual parameter receives a value in the recommended value range, certain
combinations of parameter values may affect the drone physical stability. In
this paper we develop a novel learning-guided search system to find such
combinations, that we refer to as incorrect configurations. Our system applies
metaheuristic search algorithms mutating configurations to detect the
configuration parameters that have values driving the drone to unstable
physical states. To guide the mutations, our system leverages a machine
learning predictor as the fitness evaluator. Finally, by utilizing
multi-objective optimization, our system returns the feasible ranges based on
the mutation search results. Because in our system the mutations are guided by
a predictor, evaluating the parameter configurations does not require
realistic/simulation executions. Therefore, our system supports a comprehensive
and yet efficient detection of incorrect configurations. We have carried out an
experimental evaluation of our system. The evaluation results show that the
system successfully reports potentially incorrect configurations, of which over
85% lead to actual unstable physical states.