MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration
Formal Languages and Automata Theory
2018-10-23 v1
Abstract
We present monaa, a monitoring tool over a real-time property specified by either a timed automaton or a timed regular expression. It implements a timed pattern matching algorithm that combines 1) features suited for online monitoring, and 2) acceleration by automata-based skipping. Our experiments demonstrate monaa's performance advantage, especially in online usage.
Keywords
Cite
@article{arxiv.1810.09351,
title = {MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration},
author = {Masaki Waga and Ichiro Hasuo and Kohei Suenaga},
journal= {arXiv preprint arXiv:1810.09351},
year = {2018}
}
Comments
Published in: 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS)