RTLola获准起飞：监控自动驾驶飞机
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
摘要：
无人驾驶飞机的自主控制是一个高度安全关键的领域，在物流、农业、土木工程和灾难恢复等广泛的应用领域具有巨大的经济潜力。我们报告的发展动态监测框架的DLR ARTIS（自主旋翼机智能系统试验台）系列的无人驾驶飞机的基础上，正式的规约语言RTLola。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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
