IEEE - Institute of Electrical and Electronics Engineers, Inc. - MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration

2018 IEEE 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS)

Author(s): Masaki Waga ; Ichiro Hasuo ; Kohei Suenaga
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 April 2018
Conference Location: Porto, Portugal
Conference Date: 10 April 2018
Page(s): 14 - 15
ISBN (Electronic): 978-1-5386-6748-4
DOI: 10.1109/MT-CPS.2018.00014
Regular:

We present mmonaa, 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... View More

Advertisement