RT-simex: retro-analysis of execution traces
- Deantoni, Julien
- Mallet, Frédéric
- Thomas, Frédéric
- Reydet, Gonzague
- Babau, Jean-Philippe
- Mraidha, Chokri
- Gauthier, Ludovic
- Rioux, Laurent
- Sordon, Nicolas
Publication date
November 2010
DOI Publisher
Association for Computing Machinery (ACM)Abstract
International audienceThis 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
Add to ORKG