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

Towards Intelligent System Health Management using Runtime Monitoring

Torens, Christoph and Adolf, Florian-Michael and Faymonville, Peter and Schirmer, Sebastian (2017) Towards Intelligent System Health Management using Runtime Monitoring. In: AIAA Infotech @ Aerospace, AIAA SciTech Forum, pp. 1-11. AIAA Infotech @ Aerospace, AIAA SciTech Forum, 2017-01-09 - 2017-01-13, Grapevine, Texas. doi: 10.2514/6.2017-0419.

Full text not available from this repository.

Official URL: http://dx.doi.org/10.2514/6.2017-0419


System health management is an important feature of autonomy, enhancing consistency checks, overall system robustness and even some degree of self-awareness. Seemingly unrelated, debugging and analysis of such complex systems is another challenge during development that should not be underrated. We propose that the so-called runtime monitoring of relevant properties and system requirements is a viable technique to support both aforementioned concepts. A suitable monitoring approach for a cyber-physical system has to be efficient and capable of supervising various specifications, possibly relating different data sources and data history. We present a formal approach for log-analysis and monitoring for the DLR ARTIS framework using the stream-based specification language LOLA, currently developed at Saarland University, for the runtime monitoring of formal specifications. We have evaluated this approach by specifying relevant properties as LOLA stream equations. While we have identified a number of possible improvements in the specification language, we have demonstrated, even with the current language, that online and offline monitoring of relevant properties is indeed possible and gives engineers a powerful tool for debugging as well as implementing health management concepts.

Item URL in elib:https://elib.dlr.de/111412/
Document Type:Conference or Workshop Item (Speech)
Title:Towards Intelligent System Health Management using Runtime Monitoring
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Torens, ChristophUNSPECIFIEDhttps://orcid.org/0000-0002-0651-4390UNSPECIFIED
Schirmer, SebastianUNSPECIFIEDhttps://orcid.org/0000-0002-4596-2479UNSPECIFIED
Date:9 January 2017
Journal or Publication Title:AIAA Infotech @ Aerospace, AIAA SciTech Forum
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In ISI Web of Science:No
Page Range:pp. 1-11
Keywords:UAV, Health Management, Runtime Monitoring, Autonomy, Formal Methods
Event Title:AIAA Infotech @ Aerospace, AIAA SciTech Forum
Event Location:Grapevine, Texas
Event Type:international Conference
Event Start Date:9 January 2017
Event End Date:13 January 2017
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:rotorcraft
DLR - Research area:Aeronautics
DLR - Program:L RR - Rotorcraft Research
DLR - Research theme (Project):L - The Smart Rotorcraft (old)
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems > Unmanned Aircraft
Deposited By: Torens, Christoph
Deposited On:08 Mar 2017 15:04
Last Modified:24 Apr 2024 20:16

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.