AIRBUS logo

aiT was designed in the IST project DAEDALUS according to the re­quirements of Airbus France for validating the timing behavior of criti­cal avionics software.

“The results obtained on the topic of WCET, and the improvements of the AbsInt tool is one of the most important achievements 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 con­sider this result as a breakthrough.”

DAEDALUS Project Final Review

“The comparison shows that the WCET [computed by aiT] typically is about 25% higher than the measured time for the same task, the real but non-calculable WCET being in between. Another comparison is worth to mention: the one between aiT’s results and those of Airbus’ traditional method. As predicted when the decision for using aiT was made, the figures obtained by the traditional approach are a lot higher than those produced by the aiT-based method. Ac­tu­ally the overestimation is such that the traditional figures are useless.”

Review by Airbus France

Among other things, aiT was used by Airbus to validate the timing behavior of all tasks of the flight control software of the A380, the world’s largest passenger aircraft. The analysis was per­formed on the ground as a critical part of the safety certification of the aircraft.

IST Prize logo

IST Prize

In 2003, AbsInt was awarded a European Information Society Technology (IST) Prize for aiT. The IST Prize is the most distinguished award for “groundbreaking products that represent the best of European innovation in information society technologies”.

WCET Tool Challenge

In 2006, aiT participated in the first WCET Tool Challenge, organized by University of Mälardalen and sponsored by the ARTIST2 Network of Excellence on Embedded Systems Design.

The aim of the WCET Tool Challenge was to inspect and to compare different approaches in analyzing the worst-case execution time. All available tools and prototypes able to determine safe upper bounds for the WCET of tasks have participated.

aiT was the only tool that started for 3 different real processor architectures. It was the only tool that was able to produce results for all test programs. The results of analyses by aiT were in most cases exceptionally precise. Finding in the challenge was, amongst others, that aiT allows for user-friendly WCET analysis, advises against unrealistic annotations, and provides tight WCET values.

“ aiT was able to handle every kind of benchmark and every test program that was tested in the Challenge. aiT is able to support WCET analysis even for complex processors. […] aiT dem­onstrates its leading position through all its features, which contribute to its position as an industry-strength tool, satisfying the requirements from industry as posed by EADS Airbus and proven by the accomplishment in various projects.”

WCET Tool Challenge 2006 Final Report (» PDF, 570kB)

Integration with SCADE

SCADE Suite logo

In 2008, aiT was integrated into the SCADE Suite, the market-leading mission and safety-critical embedded software de­vel­op­ment environ­ment from Esterel Technologies. SCADE is the only model-based design solution to offer DO-178B qualified C code generation up to level A, certified IEC 61508 C code generation up to SIL 3 and certified EN 50128 C code generation up to SIL 4. Thanks to aiT, SCADE is the first embedded-software development environment worldwide to feature WCET analysis at the model level.

Projects

aiT is currently being used in various international industrial and research projects. Most recently, in the ALL-TIMES project, aiT has been integrated with several other timing analysis tools into a single development framework.

Tool integration in the ALL-TIMES project

aiT has also been used in numerous master’s projects, including:

Further projects include:

German media coverage

Learn more about aiT…


Handouts

Top