elib
DLR-Header
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, 09.-13. Jan. 2017, 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

Abstract

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
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Torens, Christophchristoph.torens (at) dlr.deUNSPECIFIED
Adolf, Florian-Michaelflorian.adolf (at) dlr.deUNSPECIFIED
Faymonville, Peterfaymonville (at) react.uni-saarland.deUNSPECIFIED
Schirmer, SebastianSebastian.Schirmer (at) dlr.deUNSPECIFIED
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 SCOPUS:No
In ISI Web of Science:No
DOI :10.2514/6.2017-0419
Page Range:pp. 1-11
Status:Published
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 Dates:09.-13. Jan. 2017
Organizer:AIAA
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
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems > Unmanned Aircraft
Deposited By: Torens, Christoph
Deposited On:08 Mar 2017 15:04
Last Modified:08 Mar 2017 15:04

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.