Stream Runtime Monitoring on UAS
| Autor: | Peter Faymonville, Florian-Michael Adolf, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
FOS: Computer and information sciences
Computer Science - Logic in Computer Science Computer science media_common.quotation_subject Testing 02 engineering and technology Runtime Monitoring Computer Science - Software Engineering 0203 mechanical engineering 0202 electrical engineering electronic engineering information engineering Instrumentation (computer programming) Flight computer media_common Unmanned Aircraft Systems 020301 aerospace & aeronautics business.industry Testbed Verification Disaster recovery Usability Specification language Logic in Computer Science (cs.LO) Software Engineering (cs.SE) Debugging Embedded system Systems engineering Systems design 020201 artificial intelligence & image processing UAS business |
| Zdroj: | Runtime Verification ISBN: 9783319675305 RV Lecture Notes in Computer Science Lecture Notes in Computer Science-Runtime Verification 17th International Conference on Runtime Verification (RV 2017) |
| ISSN: | 0302-9743 1611-3349 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|