PV1 ⊧ Montresearches for patterns of a given form in a stream of events

Monitoring tool that searches for patterns specified by timed regular expressions (TREs) over real-time behaviors

Application domain/field

• Monitoring
• Timed regular expressions (TREs)
• Quantitative timing constraints

Type of tool

Pattern matcher

Expected input

• Pattern
• Input

Format:

• Pattern: timed regular expression in own syntax, passed as argument to the command-line tool
• Input: .txt file, or possibly input directed from another process

Internals

Montre is also called a "timed regular expression matcher". It is available as a command-line tool

Comments

License: GPL-3.0