针对时间与数据参数的符号化监控
形式语言与自动机理论
2019-07-31 v1 系统与控制
摘要
监控在于判定一个日志是否满足给定规约。在这项工作中，我们提出一种基于自动机的 formalism 来监控以动作形式给出的日志，这些动作关联有时间戳和无限域上的任意数据值。我们的 formalism 同时使用时间参数和数据参数，并能够输出关于这些参数以及属性满足或违反的日志片段的符号化答案。我们在一个专用原型 SyMon 中实现了我们的方法，实验表明其高表达能力仍允许高效的在线监控。
引用
@article{arxiv.1905.04486,
title = {Symbolic Monitoring against Specifications Parametric in Time and Data},
author = {Masaki Waga and Étienne André and Ichiro Hasuo},
journal= {arXiv preprint arXiv:1905.04486},
year = {2019}
}
备注
Accepted to CAV 2019