The company was founded in 1998 as a technology spin-off from the Department of Programming Languages and Compiler Construction of Prof. Reinhard Wilhelm at Saarland University.

aiT WCET Analyzer statically computes safe upper bounds for the worst-case execution time[2] of tasks in real-time systems.

[3] The U.S. National Highway Traffic Safety Administration (NHTSA) and NASA used it in its Study on Sudden Unintended Acceleration in the electronic throttle control systems of Toyota vehicles.

In 2010, aiT and StackAnalyzer were integrated into SCADE Suite from Esterel Technologies, making it the first embedded-software development environment worldwide to feature WCET and stack analysis at the model level.

Astrée stands for Analyseur statique de logiciels temps-réel embarqués ("real-time embedded software static analyzer").

It has been used successfully on the flight control software of the AIRBUS A340 and A380,[13] where it raised no false alarms, even for complex computations involving floating-point numbers.

In April 2008, Astrée was able to prove the absence of any runtime error in a C version of the automatic docking software of the Jules Verne Automated Transfer Vehicle (ATV) used for transporting payloads to the International Space Station.