Simulation-Based Logic Bomb Identification and Verification for Unmanned Aerial Vehicles - IFIP Open Digital Library Access content directly
Conference Papers Year : 2020

Simulation-Based Logic Bomb Identification and Verification for Unmanned Aerial Vehicles

Abstract

This chapter presents a novel methodology for detecting logic bombs hidden in unmanned aerial vehicle autopilot code without source code analysis by executing mission runs in a software-in-the-loop simulator and defining safe unmanned aerial vehicle operating areas. The methodology uses preplanned flight paths as a baseline, greatly reducing the input space that must be searched to have confidence that an unmanned aerial vehicle will not encounter a triggering condition during its mission. While the focus is on detecting logic bombs in ArduPilot autopilot software, the methodology is general enough to be applicable to other unmanned aerial vehicle systems.
Fichier principal
Vignette du fichier
497523_1_En_2_Chapter.pdf (1.41 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03794636 , version 1 (03-10-2022)

Licence

Attribution

Identifiers

Cite

Jake Magness, Patrick Sweeney, Scott Graham, Nicholas Kovach. Simulation-Based Logic Bomb Identification and Verification for Unmanned Aerial Vehicles. 14th International Conference on Critical Infrastructure Protection (ICCIP), Mar 2020, Arlington, VA, United States. pp.25-44, ⟨10.1007/978-3-030-62840-6_2⟩. ⟨hal-03794636⟩
20 View
48 Download

Altmetric

Share

Gmail Facebook X LinkedIn More