elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Accessibility | 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 (I at A) Conference. 2018 AIAA Information Systems-AIAA Infotech @ Aerospace, 2018-01-08 - 2018-01-12, 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 AuthorsAuthor's ORCID iDORCID Put Code
Schirmer, SebastianUNSPECIFIEDhttps://orcid.org/0000-0002-4596-2479UNSPECIFIED
Torens, ChristophUNSPECIFIEDhttps://orcid.org/0000-0002-0651-4390UNSPECIFIED
Adolf, Florian-MichaelUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Date:2018
Journal or Publication Title:AIAA Infotech at Aerospace (I at A) Conference
Refereed publication:Yes
Open Access:No
Gold Open Access: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 Start Date:8 January 2018
Event End Date:12 January 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 (old)
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems > Unmanned Aircraft
Deposited By: Schirmer, Sebastian
Deposited On:17 Jan 2018 15:14
Last Modified:24 Apr 2024 20:22

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
OpenAIRE Validator logo electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.