Stream Runtime Monitoring on UAS

03/29/2018
by   Florian-Michael Adolf, et al.
0

Unmanned Aircraft Systems (UAS) with autonomous decision-making capabilities are of increasing interest for a wide area of applications such as logistics and disaster recovery. In order to ensure the correct behavior of the system and to recognize hazardous situations or system faults, we applied stream runtime monitoring techniques within the DLR ARTIS (Autonomous Research Testbed for Intelligent System) family of unmanned aircraft. We present our experience from specification elicitation, instrumentation, offline log-file analysis, and online monitoring on the flight computer on a test rig. The debugging and health management support through stream runtime monitoring techniques have proven highly beneficial for system design and development. At the same time, the project has identified usability improvements to the specification language, and has influenced the design of the language.

READ FULL TEXT
research
03/27/2020

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

The autonomous control of unmanned aircraft is a highly safety-critical ...
research
12/03/2020

From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project

The Independent Configurable Architecture for Reliable Operations of Unm...
research
08/31/2018

TeSSLa: Temporal Stream-based Specification Language

Runtime verification is concerned with monitoring program traces. In par...
research
03/18/2020

FPGA Stream-Monitoring of Real-time Properties

An essential part of cyber-physical systems is the online evaluation of ...
research
01/16/2019

Survey of Bayesian Networks Applications on Unmanned Intelligent Autonomous Vehicles

This article review the applications of Bayesian networks on Unmanned In...
research
04/07/2020

Towards Highly Scalable Runtime Models with History

Advanced systems such as IoT comprise many heterogeneous, interconnected...
research
12/09/2020

Operator as a Service: Stateful Serverless Complex Event Processing

Complex Event Processing (CEP) is a powerful paradigm for scalable data ...

Please sign up or login with your details

Forgot password? Click here to reset