流式监测数据的实时可视化
摘要：流式运行时监控在诸如无人机系统等安全关键应用中用于计算系统健康的综合统计数据和逻辑评估，为操作员在交接情况下提供重要信息。在这种应用中，监控数据的可视化显示比传统用户界面提供的文本提示更有帮助。这种可视化需要进行大量的实时数据处理，包括不同流的数据同步、过滤和聚合，以及用户注意力的优先级和管理。我们提出了一种针对tlola监控框架的可视化方法。我们的方法基于一种原则，即必要的数据处理是监控器本身的责任，而不是外部可视化工具的责任。我们展示了如何将数据转换的各个方面描述为RTLola流方程，并通过双向同步接口将其与可视化组件连接起来。根据我们的经验，这种方法可以产生高度信息丰富的可视化效果，并且监控代码易于理解和维护。
作者：Jan Baumeister and Bernd Finkbeiner and Stefan Gumhold and Malte Schledjewski
论文ID：2205.12823
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-05-26