SLIVer: Simulation-Based Logic Bomb Identification/Verification

Abstract

This research introduces SLIVer, a Simulation-based Logic Bomb Identification/Verification methodology, for finding logic bombs hidden within Unmanned Aerial Vehicle (UAV) autopilot code without having access to the device source code. Effectiveness is demonstrated by executing a series of test missions within a high-fidelity software-in-the-loop (SITL) simulator. In the event that a logic bomb is not detected, this methodology defines safe operating areas for UAVs to ensure to a high degree of confidence the UAV operates normally on the defined flight plan.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 26, 2020
Accession Number
AD1102965

Entities

People

  • Jake M. Magness

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • Cyber
  • Engineered Resilient Systems
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Aircrafts
  • Computer Programming
  • Computer Programs
  • Computers
  • Control Systems
  • Detection
  • Engineering
  • Experimental Design
  • Governments
  • Ground Control Stations
  • Identification
  • Information Operations
  • Military Applications
  • Operating Systems
  • Reliability
  • Simulations
  • Simulators
  • Software Testing
  • Spreadsheet Software
  • Statistical Analysis
  • Test And Evaluation
  • Test Methods
  • United States Government
  • Unmanned Aerial Vehicles
  • Vehicles

Readers

  • Aerial Unmanned Vehicle Swarm Micro Periodontal Dentistry.
  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Rocket Propulsion.

Technology Areas

  • Autonomy
  • Autonomy - UAVs