Montre: A Tool for Monitoring Timed Regular Expressions

We present Montre, a monitoring tool to search patterns specified by timed regular expressions over real-time behaviors. We use timed regular expressions as a compact, natural, and highly-expressive pattern specification language for monitoring applications involving quantitative timing constraints. Our 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. As the first of its kind, we believe Montre will enable a new line of inquiries and techniques in these fields.

• Publication year

  2016

• Venue

  International Conference on Computer Aided Verification

• Publication date

  2016-05-19

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-319-63387-9_16arXiv 1605.05963
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Tools and Algorithms for the Construction and Analysis of Systems

  2018cited by this paper
• Mining timed regular expressions from system traces

  2016cited by this paper
• Online Timed Pattern Matching Using Derivatives

  2016cited by this paper
• Trajectory data mining: A review of methods and applications

  2016cited by this paper
• Measuring with Timed Patterns

  2015cited by this paper
• A Pattern-Based Formalization of Cloud-Based Elastic Systems

  2015cited by this paper
• Trajectory Data Mining

  2015cited by this paper
• Timed Pattern Matching

  2014cited by this paper
• Mining Requirements From Closed-Loop Control Models

  2013cited by this paper
• Global Positioning System Data Analysis: Velocity Ranges and a New Definition of Sprinting for Field Sport Athletes

  2012cited by this paper
• Realtime regular expressions for analog and mixed-signal assertions

  2011cited by this paper
• S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems

  2011cited by this paper
• Temporal Data Mining

  2010cited by this paper
• Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems

  2010cited by this paper
• The Power of Assertions in SystemVerilog

  2010cited by this paper
• Regular-expression derivatives re-examined

  2009cited by this paper
• AMT: A Property-Based Monitoring Tool for Analog Systems

  2007cited by this paper
• SERIE S ON INTEGRATED CIRCUITS AND SYSTEMS

  2005cited by this paper
• LOLA: runtime monitoring of synchronous systems

  2005cited by this paper
• Testing Extended Regular Language Membership Incrementally by Rewriting

  2003cited by this paper
• Generating Optimal Monitors for Extended Regular Expressions

  2003cited by this paper
• A review of symbolic analysis of experimental data

  2003cited by this paper
• Timed regular expressions

  2002cited by this paper
• A Kleene theorem for timed automata

  1997cited by this paper
• Logics and Models of Real Time: A Survey

  1991cited by this paper
• Programming Techniques: Regular expression search algorithm

  1968cited by this paper
• Derivatives of Regular Expressions

  1964cited by this paper
• Representation of Events in Nerve Nets and Finite Automata

  1951cited by this paper

• A Variety of Request-Response Specifications

  2025cites this paper
• Distributed Monitoring of Timed Properties

  2024cites this paper
• Elements of Timed Pattern Matching

  2024cites this paper
• RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics

  2023cites this paper
• Decentralised Runtime Verification of Timed Regular Expressions

  2022cites this paper
• Specifying and detecting temporal patterns with shape expressions

  2021cites this paper
• MINTS: Unsupervised Temporal Specifications Miner

  2021cites this paper
• On the Complexity of Timed Pattern Matching

  2021cites this paper
• RTAMT: Online Robustness Monitors from STL

  2020cites this paper
• MoonLight: a lightweight tool for monitoring spatio-temporal properties

  2020cites this paper
• EC.LANG – A Language for Specifying Response Time Analyses of Event Chains

  2020cites this paper
• A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic

  2020cites this paper
• Parametric Timed Pattern Matching

  2019cites this paper
• Quantitative Regular Expressions for Arrhythmia Detection

  2019cites this paper
• F1/10: An Open-Source Autonomous Cyber-Physical Platform

  2019cites this paper
• Almost event-rate independent monitoring

  2019cites this paper
• Formal Techniques for Verification and Testing of Cyber-Physical Systems

  2019cites this paper
• Symbolic Monitoring against Specifications Parametric in Time and Data

  2019cites this paper
• Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata

  2019cites this paper
• Shape Expressions for Specifying and Extracting Signal Features

  2019cites this paper
• Specifying Timed Patterns using Temporal Logic

  2018cites this paper
• Offline Timed Pattern Matching under Uncertainty

  2018cites this paper
• AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic

  2018cites this paper
• A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs

  2018influential citation
• Embedded software for robotics: challenges and future directions: special session

  2018cites this paper
• A taxonomy for classifying runtime verification tools

  2018cites this paper
• Moore-Machine Filtering for Timed and Untimed Pattern Matching

  2018cites this paper
• MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration

  2018influential citation
• Online Timed Pattern Matching Using Automata

  2018cites this paper
• Special Session: Embedded Software for Robotics: Challenges and Future Directions

  2018cites this paper
• Almost Event-Rate Independent Monitoring of Metric Dynamic Logic

  2017influential citation
• On the Quantitative Semantics of Regular Expressions over Real-Valued Signals

  2017cites this paper
• AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties

  2017influential citation
• Efficient Online Timed Pattern Matching by Automata-Based Skipping

  2017influential citation
• TREM: A tool for mining timed regular specifications from system traces

  2017cites this paper
• Quantitative Regular Expressions for Arrhythmia Detection Algorithms

  2016cites this paper