RT-simex: retro-analysis of execution traces
Abstract
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze 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. The main difficulty is to reconcile different execution traces extracted from codes running concurrently on different unsynchronized platforms. This is achieved through the polychronous logical time model of MARTE.
BibTeX
@inproceedings{DeAntoni-al:FSE10,
author = {Julien DeAntoni and
Fr{\'{e}}d{\'{e}}ric Mallet and
Fr{\'{e}}d{\'{e}}ric Thomas and
Gonzague Reydet and
Jean{-}Philippe Babau and
Chokri Mraidha and
Ludovic Gauthier and
Laurent Rioux and
Nicolas Sordon},
title = {{RT-simex:} retro-analysis of execution traces},
booktitle = {FSE},
pages = {377--378},
publisher = {{ACM}},
year = {2010},
}