RT-simex: retro-analysis of execution traces - Archive ouverte HAL Access content directly
Conference Papers Year : 2010

RT-simex: retro-analysis of execution traces

(1) , (1) , (2) , (2) , (3) , (4) , (5) , (6) , (6)
1
2
3
4
5
6

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.
Not file

Dates and versions

inria-00587116 , version 1 (19-04-2011)

Identifiers

Cite

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⟩
257 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More