有损事件流上有限状态性质的最优运行时验证
计算机科学中的逻辑
2020-04-10 v1 软件工程
摘要
由于有限状态性质的监控程序会带来较高的内存和执行时间开销，其监控颇具挑战性。某些事件若自然地被跳过或丢失，可以降低这两种开销，但会导致对当前监控器状态的不确定性。在这项工作中，我们提出了一个理论框架来建模这些有损事件流，并给出了一个监控器的构造，该监控器观察这些流而不产生误报。所构造的监控器在所有完备监控器中具有最优可靠性。我们使用我们的框架建模了几种具有实际相关性的丢失类型，并为具有大量状态的性质提供了更小的近似监控器的构造。
引用
@article{arxiv.2004.04214,
title = {Optimal Runtime Verification of Finite State Properties over Lossy Event Streams},
author = {Peeyush Kushwaha and Rahul Purandare and Matthew B. Dwyer},
journal= {arXiv preprint arXiv:2004.04214},
year = {2020}
}