Success stories

Airbus

Airbus logo

For many years Airbus France has been using aiT, StackAnalyzer and Astrée in the devel­op­ment of safety-critical avionics software for sever­al airplane types, including the A380, the world’s largest passenger aircraft. The analyzers are used as part of certifi­cation strategy to demonstrate compliance to DO-178B, up to Level A.

Vestas

Vestas logo

As a worldwide leading manufacturer of wind turbines, Vestas uses our tools to verify the timing behavior of their wind turbine control software and to make sure that no stack overflows can occur.

AREVA

AREVA logo

AREVA employs StackAnalyzer and Astrée for verification of their safety-critical TELEPERM XS platform that is used, among other things, for engineering, testing, commissioning, operating and troubleshooting nuclear reactors.

Daimler

Daimler logo

Daimler has been using aiT and StackAnalyzer in many auto­motive software projects, including the power­train control system of the new Actros truck.

Honda

Honda logo

aiT, StackAnalyzer and ValueAnalyzer have been used by Honda in the FADEC software development of an air­craft turbofan engine.

OHB

OHB logo

OHB uses aiT and StackAnalyzer in the development of onboard software essential for mission success of the SmallGEO satellite platform for geo­stationary communi­cation satel­lites and the GALILEO FOC platform for satel­lite navigation.

ESA

ESA logo

In April 2008, Astrée was used to prove the absence of any runtime errors in a C version of the automatic docking software of the Jules Verne Automated Transfer Vehicle (ATV), enabling ESA to transport payloads to the International Space Station. This was the first fully automatic docking maneuver not per­formed by a Russian vessel.

u-blox

u-blox logo

As the world’s leading provider of embedded wireless communication and positioning solutions, u‑blox in Switzerland is using StackAnalyzer to avoid stack overflow problems at compile time and to increase the reliabi­lity and quality of their control­ling software.

Helbako

Helbako logo

The global automotive supplier Helbako in Germany is using Astrée in their development process to demonstrate MISRA compliance of the code and to make sure that no runtime errors can occur in their electronic control software.

MTU Friedrichshafen

MTU Friedrichshafen logo

MTU Friedrichshafen uses aiT, StackAnalyzer and Astrée to demonstrate the cor­rectness of control soft­ware for emergency power generators in power plants. The tools in combination with their quali­fi­cation packages are part of the certification process according to the IEC 60880.

ebm-papst

ebm-papst logo

A world leader in motors and ventilators for air-conditioning and refrigeration systems, ebm-papst is using Astrée for fully automatic conti­nuous verification of safety-critical interrupt-driven control software for commutating high-efficiency EC motors for ventilator systems.

Toyota Unintended Acceleration Investigation

NASA logo

In 2010, aiT was used by NASA as an industry-standard static analysis tool for demonstrating the absence of timing-related software defects in the Toyota Motor Corporation Unintended Accel­eration Investigation.

Other clients


Non-commercial organizations

  • Stanford University
  • UCLA
  • US Naval Academy
  • US National Institutes of Health
  • Royal Canadian Mounted Police
  • University of Oxford
  • University of Cambridge
  • University of London
  • Imperial College London
  • TU Munich
  • University of Luton
  • University of Tokyo
  • University of California at Berkeley
  • University of California at Irvine
  • Massachusetts Institute of Technology
  • Max Planck Institute for Informatics
  • Max Planck Institute for Human Development
  • Fraunhofer Institute for Systems and Innovation Research
  • Oak Ridge National Laboratory
  • Memorial Sloan-Kettering Cancer Center
  • University of California at Riverside
  • University of California at Santa Cruz
  • University of Delaware
  • University of Illinois ar Urbana-Champaign
  • University of New Mexico at Albuquerque
  • University of Maryland University College
  • University of Michigan at Ann Arbor
  • University of Tennessee at Knoxville
  • University of Tennessee Health Science Center
  • University of Texas at Austin
  • Brandeis University
  • North Carolina State University
  • Western Michigan University
  • Southern Methodist University
  • Columbia Business School, New York
  • Muséum National d’Histoire Naturelle, Paris
  • And many more