| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution
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.
Cited literature [7 references]
https://hal.inria.fr/hal-01244446
Contributor : Thierry Jéron Connect in order to contact the contributor
Submitted on : Tuesday, December 15, 2015 - 5:42:41 PM
Last modification on : Sunday, June 26, 2022 - 5:01:41 AM
Long-term archiving on: : Saturday, April 29, 2017 - 3:38:07 PM
Contributor : Thierry Jéron Connect in order to contact the contributor
Submitted on : Tuesday, December 15, 2015 - 5:42:41 PM
Last modification on : Sunday, June 26, 2022 - 5:01:41 AM
Long-term archiving on: : Saturday, April 29, 2017 - 3:38:07 PM
File
Tipex-Final.pdf
Files produced by the author(s)