aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of the tasks in embedded applications. aiSee, which is part of the aiT distribution package, supports the visualization of the worst-case program path and the interactive inspection of all pipeline and cache states on arbitrary program points. Typical graphs contain thousands of nodes and edges and hundreds of nested subgraphs.

The above graph, as produced by aiT for PowerPC 755, illustrates the cache and pipeline behavior of a real-time application (only a very small part of the actual graph is shown here). Each layer in the tree corresponds to one CPU cycle. Braches in the tree represent different execution scenarios, e.g. a cache hit and a cache miss at a memory access if both cases have to be analyzed.

aiT was designed in the IST project DAEDALUS according to the requirements of Airbus France for validating the timing behavior of critical avionics software. The Analyzer has been installed in Airbus Toulouse plant.

The results obtained on the topic of WCET, and the improvements of the AbsInt tool is one of the most important results of the DAEDALUS project, from both technical and industrial points of view. <...> aiT is probably the best of its kind in the world, and it is justified to consider this result as a breakthrough. 
DAEDALUS Project Final Review

» aiT worst-case execution time analyzers
» AbsInt: WCET analysis techniques

Last modified on 26 September 2005 by webmaster. © 2003-2005 AbsInt.
URL: http://www.aisee.com/apps/ait.htm

Home
About

 Examples
» GDL files
» SVG output
» PNG output
» HTML output
» PS output
» Applications
» Output split
» Animations
» Search

Free trial
Support
Store
Legal
Contact
Extras
Sitemap