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
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.
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.12, 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 : mercredi 11 avril 2018 - 01:51:04
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 | INRIA-RENGRE

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.12, 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

587

Téléchargements de fichiers

101

Contact


archive-ouverte@inria.fr