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: |
| ||||||||||||||||
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