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

Stream Runtime Monitoring on UAS

Adolf, Florian-Michael and Faymonville, Peter and Finkbeiner, Bernd and Schirmer, Sebastian and Torens, Christoph (2017) Stream Runtime Monitoring on UAS. In: Lecture Notes in Computer Science, 10548. Springer International Publishing AG 2017. International Conference on Runtime Verification, RV 2017, 13.-16. Sep. 2017, Seattle, WA, USA. DOI: 10.1007/978-3-319-67531-2_3 ISBN 978-3-319-67531-2

Full text not available from this repository.

Official URL: https://link.springer.com/chapter/10.1007/978-3-319-67531-2_3

Abstract

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.

Item URL in elib:https://elib.dlr.de/114498/
Document Type:Conference or Workshop Item (Speech)
Title:Stream Runtime Monitoring on UAS
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Adolf, Florian-Michaelflorian.adolf (at) dlr.deUNSPECIFIED
Faymonville, Peterfaymonville (at) react.uni-saarland.deUNSPECIFIED
Finkbeiner, Berndfinkbeiner (at) cs.uni-sb.deUNSPECIFIED
Schirmer, Sebastiansebastian.schirmer (at) dlr.deUNSPECIFIED
Torens, ChristophChristoph.Torens (at) dlr.dehttps://orcid.org/0000-0002-0651-4390
Date:6 September 2017
Journal or Publication Title:Lecture Notes in Computer Science
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:Yes
Volume:10548
DOI :10.1007/978-3-319-67531-2_3
Editors:
EditorsEmail
Shuvendu, LahiriUNSPECIFIED
Reger, GilesUNSPECIFIED
Publisher:Springer International Publishing AG 2017
Series Name:Lecture Notes in Computer Science
ISBN:978-3-319-67531-2
Status:Published
Keywords:Unmanned Aircraft Systems, UAS, Runtime Monitoring, Testing, Verification
Event Title:International Conference on Runtime Verification, RV 2017
Event Location:Seattle, WA, USA
Event Type:international Conference
Event Dates:13.-16. Sep. 2017
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:10 Oct 2017 15:32
Last Modified:10 Oct 2017 15:32

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.