RT-simex: retro-analysis of execution traces

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. Categories and Subject Descriptors C.3 [Special-purpose and application-based systems]: real-time and embedded systems; C.4 [Performance of systems]: modeling techniques

• Type: Journal
• Year: 2010
• Where: SIGSOFT
• Authors: Julien DeAntoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon
• Keywords: French ANR Project, Open Trace Format, Parallel Embedded Code, SIGSOFT 2010, Software Engineering