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

Runtime Monitoring with LOLA

Schirmer, Sebastian (2016) Runtime Monitoring with LOLA. Masterarbeit, Saarland University.

Dies ist die aktuellste Version dieses Eintrags.

[img] PDF (Runtime Monitoring with Lola)
2MB

Kurzfassung

Runtime monitoring is a formal method for analyzing system executions. This analysis improves the confidence in the behavior of the system, either by improving the comprehension of the system or by checking the adherence of desirable properties. Monitoring can be used offline based on log files but also online along with the system being executed. The latter facilitates feedback at runtime. A stream-based specification language for the desirable properties is LOLA. Given a set of input streams, a set of output streams is evaluated. LOLA is kept simple and expressive and, hence, closes the gap between temporal logic and hand-written monitor code. The DLR ARTIS framework is used for research on autonomy concepts, applications, and implementations for unmanned aircrafts. Important aspects of increasing autonomy involve correctness, safety, robustness, and system health management. In all of these aspects, runtime monitoring is a useful method to support the task of their implementations. In this thesis, the applicability of LOLA in the context of unmanned aircraft is elaborated. Based on interviews with DLR engineers, desirable properties are formalized in LOLA specifications. In addition, the main contribution of this thesis is to adapt LOLA to the domain requirements. Therefore, the LOLA specification language is extended by new operators to increase its usability and expressiveness. For offline monitoring, existing logged flight data is analyzed and the usage of LOLA in practice is examined. For online monitoring, DLR's available software-in-the-loop and hardware-in-the-loop simulations are used to evaluate the impact of monitoring on the system. In both monitoring cases, LOLA is efficient and fast enough and, thus, can be used in practice. The specifications show that LOLA is capable of expressing required properties. Further, in the online experiments, the effect of LOLA on the system is hardly measurable.

elib-URL des Eintrags:https://elib.dlr.de/113126/
Dokumentart:Hochschulschrift (Masterarbeit)
Titel:Runtime Monitoring with LOLA
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Schirmer, Sebastiansebastian.schirmer (at) dlr.dehttps://orcid.org/0000-0002-4596-2479NICHT SPEZIFIZIERT
Datum:11 November 2016
Referierte Publikation:Nein
Open Access:Ja
Seitenanzahl:125
Status:veröffentlicht
Stichwörter:Runtime verification, Runtime monitoring, monitoring, monitor, formal method, specification language, specification, safety, guarantees, log-file analysis
Institution:Saarland University
Abteilung:Faculty of Mathematics and Computer Science
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Luftfahrt
HGF - Programmthema:keine Zuordnung
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L - keine Zuordnung
DLR - Teilgebiet (Projekt, Vorhaben):L - keine Zuordnung
Standort: Braunschweig
Institute & Einrichtungen:Institut für Flugsystemtechnik > Unbemannte Luftfahrzeuge
Hinterlegt von: Schirmer, Sebastian
Hinterlegt am:31 Jul 2017 14:04
Letzte Änderung:28 Mär 2023 23:48

Verfügbare Versionen dieses Eintrags

  • Runtime Monitoring with LOLA. (deposited 31 Jul 2017 14:04) [Gegenwärtig angezeigt]

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

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