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, Laboratoire I3S - 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00587116
Contributor : Team Kairos <>
Submitted on : Tuesday, April 19, 2011 - 2:46:05 PM
Last modification on : Thursday, October 17, 2019 - 12:36:34 PM

Identifiers

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. SIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩. ⟨inria-00587116⟩

Share

Metrics

Record views

440