AbsInt GmbH

AbsInt provides software for analysing, optimising and verifying embedded systems and safety-critical software programs.

In today’s market for embedded systems, software is becoming increasingly complex and development cycles are becoming shorter and shorter. The proportion of safety-critical applications is increasing steadily. AbsInt’s products help developers of real-time systems

  • to increase system safety and efficiency,
  • to shorten development cycles further, and
  • to reduce time, effort and costs spent on tests and debugging.

Our core products are:

  • aiT WCET Analyzer: for determining the maximum execution time
  • StackAnalyzer: for determining maximum stack usage
  • Astrée: for proving the absence of runtime errors

Other products:

  • Program analyses and optimisation
  • Optimising compilers for microcontrollers and digital signal processors (DSPs)