监控无人飞行器：规范、集成与经验教训
软件工程
2024-04-19 v1 计算机科学中的逻辑
摘要
本文报告了将运行时监控集成到由德国电动多旋翼直升机制造商Volocopter设计的全电动飞行器中的情况。运行时监控器识别危险情况和系统故障。由于监控器的正确运行对飞行器安全至关重要，监控器的开发必须遵循严格的航空标准。这包括将监控器集成到不同的开发环境中，如日志文件分析、硬件/软件在环测试和试飞。我们使用了基于流的监控框架RTLola来生成针对一系列需求的监控器。在本文中，我们介绍了代表性的监控规范以及我们从集成生成的监控器中获得的经验教训。我们的主要发现是规范和集成需要解耦，因为规范在整个开发过程中保持稳定，而不同的开发阶段需要将监控器单独集成到每个环境中。我们通过在监控框架中引入一个新的抽象层来实现这种解耦，该抽象层使监控器适应每个环境，而不影响从规范生成的核心组件。集成的解耦还使我们能够快速响应监控器硬件和软件环境的频繁变化，这是由于初创公司飞行器的快速开发。
引用
@article{arxiv.2404.12035,
title = {Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned},
author = {Jan Baumeister and Bernd Finkbeiner and Florian Kohn and Florian Löhr and Guido Manfredi and Sebastian Schirmer and Christoph Torens},
journal= {arXiv preprint arXiv:2404.12035},
year = {2024}
}