
TimingExplorer is available as an ał module, i.e. it can be combined
with other analyzers from AbsInt in a single intuitive user interface.

Overview of analysis results for different ECU configurations.

Difference analysis allows to graphically compare the WCET behavior
of any two configurations.

Every configuration is easily parameterizable by means of a textual file in an easy-to-read and easy-to-learn format.