elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Formal Monitoring of Risk-based Geo-fences

Schirmer, Sebastian and Torens, Christoph and Adolf, Florian-Michael (2018) Formal Monitoring of Risk-based Geo-fences. In: AIAA Infotech at Aerospace. 2018 AIAA Information Systems-AIAA Infotech @ Aerospace, 8.-12. Jan. 2018, Kissimmee, USA. DOI: 10.2514/6.2018-1986

Full text not available from this repository.

Official URL: https://arc.aiaa.org/doi/10.2514/6.2018-1986

Abstract

This work proposes a novel risk-based geo-fencing approach. Multiple, adjacent geo-fences are each assigned a specific risk level. An UAS with a low confidence level would be restricted to an area with no or very low risk. However, an UAS with a high confidence level could be allowed to exit such a geo-fence and cross over to another geo-fence with a different risk level. This approach enables different scenarios for the use of geo-fences and requirements for entering, flying, and leaving geo-fences of specific risk. Moreover, using runtime monitoring, the UAS can be assigned a dynamic confidence level, which represents the current and prior system health, system performance, or possibly environmental conditions. This results in a structured methodology for the independent assurance of geo-fences corresponding to specific and possibly dynamic confidence levels of an UAS. The geo-fencing problem as well as the risk-based approach is formalized in the specification language Lola, which provides a concise unambiguous mathematical foundation. Specified properties can be checked at runtime due to automatically generated monitors. This results in a trustworthy implementation, possibly enabling cost-effective UAS operation in accordance to upcoming regulations. Finally, a simulation is used as proof of concept to show the feasibility of the presented approach.

Item URL in elib:https://elib.dlr.de/118317/
Document Type:Conference or Workshop Item (Speech)
Title:Formal Monitoring of Risk-based Geo-fences
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Schirmer, Sebastiansebastian.schirmer (at) dlr.deUNSPECIFIED
Torens, ChristophChristoph.Torens (at) dlr.dehttps://orcid.org/0000-0002-0651-4390
Adolf, Florian-MichaelFlorian.Adolf (at) dlr.deUNSPECIFIED
Date:2018
Journal or Publication Title:AIAA Infotech at Aerospace
Refereed publication:Yes
Open Access:No
In DOAJ:No
In SCOPUS:Yes
In ISI Web of Science:No
DOI :10.2514/6.2018-1986
Status:Published
Keywords:Formal methods, monitoring, geofence, geo-fence, risk, UAS, UAV, UA, runtime verification, runtime monitoring, specific, specific category
Event Title:2018 AIAA Information Systems-AIAA Infotech @ Aerospace
Event Location:Kissimmee, USA
Event Type:international Conference
Event Dates:8.-12. Jan. 2018
Organizer:AIAA
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:rotorcraft
DLR - Research area:Aeronautics
DLR - Program:L RR - Rotorcraft Research
DLR - Research theme (Project):L - The Smart Rotorcraft
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems > Unmanned Aircraft
Deposited By: Schirmer, Sebastian
Deposited On:17 Jan 2018 15:14
Last Modified:17 Jan 2018 15:14

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.