Versenden
Drucken
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, 13.-16. Sep. 2017, Seattle, WA, USA. DOI: 10.1007/978-3-319-67531-2_3 ISBN 978-3-319-67531-2
Dieses Archiv kann nicht den gesamten Text 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.
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Titel: | Stream Runtime Monitoring on UAS | ||||||||||||||||||
| Autoren: |
| ||||||||||||||||||
| Datum: | 6 September 2017 | ||||||||||||||||||
| Erschienen in: | Lecture Notes in Computer Science | ||||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||||
| In Open Access: | Nein | ||||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||||
| In ISI Web of Science: | Ja | ||||||||||||||||||
| Band: | 10548 | ||||||||||||||||||
| DOI : | 10.1007/978-3-319-67531-2_3 | ||||||||||||||||||
| Herausgeber: |
| ||||||||||||||||||
| 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 | ||||||||||||||||||
| Veranstaltungsdatum: | 13.-16. Sep. 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 | ||||||||||||||||||
| Standort: | Braunschweig | ||||||||||||||||||
| Institute & Einrichtungen: | Institut für Flugsystemtechnik > Unbemannte Luftfahrzeuge | ||||||||||||||||||
| Hinterlegt von: | Torens, Christoph | ||||||||||||||||||
| Hinterlegt am: | 10 Okt 2017 15:32 | ||||||||||||||||||
| Letzte Änderung: | 10 Okt 2017 15:32 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
