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

Stream Runtime Monitoring on UAS

Adolf, Florian-Michael und Faymonville, Peter und Finkbeiner, Bernd und Schirmer, Sebastian und 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, 2017-09-13 - 2017-09-16, Seattle, WA, USA. doi: 10.1007/978-3-319-67531-2_3. ISBN 978-3-319-67531-2.

Dieses Archiv kann nicht den Volltext zur Verfügung stellen.

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

Kurzfassung

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.

elib-URL des Eintrags:https://elib.dlr.de/114498/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Stream Runtime Monitoring on UAS
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Adolf, Florian-Michaelflorian.adolf (at) dlr.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Faymonville, Peterfaymonville (at) react.uni-saarland.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Finkbeiner, Berndfinkbeiner (at) cs.uni-sb.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Schirmer, Sebastiansebastian.schirmer (at) dlr.dehttps://orcid.org/0000-0002-4596-2479NICHT SPEZIFIZIERT
Torens, ChristophChristoph.Torens (at) dlr.dehttps://orcid.org/0000-0002-0651-4390NICHT SPEZIFIZIERT
Datum:6 September 2017
Erschienen in:Lecture Notes in Computer Science
Referierte Publikation:Ja
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Ja
Band:10548
DOI:10.1007/978-3-319-67531-2_3
Herausgeber:
HerausgeberInstitution und/oder E-Mail-Adresse der HerausgeberHerausgeber-ORCID-iDORCID Put Code
Shuvendu, LahiriNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Reger, GilesNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Verlag:Springer International Publishing AG 2017
Name der Reihe:Lecture Notes in Computer Science
ISBN:978-3-319-67531-2
Status:veröffentlicht
Stichwörter:Unmanned Aircraft Systems, UAS, Runtime Monitoring, Testing, Verification
Veranstaltungstitel:International Conference on Runtime Verification, RV 2017
Veranstaltungsort:Seattle, WA, USA
Veranstaltungsart:internationale Konferenz
Veranstaltungsbeginn:13 September 2017
Veranstaltungsende:16 September 2017
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 (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Flugsystemtechnik > Unbemannte Luftfahrzeuge
Hinterlegt von: Torens, Christoph
Hinterlegt am:10 Okt 2017 15:32
Letzte Änderung:24 Apr 2024 20:18

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.