RT-simex: retro-analysis of execution traces
Résumé
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.