Simulation-Based Logic Bomb Identification and Verification for Unmanned Aerial Vehicles - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

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

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Identifiants

Citer

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⟩
21 Consultations
58 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More