TRACE User manual

This documentation describes on a high level how the TRACE tool can be used. Although the techniques are tailored to performance engineering of cyber-physical systems, the applicability of the TRACE tool is broader than that. For formal explanations of the concepts and analysis techniques, we refer to the several peer-reviewed academic publications in the references. We have created a number of example traces for the running example that are available here.