Montre is a monitoring tool to search patterns specified by timed regular expressions over real-time behaviors. It uses timed regular expressions as a compact, natural, and highly-expressive pattern specification language for monitoring applications involving quantitative timing constraints. The tool essentially incorporates online and offline timed pattern matching algorithms so it is capable of finding all occurrences of a given pattern over both logged and streaming behaviors. Furthermore, Montre is designed to work with other tools via standard interfaces to perform more complex and versatile tasks for analyzing and reasoning about cyber-physical systems.
- Software distribution and licensing: Open-source distribution
- Software maturity: Basic usage works, terse documentation.
- Software Maintenance and Evolution: Basic maintenance to keep the software alive, no future plans
A Tool for Monitoring Timed Regular Expressions
View online : Montre