TRACE Getting started

The TRACE tool is available as a plugin for the Eclipse IDE through the update site repository. Once the TRACE plugins are installed, the Eclipse Help menu contains a section on TRACE. It describes the input format of TRACE and contains an explanation of the visualization and analysis features. Below are instructions to install TRACE from scratch.

⦁ Download an Eclipse IDE, e.g.,
⦁ Unzip the IDE, e.g., to the directory “TRACE”
⦁ Start the Eclipse IDE via “TRACE /eclipse/eclipse.exe”
⦁ Select a workspace directory: Use the browse button and create a directory “TRACE/workspace”.
⦁ (Uncheck the checkbox in the lower-right corner of the “welcome” tab and close it)

⦁ Install the TRACE plugin and the Streaming DSL plugin

⦁ Select “Help -> Install New Software”
⦁ Click “Add” and put a name (“TRACE update site”) and location:
⦁ Click “OK” and check that the window now shows the TRACE and the TRACE StreamDSL features
⦁ Select these features and click “Next”
⦁ Complete the remaining steps of the installation process (including acceptance of the license agreement and a restart of the Eclipse IDE)

⦁ Download the “” file from
⦁ Unzip this file in the “TRACE” directory
⦁ In Eclipse: right-click the “Package Explorer” view (left hand side of window) and select “New -> Project”

⦁ Select “General -> Project” and click “Next”
⦁ Choose a project name, e.g., “TRACE examples”, uncheck the “use default location” option, and use the browse button to select the directory with the unzipped contents. Finally, click “Finish”.
⦁ Verify that the “Package Explorer” view now shows the contents of the file. Double-click “reference.etf” and check whether a Gantt-chart view is shown. If this is the case, then installation has been successful.

What is new in version 0.6.3

⦁ Bug: Prevent clearing internal data structures of trace when the workspace changes
⦁ Feature: Allow scientific notation in MTL time intervals
⦁ Feature: Add DSL for specification of trace properties for streaming applications


  1. M. Hendriks, M. Geilen, A.R.B. Behrouzian, T. Basten, H. Alizadeh, and D. Goswami. “Checking metric temporal logic with TRACE,” in 16th International Conference on Application of Concurrency to System Design (ACSD 2016), Torun, Poland, 2016. doi: 10.1109/ACSD.2016.13
  2. M. Hendriks, J. Verriet, T. Basten, B. Theelen, M. Brassé, and L. Somers, “Analyzing execution traces: critical-path analysis and distance analysis,” International Journal on Software Tools for Technology Transfer, 2016. doi:10.1007/s10009-016-0436-z


Martijn Hendriks,


Business manager:

Frans Beenker


+31 (0)88-866 5420