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

A Hierarchy of Monitoring Properties for Autonomous Systems

Schirmer, Sebastian and Torens, Christoph and Dauer, Johann C. and Baumeister, Jan and Finkbeiner, Bernd and Rozier, Kristen Y. (2023) A Hierarchy of Monitoring Properties for Autonomous Systems. AIAA SciTech Forum, National Harbor, MD, USA. doi: 10.2514/6.2023-2588.

[img] PDF - Only accessible within DLR


Monitoring capabilities play a central role in mitigating safety risks of current, but especially future autonomous aircraft systems. These future systems are likely to include complex components such as neural networks for environment perception, which pose a challenge for current verification approaches; they are considered as black-box components. To assure that these black-boxes comply to their specification, they are typically monitored to detect violations during execution in respect to their input and output behavior. Such behavioral properties often include more complex aspects such as temporal or spatial notions. Besides monitoring their behavior, the outputs can also be compared to data from other assured sensors or components of the aircraft, making monitoring an even more integral part of the system, which ideally has access to all available resources to assess the overall health of the operation. Current approaches using handwritten code for monitoring functions run the risk of not being able to keep up with these challenges. Therefore, in this paper, we present a hierarchy of monitoring properties that provides a perspective for overall health. We also present a categorization of monitoring properties and show how different monitoring specification languages can be used for formalization. These monitoring languages represent a higher abstraction of general-purpose code and are therefore more compact and easier for a user to write and read. They improve the maintainability of monitoring properties that is required to handle the increased complexity of future autonomous aircraft systems.

Item URL in elib:https://elib.dlr.de/193868/
Document Type:Conference or Workshop Item (Speech)
Title:A Hierarchy of Monitoring Properties for Autonomous Systems
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Schirmer, SebastianUNSPECIFIEDhttps://orcid.org/0000-0002-4596-2479UNSPECIFIED
Torens, ChristophUNSPECIFIEDhttps://orcid.org/0000-0002-0651-4390UNSPECIFIED
Dauer, Johann C.UNSPECIFIEDhttps://orcid.org/0000-0002-8287-2376UNSPECIFIED
Finkbeiner, BerndUNSPECIFIEDhttps://orcid.org/0000-0002-4280-8441UNSPECIFIED
Rozier, Kristen Y.Iowa State UniversityUNSPECIFIEDUNSPECIFIED
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In ISI Web of Science:No
Keywords:Formal specifiation, monitoring, autonomous system
Event Title:AIAA SciTech Forum
Event Location:National Harbor, MD, USA
Event Type:international Conference
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: Schirmer, Sebastian
Deposited On:09 Feb 2023 17:20
Last Modified:09 Feb 2023 17:20

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.