Lauterbach supports AdaCore Ada Development Platform for Safety Critical Applications

ローターバッハ TRACE32® は、航空電子機器、自動車、防衛分野のセーフティクリティカルなアプリケーション向けに設計された AdaCore GNAT Pro Ada コンパイラを完全にサポートする業界初の開発ツールスイートです。これにより、コンパイルされたAdaプログラムを、マルチスレッドアプリケーションであってもソースコードレベルでデバッグすることができ、認証のためのコードカバレッジ測定も可能です。

Adaは、構造化、静的型付け、命令型、オブジェクト指向の高級プログラミング言語である。契約による設計（DbC）、非常に強力な型付け、明示的な並行処理、タスク、同期メッセージパッシング、保護されたオブジェクトなどの言語サポートが組み込まれている。Adaは、AdaCoreコンパイラを使用して、データ型エラー（ポインタの誤用など）や実行時エラー（バッファ・オーバーランなど）を優先してエラーを検出することにより、コードの安全性と保守性を向上させている。

業界初の開発ツールスイートであるローターバッハ TRACE32®は、Adaコード、AdaとC/C++の混在コードのソフトウェアベース及びハードウェアアクセラレーションによるデバッグ/リアルタイムトレースを可能にします。タスク・アウェアネス機能により、マルチスレッド・アプリケーションをサポートします。DO-178C、ISO 26262、その他の規格に準拠した安全性認証のためのコード・カバレッジ測定を含むトレース解析は、組込み設計をこれまで以上に迅速、安全、確実に市場に投入することをサポートします。 

「Adaは、セキュリティ、高性能、使いやすさを提供するプログラミング言語ですローターバッハ 「市場をリードする当社のAdaCoreコンパイラ用TRACE32®デバッグ・トレース・ツールのサポートにより、組み込みAda開発者は、あらゆる種類のプロジェクトにおいて、開発および統合時間を大幅に短縮できる世界トップクラスのデバッグ・トレース・ツールを利用できるようになりました。"

AdaCoreのGNAT Pro EmbeddedプロダクトマネージャであるDr. José Ruizは次のように述べています。"AdaとC/C++で書かれた安全でセキュアな組込みアプリケーションの開発、デバッグ、トレース、デプロイのための主要なソリューションを、長期的なパートナーであるローターバッハTRACE32®と共に提供できることを大変嬉しく思います。" AdaCoreのGNAT Pro Ada Development Platformと共に、ローターバッハTRACE32®は、組込み機器の開発者がAdaアプリケーションをより速く、より簡単に進化させることを可能にします。詳細はローターバッハ までお問い合わせください。 High Integrity Software Conference (HISC) 2025のAdaCoreブースでは、ローターバッハAdaサポートをライブでご覧いただけます。HISCに関する詳細はこちら: https://www.his-conference.co.uk/ 

ローターバッハについて 

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

本記事に関する問い合わせ