RTLola 获准起飞：监控自主飞行器
机器人学
2020-07-30 v3 软件工程
信号处理
摘要
无人飞行器的自主控制是一个高度安全关键的领域，在物流、农业、土木工程和灾害恢复等广泛应用中具有巨大的经济潜力。我们报告了基于形式化规范语言 RTLola 为 DLR ARTIS（智能系统自主旋翼机试验台）系列无人飞行器开发动态监控框架的工作。RTLola 是一种用于实时属性的基于流的规范语言。对危险情况和系统故障的 RTLola 规范就一致性和资源使用进行静态分析，然后自动翻译为基于 FPGA 的监视器。我们的方法产生了高效的、并行化的监视器，并对监视器与自主系统正常操作的非干扰性提供了形式化保证。
引用
@article{arxiv.2004.06488,
title = {RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft},
author = {Jan Baumeister and Bernd Finkbeiner and Sebastian Schirmer and Maximilian Schwenger and Christoph Torens},
journal= {arXiv preprint arXiv:2004.06488},
year = {2020}
}