RT-simex: retro-analysis of execution traces

Julien Deantoni 1 Frédéric Mallet 1 Frédéric Thomas 2 Gonzague Reydet 2 Jean-Philippe Babau 3 Chokri Mraidha 4 Ludovic Gauthier 5 Laurent Rioux 6 Nicolas Sordon 6
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
3 Lab-STICC_UBO_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, UBO - Université de Brest
Abstract : This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the simulation results back to the initial models from which the code was generated. The whole tool-set relies on standard formats (uml marte, Open Trace Format) to ensure a perennial use. This is achieved through the polychronous logical time model of marte.
Type de document :
Communication dans un congrès
Gruia-Catalin Roman, Kevin J. Sullivan. SIGSOFT FSE, Nov 2010, Santa Fe, United States. ISBN 978-1-60558-791-2, pp.377-378, 2010, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering. <http://doi.acm.org/10.1145/1882291.1882357>. <10.1145/1882291.1882357>
Liste complète des métadonnées

https://hal.inria.fr/inria-00587116
Contributeur : Team Aoste <>
Soumis le : mardi 19 avril 2011 - 14:46:05
Dernière modification le : samedi 8 avril 2017 - 01:12:19

Identifiants

Citation

Julien Deantoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, et al.. RT-simex: retro-analysis of execution traces. Gruia-Catalin Roman, Kevin J. Sullivan. SIGSOFT FSE, Nov 2010, Santa Fe, United States. ISBN 978-1-60558-791-2, pp.377-378, 2010, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering. <http://doi.acm.org/10.1145/1882291.1882357>. <10.1145/1882291.1882357>. <inria-00587116>

Partager

Métriques

Consultations de la notice

190