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.
![]() |
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: |
| ||||||||||||||||||||
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