RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
| Autor: | Christoph Torens, Bernd Finkbeiner, Jan Baumeister, Maximilian Schwenger, Sebastian Schirmer |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
050101 languages & linguistics
Computer science 05 social sciences Runtime verification Testbed Intelligent decision support system Disaster recovery 02 engineering and technology Specification language Range (aeronautics) Formal specification 0202 electrical engineering electronic engineering information engineering Systems engineering 020201 artificial intelligence & image processing 0501 psychology and cognitive sciences Autonomous system (mathematics) |
| Zdroj: | Computer Aided Verification ISBN: 9783030532901 CAV (2) Lecture Notes in Computer Science Lecture Notes in Computer Science-Computer Aided Verification Computer Aided Verification-32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II |
| ISSN: | 0302-9743 1611-3349 |
| DOI: | 10.1007/978-3-030-53291-8_3 |
| Popis: | The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic potential in a wide range of application areas, including logistics, agriculture, civil engineering, and disaster recovery. We report on the development of a dynamic monitoring framework for the DLR ARTIS (Autonomous Rotorcraft Testbed for Intelligent Systems) family of unmanned aircraft based on the formal specification language RTLola. RTLola is a stream-based specification language for real-time properties. An RTLola specification of hazardous situations and system failures is statically analyzed in terms of consistency and resource usage and then automatically translated into an FPGA-based monitor. Our approach leads to highly efficient, parallelized monitors with formal guarantees on the noninterference of the monitor with the normal operation of the autonomous system. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|