Zur Seitenansicht
 

Titelaufnahme

Titel
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
Verfasser / Verfasserin Moosbrugger, Patrick ; Rozier, Kristin Y. ; Schumann, Johann
Erschienen in
Formal Methods in System Design, 2017, Jg. 51, H. 1, S. 31-61
ErschienenSpringer US, 2017
SpracheEnglisch
DokumenttypAufsatz in einer Zeitschrift
Schlagwörter (EN)Runtime monitoring / Metric temporal logic / Linear temporal logic / Bayesian networks / FPGA / Security / Unmanned aerial systems / GPS spoofing
Projekt-/ReportnummerAmes Research Center: NNX14AN61A, NNX12AK33A
ISSN1572-8102
URNurn:nbn:at:at-ubtuw:3-4107 Persistent Identifier (URN)
DOI10.1007/s10703-017-0275-x 
Zugriffsbeschränkung
 Das Werk ist frei verfügbar
Dateien
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems [2 mb]
Links
Nachweis
Klassifikation
Zusammenfassung (Englisch)

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.

Statistik
Das PDF-Dokument wurde 7 mal heruntergeladen.
Lizenz
CC-BY-Lizenz (4.0)Creative Commons Namensnennung 4.0 International Lizenz