- ラピタシステムズとAdaCoreは、ラピタシステムのRapiCover ZeroとRapiTime ZeroツールをAdaCoreのGNAT Pro for Rustと統合した共同デモを発表
- デモは、ウェールズで開催される高信頼ソフトウェア会議（HISC）で行われる予定
- 統合は、Rustプログラミング言語で書かれた安全性が高いコードのオンターゲットテスト中に構造カバレッジや実行時間メトリクス（最悪実行時間を含む）を収集することを意図している
- ラピタのゼロインストゥメンテーションツール（RapiCover ZeroとRapiTime Zero）は、インストゥメンテーションなしで安全性の高いコードの検証をサポートし、プロジェクトで使用されるプログラミング言語や言語の組み合わせに関係なく、インストゥメンテーションなしで最終ターゲットビルドでテストを実行することで検証作業を削減できる
- GNAT Pro for Rustは、クリティカルで組み込みRustアプリケーション向けに安定性、セキュリティ、信頼性を提供する
- AdaCoreは、長寿命で安全性が高く、認定されたソフトウェアを開発するために特別に設計された最先端のプログラミング言語であるAdaに最初に焦点を当てており、その後Ada言語から形式的に検証可能なSPARKサブセット、CおよびC++、そして現在はRustへと焦点を拡大している
この記事は、ラピタシステムズとAdaCoreの共同デモに関する内容を述べています。ラピタのゼロインストゥメンテーションツールとAdaCoreのGNAT Pro for Rustの統合により、Rustプログラミング言語で書かれた安全性が高いコードのテスト中に構造カバレッジや実行時間メトリクスを収集することが可能となります。また、AdaCoreの焦点はAda言語から始まり、現在はRustにまで拡大しており、クリティカルで組み込みRustアプリケーション向けの安定性と信頼性を提供しています。