Skip to Main content Skip to Navigation
Conference papers

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution

Srinivas Pinisetty 1 Yliès Falcone 2 Thierry Jéron 3 Hervé Marchand 3
2 CORSE - Compiler Optimization and Run-time Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
3 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : The TiPEX tool implements the enforcement monitoring algorithms for timed properties proposed in [1]. Enforcement monitors are generated from timed automata specifying timed properties. Such monitors correct input sequences by adding extra delays between events. Moreover, TiPEX also provides modules to generate timed automata from patterns, compose them, and check the class of properties they belong to in order to optimize the monitors. This paper also presents the performance evaluation of TiPEX within some experimental setup.
Document type :
Conference papers
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download

https://hal.inria.fr/hal-01244446
Contributor : Thierry Jéron <>
Submitted on : Tuesday, December 15, 2015 - 5:42:41 PM
Last modification on : Tuesday, December 8, 2020 - 10:20:12 AM
Long-term archiving on: : Saturday, April 29, 2017 - 3:38:07 PM

File

Tipex-Final.pdf
Files produced by the author(s)

Identifiers

Citation

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. RV'2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. pp.306-320, ⟨10.1007/978-3-319-23820-3_22⟩. ⟨hal-01244446⟩

Share

Metrics

Record views

1073

Files downloads

440