elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] Text [+]

Towards Intelligent System Health Management using Runtime Monitoring

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

Dieses Archiv kann nicht den gesamten Text zur Verfügung stellen.

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

Kurzfassung

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.

Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Towards Intelligent System Health Management using Runtime Monitoring
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID
Torens, Christophchristoph.torens@dlr.deNICHT SPEZIFIZIERT
Adolf, Florian-Michaelflorian.adolf@dlr.deNICHT SPEZIFIZIERT
Faymonville, Peterfaymonville@react.uni-saarland.deNICHT SPEZIFIZIERT
Schirmer, SebastianSebastian.Schirmer@dlr.deNICHT SPEZIFIZIERT
Datum:9 Januar 2017
Erschienen in:AIAA Infotech @ Aerospace, AIAA SciTech Forum
Referierte Publikation:Ja
In Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
DOI :10.2514/6.2017-0419
Seitenbereich:Seiten 1-11
Status:veröffentlicht
Stichwörter:UAV, Health Management, Runtime Monitoring, Autonomy, Formal Methods
Veranstaltungstitel:AIAA Infotech @ Aerospace, AIAA SciTech Forum
Veranstaltungsort:Grapevine, Texas
Veranstaltungsart:internationale Konferenz
Veranstaltungsdatum:09.-13. Jan. 2017
Veranstalter :AIAA
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Luftfahrt
HGF - Programmthema:Hubschrauber
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L RR - Rotorcraft Research
DLR - Teilgebiet (Projekt, Vorhaben):L - Der intelligente Drehflügler
Standort: Braunschweig
Institute & Einrichtungen:Institut für Flugsystemtechnik > Unbemannte Luftfahrzeuge
Hinterlegt von: Torens, Christoph
Hinterlegt am:08 Mär 2017 15:04
Letzte Änderung:08 Mär 2017 15:04

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.