Easily add static timing analysis to your development process

Combined system-level and code-level timing analysis

aiT supports tight integration with SymTA/S, the cutting-edge scheduling ana­lysis tool suite from Symtavision (now part of Luxoft), enabling you to run WCET analyses at the code level directly from the SymTA/S user interface.

Symtavision-Logo
SymTA/S screenshot

SymTA/S is used for budgeting, scheduling verification and optimization for processors, elec­tronic control units (ECUs), communication buses, networks and complete embedded real-time systems. It enables unique end-to-end timing analysis, visualization and optimization for today’s and next-generation distributed systems.

In automotive electronics, SymTA/S supports standards such as OSEK, AUTOSAR-OS, CAN, FlexRay, and Ethernet.

Workflow

The SymTA/S–aiT coupling allows you to:

  1. trigger WCET analyses at the code level
  2. optionally also trigger StackAnalyzer for stack-usage analyses
  3. import safe analysis results from aiT into SymTA/S in a fully automatic way
  4. perform scheduling analysis in SymTA/S to verify deadlines

Symtavision and AbsInt have cooperated on the integration in the framework of the INTEREST project within the European Commission’s 6th Framework Programme on Research, Technolog­i­cal Development and Demonstration.