私たちは共に速くなります：

ランタイム解析の高速化により、ソフトウェア開発が容易になります

リアルタイム要件のある、セーフティクリティカルなアプリケーションでは、ワーストケースのプログラム実行時間を見積もる必要があります。主要なツールスペシャリストである ローターバッハとAbsIntの斬新なソリューションは、このようなランタイム解析の高速化、容易化を実現しました。

ソフトウェアエラーが発見される開発プロセスの段階が早いほど、より効率的に修正できます。組込みシステムの開発では、リアルタイムトレースなどのメソッドが必要不可欠です。何十年もの間、ローターバッハの PowerTrace モジュールは、組込み業界のリアルタイムトレースにおけるマーケットリーダーであり、プログラムフロー、割り込み、およびタスクスイッチに関する非常に詳細な情報を提供してきました。

これらのデータの取得および解析は、AbsIntのツール、TimeWeaver のベースとなっています。このツールは、リアルタイムトレースから測定されたコードセクションの実行時間を使用して、ワーストケース実行時間 (WCET) の最も信頼できる推定値を決定します。

AbsInt Angewandte Informatik GmbH のマネージングディレクターを務めるChristian Ferdinand 博士は、次のように述べています。「最高の連携ができたおかげで、より複雑なプロセッサに対応したWCET 解析が可能になりました」。

ローターバッハのマネージングディレクターを務めるNobert Weissは「組込みソフトウェアの開発者は、静的なWCET解析にリアルタイムトレースからのデータを使用することで、目標をさらに迅速に達成できるようになりました。 AbsIntとのジョイントソリューションは、セーフティクリティカルなアプリケーション、特にリアルタイム要件を伴うアプリケーションの開発において、大幅な改善をもたらします」と述べています。

両社の密接な連携により、交換されるデータに必要なメモリ要件は、圧縮および、革新的な最適化により劇的に削減されました。つまり、TimeWeaver は必要とするメモリが少なくなったのにも関わらず、結果の提示は大幅に高速化されました。

PowerTraceとTimeWeaver の組み合わせは現行の全てのCPU アーキテクチャ、および複雑な異種 SoC までもサポートしており、業界最速のトレースツールを提供し、WCET ランタイム解析が必要なすべての組込みプロジェクトに適しています。

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. 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 AbsInt Success.
For more information visit www.absint.com

About Lauterbach 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.