Current browse context:
cs.RO
Change to browse by:
References & Citations
Computer Science > Robotics
Title: RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
(Submitted on 27 Mar 2020 (v1), last revised 29 Jul 2020 (this version, v3))
Abstract: 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.
Submission history
From: Jan Baumeister [view email][v1] Fri, 27 Mar 2020 11:13:36 GMT (200kb,D)
[v2] Tue, 28 Apr 2020 14:46:04 GMT (211kb,D)
[v3] Wed, 29 Jul 2020 08:02:42 GMT (200kb,D)
Link back to: arXiv, form interface, contact.