elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Formal Monitoring of Risk-based Geo-fences

Schirmer, Sebastian und Torens, Christoph und 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

Dieses Archiv kann nicht den gesamten Text zur Verfügung stellen.

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

Kurzfassung

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.

Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Formal Monitoring of Risk-based Geo-fences
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iD
Schirmer, Sebastiansebastian.schirmer@dlr.deNICHT SPEZIFIZIERT
Torens, ChristophChristoph.Torens@dlr.dehttps://orcid.org/0000-0002-0651-4390
Adolf, Florian-MichaelFlorian.Adolf@dlr.deNICHT SPEZIFIZIERT
Datum:2018
Erschienen in:AIAA Infotech at Aerospace
Referierte Publikation:Ja
In Open Access:Nein
In SCOPUS:Ja
In ISI Web of Science:Nein
DOI :10.2514/6.2018-1986
Status:veröffentlicht
Stichwörter:Formal methods, monitoring, geofence, geo-fence, risk, UAS, UAV, UA, runtime verification, runtime monitoring, specific, specific category
Veranstaltungstitel:2018 AIAA Information Systems-AIAA Infotech @ Aerospace
Veranstaltungsort:Kissimmee, USA
Veranstaltungsart:internationale Konferenz
Veranstaltungsdatum:8.-12. Jan. 2018
Veranstalter :AIAA
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Luftfahrt
HGF - Programmthema:Hubschrauber
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L RR - Rotorcraft Research
DLR - Teilgebiet (Projekt, Vorhaben):L - Der intelligente Drehflügler
Standort: Braunschweig
Institute & Einrichtungen:Institut für Flugsystemtechnik > Unbemannte Luftfahrzeuge
Hinterlegt von: Schirmer, Sebastian
Hinterlegt am:17 Jan 2018 15:14
Letzte Änderung:17 Jan 2018 15:14

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2017 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.