TiPEX: A Tool Chain for Timed Property Enforcement During eXecution

Srinivas Pinisetty 1 Yliès Falcone 2 Thierry Jéron 3 Hervé Marchand 3
1 Aalto University
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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
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.
Type de document :
Communication dans un congrès
Ezio Bartocci; Rupak Majumdar. RV'2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. Springer, 9333, pp.306-320, 2015, Lecture Notes in Computer Science. 〈http://rv2015.conf.tuwien.ac.at/〉. 〈10.1007/978-3-319-23820-3_22〉
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01244446
Contributeur : Thierry Jéron <>
Soumis le : mardi 15 décembre 2015 - 17:42:41
Dernière modification le : samedi 12 janvier 2019 - 01:09:59
Document(s) archivé(s) le : samedi 29 avril 2017 - 15:38:07

Fichier

Tipex-Final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

LIG | UGA | INRIA | IRISA | LIG-SRCPR-CORSE | LIG_SRCPR | CENTRALESUPELEC | UR1-UFR-ISTIC | UNIV-RENNES | IRISA-D4

Citation

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. Ezio Bartocci; Rupak Majumdar. RV'2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. Springer, 9333, pp.306-320, 2015, Lecture Notes in Computer Science. 〈http://rv2015.conf.tuwien.ac.at/〉. 〈10.1007/978-3-319-23820-3_22〉. 〈hal-01244446〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

904

Téléchargements de fichiers

130

Contact


archive-ouverte@inria.fr