AbsInt Angewandte Informatik GmbH
Saarbruecken, Germany
www.absint.com
Role
Static program analysis (timing analysis, stack analysis), analyser tools.
Specific skills
AbsInt started as a spin-off from the Chair for Programming Languages and Compiler Construction at Saarland University. AbsInt’s product range includes tools for timing analysis, stack usage analysis, code compaction, and graph visualisation. The analysis tools and the code compactor are based on an abstract interpretation approach. They operate on executables for various processor architectures, including modern micro-controllers with caches and complex pipelines. AbsInt’s working on this wide range of architectures has led to deep insights into the predictability properties of hardware architectures. AbsInt has been awarded a 2004 European Information Society Technology (IST) Prize for its timing analyser aiT. Customers include large companies with safety-critical applications such as Daimler, Siemens, Infineon and Airbus. Projects in which AbsInt is or has been involved include DAEDALUS, Verisoft, EmBounded, SuReal, and ARTIST2.
Key personnel
- Christian Ferdinand — program semantics, compiler technology, cache analysis, WCET expertise
- Reinhold Heckmann — domain theory, exact real arithmetic, stack analysis, WCET expertise
PREDATOR-related publications
- WCET-Driven, Code-Size Critical Procedure Cloning (PDF, 410kB)
By Paul Lokuciejewski, Heiko Falk, and Peter Marwedel, TU Dortmund, and Henrik Theiling, AbsInt.
In: The 11th International Workshop on Software and Compilers for Embedded Systems (SCOPES) 2008. - Parametric Timing Analysis for Complex Architectures
By Sebastian Altmeyer, Björn Lisper, and Reinhard Wilhelm, Saarland University, and Christian Hümbert, AbsInt.
In: Proceedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) 2008. - Timing Validation of Automotive Software
By Daniel Kästner and others, AbsInt.
In: ISoLA 2008. - Timing Predictability of Embedded Systems
By Daniel Kästner, AbsInt.
In: Embedded World Conference 2009. - Predictability Considerations in the Design of Multi-Core Embedded Systems
By Christoph Cullmann and others.
In: Proceedings of ERTSS’10. - Software Structure and WCET Predictability
By Gernot Gebhard, Christoph Cullmann, and Reinhold Heckmann, AbsInt.
In: Proceedings of PPES’11.