aiSee Application Examples: aiT
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
at the 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
| » Press release: AbsInt enhances the safety of the A380 |