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.
Montre
- Software distribution and licensing: Open-source distribution
- Software maturity: Basic usage works, terse documentation.
A Tool for Monitoring Timed Regular Expressions
Voir en ligne : Montre
Navigation
Actualités
- Conférences
- Feb. 24, 2020 Workshop CAPITAL
- 11-15 mai 2020 AlgoTel et CoRes 2020
- June 22-26, 2020 MOVEP 2020
- Séminaires
- 16 décembre 2019 Le séminaire de Lélio Brun: est annulé ou reporté
- 19 décembre 2019 Yannick Zakowski: From representing recursive and impure programs in coq to a modular formal semantics (...)
- 19 décembre 2019 Hang Yu: Towards an efficient parallel parametric linear programming solver (Phd)
- 3 février 2020 Matthieu jan Asavoae mihail: Towards automatic extraction of timing models from hdl designs (mihail asavoae) - (...)
- 6 février 2020 Jules Chouquet: Lower bounds for probabilistic k-set agreement through combinatorial (...)
Séminaires
Nouvelles publications
- Publications
Récentes
- Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo: ParetoLib: A Python Library for Parameter Synthesis
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains
- Hang Yu, David Monniaux: An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection
- Rany Kahil: Schedulable Mixed-critical Multi-core Systems Design
- Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Silence dans la forêt !