TiPEX: A Tool Chain for Timed Property Enforcement During eXecution - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

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.
Fichier principal
Vignette du fichier
Tipex-Final.pdf (585.27 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01244446 , version 1 (15-12-2015)

Identifiers

Cite

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⟩
519 View
192 Download

Altmetric

Share

Gmail Facebook X LinkedIn More