Title: R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
Language: English
Authors: Moosbrugger, Patrick 
Rozier, Kristin Y. 
Schumann, Johann 
Category: Original Research Article
Keywords: Runtime monitoring; Metric temporal logic; Linear temporal logic; Bayesian networks; FPGA; Security; Unmanned aerial systems; GPS spoofing
Issue Date: 2017
Journal: Formal Methods in System Design 
We present R2U2, a novel framework for runtime monitoring of security properties and diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2, implemented in FPGA hardware, is a real-time, Realizable, Responsive, Unobtrusive Unit for runtime system analysis, now including security threat detection. R2U2 is designed to continuously monitor inputs from on-board components such as the GPS, the ground control station, other sensor readings, actuator outputs, and flight software status. By simultaneously monitoring and performing statistical reasoning, attack patterns and post-attack discrepancies in the UAS behavior can be detected. R2U2 uses runtime observer pairs for Linear and Metric Temporal Logics for property monitoring and Bayesian networks for diagnosis of system health during runtime. We discuss the design and implementation that now enables R2U2 to handle security threats and present simulation results of several attack scenarios on the NASA DragonEye UAS.
DOI: 10.1007/s10703-017-0275-x
Library ID: AC15187483
URN: urn:nbn:at:at-ubtuw:3-4107
ISSN: 0925-9856
Organisation: E191 - Institut für Technische Informatik 
Publication Type: Article
Appears in Collections:Article

Files in this item:

Show full item record

Page view(s)

checked on Feb 26, 2021


checked on Feb 26, 2021

Google ScholarTM


This item is licensed under a Creative Commons License Creative Commons