AbsInt co-founders receive Test-of-Time Award

Saarbrücken/New York, October 21, 2019. This year the Embedded Systems Week (ESWEEK) establishes the Test-of-Time Award to honor the authors of one paper with the highest impact published at a previous CODES, CASES or EMSOFT conference.

The first Award goes to the paper “Reliable and Precise WCET Determination for a Real-Life Processor” by Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing and Reinhard Wilhelm. The paper was originally published at the EMSOFT 2001.

The authors of the paper, co-founders and employees of the German private company AbsInt, implemented their research into a state-of-the-art tool that allows to statically compute tight bounds for the worst-case execution time (WCET) of tasks in safety-critical em­bedded systems.

Christened aiT WCET Analyzer, the tool would go on to become the industry standard for static timing analysis, employed by companies such as Airbus, Daimler, and Vestas.

The Award was issued during the Award Ceremony at ESWEEK 2019, held in New York City on 16 October 2019.

About ESWEEK

The Embedded Systems Week (ESWEEK) is the premier event covering all aspects of embedded systems and software. By bring­ing together three leading conferences (CASES, CODES+ISSS, EMSOFT), a special track on Internet of Medical Things (IoMT), a sym­posium (NOCS) and several workshops and tutorials, ESWEEK allows attendees to benefit from a wide range of topics covering the state of the art in embedded systems research and development.

For further information, visit esweek.org.

About aiT

aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline behavior into account. This enables correct and tight upper bounds to be computed for the worst-case execution time.

aiT is available for a wide array of target processors and compilers, and supports tight integration with many state-of-the-art software development tools and environments, including SCADE Suite, TargetLink, and Jenkins.

About AbsInt

AbsInt provides unique development tools for embedded systems, with a focus on validation, verifi­cation and certifi­cation of safety-critical software. AbsInt’s tools help ensure that the software is reliable, robust, and less expensive to produce within a shorter devel­opment cycle.

The company name is an acronym for “abstract interpretation”, a sophisticated approach to static program analysis on which many of the company’s highly successful products are based. Founded in 1998, AbsInt is a privately-held company in Saarbrücken, Germany.

For further information, visit absint.com.