部分同步下的近似分布式监控：平衡速度与准确性
Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
AI总结：
针对部分同步分布式系统中STL运行时验证精确监控开销大的问题，提出抽象交错行为的近似监控算法，并结合精确监控器，在不损失精度的前提下提升效率。
摘要：
在进程不共享全局时钟的分布式系统中，部分同步通过保证所有应用之间时钟偏差有界的时钟同步来实现。现有的针对部分同步下时间逻辑规范的分布式运行时验证解决方案虽然精确，但存在显著的计算开销。本文提出一种用于信号时序逻辑（Signal Temporal Logic，STL）的近似分布式监控算法，通过抽象掉潜在的交错行为来缓解这一问题。这种保守抽象使分布式监控器能够显著加速，但在准确性上需要权衡。我们通过一种将近似监控器与其精确对应物相结合的方法来解决这一权衡，从而在不牺牲精确性的情况下提高效率。我们通过多个实验评估了该方法，展示了其在真实应用和合成示例中的有效性。
英文摘要：
In distributed systems with processes that do not share a global clock, \emph{partial synchrony} is achieved by clock synchronization that guarantees bounded clock skew among all applications. Existing solutions for distributed runtime verification under partial synchrony against temporal logic specifications are exact but suffer from significant computational overhead. In this paper, we propose an \emph{approximate} distributed monitoring algorithm for Signal Temporal Logic (STL) that mitigates this issue by abstracting away potential interleaving behaviors. This conservative abstraction enables a significant speedup of the distributed monitors, albeit with a tradeoff in accuracy. We address this tradeoff with a methodology that combines our approximate monitor with its exact counterpart, resulting in enhanced efficiency without sacrificing precision. We evaluate our approach with multiple experiments, showcasing its efficacy in both real-world applications and synthetic examples.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
