MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration

Masaki Waga,Ichiro Hasuo,Kohei Suenaga
DOI: https://doi.org/10.1109/MT-CPS.2018.00014
2018-10-22
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.
Formal Languages and Automata Theory
What problem does this paper attempt to address?