Accelerated runtime analyses facilitate software development

November 15, 2022 – Safety-critical applications with real-time requirements need worst-case program runtimes to be estimated. A novel solution from leading tool specialists Lauterbach and AbsInt makes such runtime analyses even faster and easier. 

The earlier in the development process software errors are discovered, the more efficiently they can be fixed. In the development of embedded systems, methods such as real-time tracing are essential. For many decades, Lauterbach's PowerTrace modules have been the market leader for real-time tracing in the embedded industry, providing highly detailed information about the program flow, interrupts, and task switches. 

Retrieving and analyzing this data is the basis for AbsInt's tool TimeWeaver, which uses the measured execution times of code sections from real-time tracing to determine the most reliable estimate of the worst-case execution time (WCET). 

「私たちの優れた協力関係のおかげで、WCET解析はより複雑なプロセッサでも実行可能になりました」と、AbsInt Angewandte Informatik GmbHのマネージングディレクター、クリスチャン・フェルディナンド博士は語る。 「組込みソフトウェアの開発者は、当社のリアルタイムトレースからのデータを静的WCET解析に利用することで、より迅速に目標を達成できるようになりました」と、ローターバッハ GmbHのマネージングディレクター、ノルベルト・ヴァイスは述べています。「AbsInt社との共同ソリューションは、セーフティクリティカルなアプリケーション、特にリアルタイム性が要求されるアプリケーションの開発において、大きな改善となります」。 

In close cooperation between the two companies, the memory requirements for the exchanged data have now been dramatically reduced through compression and innovative optimization, which means that TimeWeaver delivers its results significantly faster, while requiring less memory. 

The combination of PowerTrace and TimeWeaver supports all current CPU architectures, even complex heterogeneous SoCs, with the fastest trace tools in the industry, suitable for all embedded projects where WCET runtime analysis is required. 

 About AbsInt 

AbsInt provides state-of-the-art development tools for embedded systems with a focus on validation, verification and certification of safety-critical and safety-relevant software. Key products include static analysis tools for the verification of coding guidelines, timing and stack usage analysis, and detection of critical programming errors in C/C++ code, as well as the formally verified compiler CompCert. Recently, the development of CompCert was honored with the prestigious ACM Software System Award: https://awards.acm.org/software-system. AbsInt was founded in 1998 and is a privately held company based in Saarbruecken, Germany. Our customers come from 40+ countries around the world and from various industries, including aerospace, automotive, medical and energy – see https://www.absint.com/success.htm. 

For more information, visit www.absint.com. 

Press contact: Sylvie Tritz, AbsInt Angewandte Informatik GmbH. Science Park 1, 66123 Saarbruecken, Germany

Phone: +49 (681) 38 360 23 E-mail: press@absint.com 

 ローターバッハについて 

Lauterbach is the leading manufacturer of cutting-edge development tools for embedded systems with more than 40 years of experience. It is an international, well-established company, serving customers all over the world, partnering with all semiconductor manufacturers and growing steadily. At the headquarters in Hoehenkirchen, near Munich, the engineering team develops and produces highly proficient and specialized, easy-to-use Development Tools. Branch offices in United Kingdom, Italy, France, Tunisia, on the East and West coasts of the United States, Japan and China and highly qualified sales as well as support engineers in many other countries make Lauterbach’s full product range available worldwide.