AbsInt – TimeWeaver2019-08-09T03:23:56+00:00

Project Description

AbsInt – TimeWeaver

What TimeWeaver Does

TimeWeaver for AURIX is a hybrid WCET analyzer that combines sophisticated static program analysis techniques (value + path analysis) with non-intrusive live tracing. Real-Time instruction level timings are extracted on-demand and extrapolated to identify the worst-case execution scenario.

The user simply provides the application ELF binary, specifies a function/task entry, and connects via network to the Infineon DAS Trace Server, communicating directly to the Infineon ED hardware. The hardware sends the MCDS trace data back to TimeWeaver which computes a worst-case execution path and time, visualizes the path and provides detailed reporting about timing contributions and trace coverage back to the user.

The WCET result can be used for timing verification or optimization (i.e. identify timing bottlenecks) in the considered code. An automatic tool qualification according to ISO 26262, DO-178B/C, IEC-61508 is possible.

The hybrid approach works for a wide range of modern high-performance processors that are not statically predictable anymore, not even by a sophisticated tool such as aiT. This includes multi-core processors where inter-core interferences cannot be prevented or controlled in a satisfactory way, or where the available documentation is insufficient to build a static timing model.

TimeWeaver is non-intrusive. It needs no code instrumentation that distorts timing measurements. It uses the embedded trace units of modern embedded processors (Nexus 5001, CoreSight ETM, etc.) to observe program flow. Interference effects included in the traces, such as access delays to shared resources, are taken into account.

Detailed information about the execution time and time-critical paths, including:

  • Global end-to-end time, based on the maximum observed trace segment times combined to an overall bound
  • End-to-end bounds for specific functions, depending on trace points
  • Coverage of the control-flow graph by the input traces
  • Maximum possible and maximum observed iteration counts for loops
  • Time variance of each trace segment over all traces

Practical User-Interface

TimeWeaver offers a powerful user-interface, with fully integrated graphical and textual views for control flow, analysis results, source code, assembly code, and configuration files. You can:

  • Interactively explore analysis results
  • Save and restore analysis scenarios
  • Export customizable reports for documentation and certification purposes
  • Start all analyses from the same GUI and handle all the tools with the same look and feel
TimeWeaver screen shot showing advantage of information views

The Business Case is Clear

Violating timing constraints on embedded applications can have severe consequences for the functional behavior of the application. A malfunctioning system can cause unreasonable risk to life and property and must be avoided. Traditional approaches like dynamic end-to-end measurements are expensive, the test-end criterion is not clear and cannot provide worst-case guarantees.

TimeWeaver for AURIX works without the need for an expensive debugger solution. It connects directly to the Infineon DAS Trace Server, controls the ED hardware and receives back the required tracing information which is automatically processed in TimeWeaver’s trace and WCET analyzer. This approach predicts a worst-case execution scenario statically using the dynamically observed instruction level timings. This will help the software and verification/test engineer to increase the code quality, as well as fulfill the highest timing related safety requirements.




AbsInt TimeWeaver Webinar from October 10, 2018 is now available. If you missed the live webinar, watch the video at your convenience. Submit the form below and you’ll receive an email with a unique password that grants you unlimited access.