论文标题
rtlola被清除用于起飞：监视自动驾驶飞机
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
论文作者
论文摘要
无人飞机的自主控制是一个高度安全的关键领域，在各种应用领域，包括物流，农业，土木工程和灾难恢复，具有巨大的经济潜力。我们报告了基于正式规格语言Rtlola的无人飞机的DLR Artis（智能系统的自动旋翼测试床）的动态监控框架的开发。 RTLOLA是一种基于流的实时属性的规范语言。根据一致性和资源使用情况，对危险情况和系统故障的RTLOLA规范进行了静态分析，然后自动转化为基于FPGA的显示器。我们的方法导致高效，并行的监视器，并通过自主系统的正常操作对监视器进行正式保证。
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.
