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

Formally Bounding UAS Behavior to Concept of Operation with Operation-Specific Scenario Description Language

Torens, Christoph and Durak, Umut and Nikodem, Florian and Schirmer, Sebastian (2019) Formally Bounding UAS Behavior to Concept of Operation with Operation-Specific Scenario Description Language. In: AIAA SciTech Forum - 55th AIAA Aerospace Sciences Meeting, pp. 1-11. AIAA. 2019 AIAA Modeling and Simulation Technologies Conference, 2019-01-07 - 2019-01-11, San Diego, California. doi: 10.2514/6.2019-1975.

[img] PDF
1MB

Official URL: https://arc.aiaa.org/doi/abs/10.2514/6.2019-1975

Abstract

Previous work introduced an approach for formally describing the concept of operations for unmanned aircraft. For this purpose, an existing language for simulation scenario description was adapted. In the context of the specific operation category, an upcoming European regulation for the operation of unmanned aircraft, the description and acceptance of the concept of operations plays a major role for flight approval on a per mission basis. This paper extends the previous approach further with combining the formalized description of the concept of operations with our existing approach for runtime monitoring. Monitoring the behavior at runtime can be used to enforce certain limits on the behavior. Therefore, the concept of operations is an ideal input for the monitoring approach. As a basis for the information relevant for the concept of operations the official annex to the guidelines document for the specific operation risk assessment is used, as well as an internal concept of operations document for a DLR research unmanned aircraft system.

Item URL in elib:https://elib.dlr.de/125197/
Document Type:Conference or Workshop Item (Speech)
Title:Formally Bounding UAS Behavior to Concept of Operation with Operation-Specific Scenario Description Language
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Torens, ChristophUNSPECIFIEDhttps://orcid.org/0000-0002-0651-4390UNSPECIFIED
Durak, UmutUNSPECIFIEDhttps://orcid.org/0000-0002-2928-1710UNSPECIFIED
Nikodem, FlorianUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Schirmer, SebastianUNSPECIFIEDhttps://orcid.org/0000-0002-4596-2479UNSPECIFIED
Date:7 January 2019
Journal or Publication Title:AIAA SciTech Forum - 55th AIAA Aerospace Sciences Meeting
Refereed publication:No
Open Access:Yes
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:No
DOI:10.2514/6.2019-1975
Page Range:pp. 1-11
Publisher:AIAA
Status:Published
Keywords:unmanned aircraft, concept of operations, runtime verification, runtime monitoring, assurance, autonomy
Event Title:2019 AIAA Modeling and Simulation Technologies Conference
Event Location:San Diego, California
Event Type:international Conference
Event Start Date:7 January 2019
Event End Date:11 January 2019
Organizer:AIAA SciTech Forum
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:fixed-wing aircraft
DLR - Research area:Aeronautics
DLR - Program:L AR - Aircraft Research
DLR - Research theme (Project):L - Systems and Cabin (old)
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems > Unmanned Aircraft
Deposited By: Torens, Christoph
Deposited On:26 Feb 2019 10:00
Last Modified:24 Apr 2024 20:29

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.