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

Certification Aspects of Runtime Assurance for Urban Air Mobility

Torens, Christoph and Nagarajan, Pranav and Schirmer, Sebastian and Dauer, Johann C. and Baumeister, Jan and Kohn, Florian and Finkbeiner, Bernd and Löhr, Florian and Manfredi, Guido (2024) Certification Aspects of Runtime Assurance for Urban Air Mobility. In: AIAA Aviation 2024 Forum, pp. 1-17. AIAA. AIAA SciTech 2024 Forum, 2024-01-08 - 2024-01-12, Orlando, FL. doi: 10.2514/6.2024-1464.

[img] PDF

Official URL: https://arc.aiaa.org/doi/10.2514/6.2024-1464


The transition towards autonomous operations for Urban Air Mobility introduces significant safety challenges, necessitating novel safety assurance strategies. One such strategy is runtime assurance, which ensures the safe behavior of a system during its actual operation. This can be implemented by using a safety monitor that detects unsafe behaviors and then activates a switch to a recovery function to return the system to a safe state. This paper investigates the certification aspects of runtime monitoring, a core component of runtime assurance. We analyze the regulatory framework of urban air mobility, and discuss implications of aviation software standards such as DO-178C and it supplements on runtime assurance. As a concrete example to discuss, Detect-and-Avoid is introduced and motivated from the requirements of the Minimum Operational Performance Standards. The use case is analyzed from a system and a software perspective. From a system perspective, the architecture is compared to the runtime assurance standard practice published by ASTM International. From a software perspective, we assess the stream-based specification language RTLola against the development assurance objectives in the de-facto software development standard DO-178C. As an example, we highlight the role of traceability between the different levels of software requirements. The goal of this research is to illustrate the use of runtime monitoring in the context of certification for Urban Air Mobility applications to improve operational safety and enable increasing levels of automation.

Item URL in elib:https://elib.dlr.de/201362/
Document Type:Conference or Workshop Item (Speech)
Additional Information:Luftfahrtforschungsprogramm des Bundesministeriums für Wirtschaft und Energie (LuFo)
Title:Certification Aspects of Runtime Assurance for Urban Air Mobility
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Torens, ChristophUNSPECIFIEDhttps://orcid.org/0000-0002-0651-4390154162122
Nagarajan, PranavUNSPECIFIEDhttps://orcid.org/0000-0003-1172-4365154162123
Schirmer, SebastianUNSPECIFIEDhttps://orcid.org/0000-0002-4596-2479UNSPECIFIED
Dauer, Johann C.UNSPECIFIEDhttps://orcid.org/0000-0002-8287-2376UNSPECIFIED
Finkbeiner, BerndUNSPECIFIEDhttps://orcid.org/0000-0002-4280-8441UNSPECIFIED
Date:8 January 2024
Journal or Publication Title:AIAA Aviation 2024 Forum
Refereed publication:No
Open Access:Yes
Gold Open Access:No
In ISI Web of Science:No
Page Range:pp. 1-17
Keywords:Certification, Runtime Assurance, Runtime-Monitoring, DO-178C, Urban Air Mobility
Event Title:AIAA SciTech 2024 Forum
Event Location:Orlando, FL
Event Type:international Conference
Event Start Date:8 January 2024
Event End Date:12 January 2024
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:Components and Systems
DLR - Research area:Aeronautics
DLR - Program:L CS - Components and Systems
DLR - Research theme (Project):L - Unmanned Aerial Systems
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems > Unmanned Aircraft
Institute of Flight Systems
Deposited By: Torens, Christoph
Deposited On:27 Feb 2024 18:50
Last Modified:24 Apr 2024 21:01

Repository Staff Only: item control page

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