无人机系统上的流运行时监控
软件工程
2018-04-13 v1 计算机科学中的逻辑
摘要
具备自主决策能力的无人机系统（UAS）在物流与灾害恢复等广泛应用中日益受到关注。为保障系统正确行为并识别危险情形或系统故障，我们在 DLR ARTIS（智能系统自主研究试验台）系列无人机中应用了流运行时监控技术。我们介绍了在测试台架飞行计算机上进行规范获取、插桩、离线日志文件分析与在线监控的经验。流运行时监控技术对调试与健康管理的支持已被证明对系统设计与开发极为有益。同时，该项目明确了规范语言在可用性上的改进，并影响了该语言的设计。
引用
@article{arxiv.1804.04487,
title = {Stream Runtime Monitoring on UAS},
author = {Florian-Michael Adolf and Peter Faymonville and Bernd Finkbeiner and Sebastian Schirmer and Christoph Torens},
journal= {arXiv preprint arXiv:1804.04487},
year = {2018}
}