R2U2: monitoring and diagnosis of security threats for unmanned aerial systems

Moosbrugger, Patrick; Rozier, Kristin Yvonne; Schumann, Johann

doi:10.1007/s10703-017-0275-x

Cited by 69 publications

(31 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Signal Regular Expressions (SRE) [5]. The R2U2 tool [18] stands out in particular as it successfully brought a logic closely related to STL onto unmanned aerial systems as an external hardware implementation.…”

Section: Related Workmentioning

confidence: 99%

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

Baumeister

Finkbeiner

Schirmer

et al. 2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic potential in a wide range of application areas, including logistics, agriculture, civil engineering, and disaster recovery. We report on the development of a dynamic monitoring framework for the DLR ARTIS (Autonomous Rotorcraft Testbed for Intelligent Systems) family of unmanned aircraft based on the formal specification language RTLola. RTLola is a stream-based specification language for real-time properties. An RTLola specification of hazardous situations and system failures is statically analyzed in terms of consistency and resource usage and then automatically translated into an FPGA-based monitor. Our approach leads to highly efficient, parallelized monitors with formal guarantees on the noninterference of the monitor with the normal operation of the autonomous system.

show abstract

Section: Related Workmentioning

confidence: 99%

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

Baumeister

Finkbeiner

Schirmer

et al. 2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Hardware runtime monitors for realtime properties were presented by Jaksic et al [24], where monitors for STL specifications were implemented in an FPGA. Further work on FPGA implementations of real-time temporal specification was introduced with the tool R2U2 [34,35], an outline monitoring approach that allows for monitoring specifications in MTL including future-time specifications.…”

Section: Related Workmentioning

confidence: 99%

FPGA Stream-Monitoring of Real-time Properties

Baumeister

Finkbeiner

Schwenger

et al. 2019

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

An essential part of cyber-physical systems is the online evaluation of real-time data streams. Especially in systems that are intrinsically safety-critical, a dedicated monitoring component inspecting data streams to detect problems at runtime greatly increases the confidence in a safe execution. Such a monitor needs to be based on a specification language capable of expressing complex, highlevel properties using only the accessible low-level signals. Moreover, tight constraints on computational resources exacerbate the requirements on the monitor. us, several existing approaches to monitoring are not applicable due to their dependence on an operating system.We present an FPGA-based monitoring approach by compiling an RTL specification into synthesizable VHDL code. RTL is a stream-based specification language capable of expressing complex real-time properties while providing an upper bound on the execution time and memory requirements. e statically determined memory bound allows for a compilation to an FPGA with a fixed size. An advantage of FPGAs is a simple integration process in existing systems and superb executing time. e compilation results in a highly parallel implementation thanks to the modular nature of RTL specifications. is further increases the maximal event rate the monitor can handle.

show abstract

“…Otherwise, it would be straightforward to design an UAS to attack civilians (Steele, 2017). Researchers have already begun to simulate the reliability of UAS to various security threats by introducing a novel hybrid monitoring architecture consisting of software and hardware based modules (Moosbrugger et al, 2017).…”

Section: Public Authoritiesmentioning

confidence: 99%

Parcel Delivery in an Urban Environment Using Unmanned Aerial Systems: A Vision Paper

Anbaroğlu

2017

ISPRS Ann. Photogramm. Remote Sens. Spatial Inf. Sci.

View full text Add to dashboard Cite

ABSTRACT:This vision paper addresses the challenges and explores the avenue of solutions regarding the use of Unmanned Aerial Systems (UAS) for transporting parcels in urban areas. We have already witnessed companies' delivering parcels using UAS in rural areas, but the challenge of utilizing them for an urban environment is eminent. Nevertheless, the increasing research on the various aspects of UAS, including their battery life, resistance to harsh weather conditions and sensing its environment foresee their common usage in the logistics industry, especially in an urban environment. In addition, the increasing trend on 3D city modelling offer new directions regarding realistic as well as light 3D city models that are easy to modify and distribute. Utilizing UAS for transporting parcels in an urban environment would be a disruptive technological achievement as our roads will be less congested which would lead to less air pollution as well as wasted money and time. In addition, parcels could potentially be delivered much faster. This paper argues, with the support of the state-of-the-art research, that UASs will be used for transporting parcels in an urban environment in the coming decades.

show abstract

R2U2: monitoring and diagnosis of security threats for unmanned aerial systems

Cited by 69 publications

References 35 publications

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

FPGA Stream-Monitoring of Real-time Properties

Parcel Delivery in an Urban Environment Using Unmanned Aerial Systems: A Vision Paper

Contact Info

Product

Resources

About