Montre：一种用于监控时序正则表达式的工具
形式语言与自动机理论
2019-02-13 v2 软件工程
摘要
我们介绍 Montre，一种用于在实时行为上搜索由时序正则表达式指定的模式的监控工具。我们使用时序正则表达式作为一种紧凑、自然且极具表达力的模式规范语言，用于涉及定量时间约束的监控应用。我们的工具本质上集成了在线与离线时序模式匹配算法，因此能够在已记录行为与流式行为中找到给定模式的所有出现。此外，Montre 被设计为通过标准接口与其他工具协作，以执行更复杂和多样的任务来分析和推理信息物理系统。作为此类首创，我们相信 Montre 将在这些领域开启新的研究路线与技术。
引用
@article{arxiv.1605.05963,
title = {Montre: A Tool for Monitoring Timed Regular Expressions},
author = {Dogan Ulus},
journal= {arXiv preprint arXiv:1605.05963},
year = {2019}
}
备注
Computer Aided Verification 2017