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

Runtime Monitoring with LOLA

Schirmer, Sebastian (2016) Runtime Monitoring with LOLA. Master's, Saarland University.

This is the latest version of this item.

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

Abstract

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.

Item URL in elib:https://elib.dlr.de/113126/
Document Type:Thesis (Master's)
Title:Runtime Monitoring with LOLA
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Schirmer, SebastianUNSPECIFIEDhttps://orcid.org/0000-0002-4596-2479UNSPECIFIED
Date:11 November 2016
Refereed publication:No
Open Access:Yes
Number of Pages:125
Status:Published
Keywords:Runtime verification, Runtime monitoring, monitoring, monitor, formal method, specification language, specification, safety, guarantees, log-file analysis
Institution:Saarland University
Department:Faculty of Mathematics and Computer Science
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:other
DLR - Research area:Aeronautics
DLR - Program:L - no assignment
DLR - Research theme (Project):L - no assignment
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems > Unmanned Aircraft
Deposited By: Schirmer, Sebastian
Deposited On:31 Jul 2017 14:04
Last Modified:28 Mar 2023 23:48

Available Versions of this Item

  • Runtime Monitoring with LOLA. (deposited 31 Jul 2017 14:04) [Currently Displayed]

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.