高速化されたランタイム分析がソフトウェア開発を促進

2022年11月15日 - リアルタイムが要求されるセーフティクリティカルなアプリケーションでは、ワーストケースのプログラム実行時間を見積もる必要があります。ローターバッハ AbsInt は、このような実行時間解析をより迅速かつ容易にする新しいソリューションを開発しました。 

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

電話+49 (681) 38 360 23 電子メール：press@absint.com 

 ローターバッハについて 

ローターバッハは、40年以上の経験を持つ組込みシステム用最先端開発ツールのトップメーカーです。国際的な老舗企業であり、世界中の顧客にサービスを提供し、あらゆる半導体メーカーと提携し、着実に成長しています。ミュンヘン近郊のホーエンキルヒェンにある本社では、エンジニアリング・チームが、高度に熟練した専門的で使いやすい開発ツールを開発・製造しています。イギリス、イタリア、フランス、チュニジア、アメリカ東海岸と西海岸、日本、中国に支社があり、その他多くの国々で優秀なセールス・エンジニアとサポート・エンジニアがローターバッハ全製品を世界中に提供しています。