DevOpsのAdaCore、SCHEME研究プロジェクトへの参加を発表

AdaCoreは、Rolls-Royceが主導する英国産業界と学界の世界クラスのコンソーシアムであるSCHEME研究プロジェクトへの参加を発表しました。このプロジェクトは、航空宇宙や他の過酷な環境で使用される次世代の高信頼性マイクロプロセッサプラットフォームを提供することを目指しています。

マイクロプロセッサの設計と製造は複雑であり、通常、自動車や汎用の市販のマイクロプロセッサ（COTS）が航空宇宙用途に再利用されています。しかし、このアプローチには、陳腐化、複雑さ、および長期的なコストに関わる設計上のトレードオフの問題があります。さらに、ネットゼロ目標を達成するためには、より複雑で自律的かつ接続された新世代の航空宇宙システムが必要です。このようなシステムは、ますますサイバーセキュリティが求められます。COTSプロセッサを再利用してこれらの要件を満たすことは、認証の負担が増加するため、複雑かつ費用対効果が低いです。

SCHEMEは、安全性とサイバーセキュリティを重視した新世代のマイクロプロセッサを開発します。このマイクロプロセッサとサポートインフラは、長期的に費用対効果が高く、高信頼性のオプションを提供するために、ゼロから設計されます。この専用マイクロプロセッサは、設計およびライフサイクルコストを削減し、供給の安全性を確保し、半導体業界が直面するグローバルな問題から保護します。

SCHEMEは、航空宇宙および安全性とサイバーセキュリティが最も重要な隣接セクターに配備できる高度なマイクロプロセッサプラットフォームを英国に提供します。これには、自律車両や小型モジュール式原子炉など、英国経済の将来に重要な新興セクターも含まれます。さらに、このコンソーシアムは、英国国内外の多くの潜在的な顧客に対して、高信頼性システム開発のための完全なパッケージソリューションを提供する可能性があります。

Rolls-RoyceのプログラムマネージャーであるJan Góralczyk氏は、「AdaCoreは高信頼性ソフトウェアの提供において包括的なスキルを持っています。彼らのコンパイレーションツール、プロセッサシミュレーション、および動的解析における一貫したプロフェッショナリズムと専門知識は、SCHEMEプロジェクトの目標達成において重要な役割を果たします。さらに、AdaCoreの業界に対する理解は、ソフトウェア技術と将来の顧客の両方において、SCHEMEの活動と期待される成果が業界の進化するニーズに適応することを助けるでしょう」と述べています。

SCHEMEマイクロプロセッサプラットフォームプロジェクトの重要な要素は、サポートするソフトウェアツールインフラです。

AdaCoreのSCHEMEプロジェクトマネージャーであるKyriakos Georgiou氏は、「SCHEMEプロジェクトは、高信頼性アプリケーションを開発するための信頼できるソフトウェアツールベンダーとしてのAdaCoreのコミットメントと実績に合致しています。したがって、AdaCoreの英国R&Dセンターは、安全性重視およびサイバーセキュリティを重視したアプリケーションのコストと納期を削減するためのソフトウェア開発および検証ツールを提供するのに最適です」と述べています。

ソフトウェアツールは、検証および検証プロセス、認証証拠の生成、およびソフトウェアのサイバーセキュリティ強化をカバーします。これらのSCHEME開発技術は、最先端のDevOpsなどの最新の開発環境内に統合されます。この点で、英国AdaCoreチームは、プロセッサの商業的成功に必要な信頼できるソフトウェアエコシステムの確立に大きく貢献します。

3750万ポンドの投資プログラムは、英国の民間航空研究に資金を提供するATIプログラムによって共同出資されています。このプログラムは、Aerospace Technology Institute、Department for Business & Trade、およびInnovate UKのパートナーシップによって提供されています。Rolls-Royceには、AdaCore、TT Electronics、Volant Autonomy、Rapita Systems、The Manufacturing Technology Centre、Queen’s University Belfast、University of Bristol、University of Sheffield、およびUniversity of Yorkが参加しています。