AURIX™ および ARM® ベースの Stellar 向け
ISO 26262 ASIL D 認定 Rust 開発プラットフォーム
安全性とイノベーションに全力で取り組んでいる HighTec社は、 Infineon のAURIX とSTMicroelectronicsの ARM ベース Stellar 向けに、初の ISO 26262 ASIL D 認定 Rust コンパイラ開発プラットフォームを提供しています。これは、自動車ソフトウェア開発におけるセキュリティ、安全性、効率性の向上に向けた業界の重要なマイルストーンとなります。
急速に進化するソフトウェア定義型車両 (SDV) では、セキュリティ、複雑さ、コスト効率が大きな課題となっており、業界はより安心・安全で、効率的なプログラミングソリューションを求めています。Rust は、セキュリティリスクを最小限に抑え、開発サイクルを短縮し、コストを削減することで、従来の言語に比べて大きな利点を提供するメモリ安全なプログラミング言語です。
AURIX と ARM マイクロコントローラ向けにカスタマイズされた HighTec Rust コンパイラは、高度なオープンソース LLVM テクノロジを活用して、安全性、セキュリティ、高パフォーマンス、迅速な展開に関する厳しい要件を持つアプリケーション向けに、メモリ安全性、並行性、相互運用性など Rust 言語の全機能を提供します。
HighTec の Rust コンパイラ認定に向けた先駆的なステップは、言語の適合性を超えたものであり、 ISO 26262 に従って ASIL D 認定も取得している AURIX および ARM Stellar マイクロコントローラ向けの実績あるC/C++ コンパイラを補完するものです。
両方のコンパイラ (C/C++ と Rust) は、最先端の LLVM オープンソーステクノロジに基づいて開発されています。この統一されたツールチェーンソリューションにより、新しく開発された Rust コードを従来の C/C++ コードとシームレスに統合する、いわゆるハイブリッド開発アプローチを実現できます。そのため、ソフトウェア開発者は、たとえばセキュリティの観点から重要な機能を特定し、その部分を Rust で書き直して、システム全体に統合することができます。
Features and Benefits
- マルチコアへの移行のための独自のソリューション
- それは、リンカレベル（ISOおよびEABI準拠）でのポータブルソリューション
- ソースコードを変更することなく、アプリケーションコードをマルチコアに移植可能
- 実績のあるソフトウェアはマルチコアシリコンに簡単に移行可能
- ホモジニアス/ヘテロジニアス両方のマルチコアアーキテクチャのサポート
所有権と借用システムにより、ヌルポインタやバッファオーバーフローなどメモリ関連の脆弱性がコンパイル時に確実に防止されます。これにより、Rust アプリケーションは安全かつセキュアになります。
スレッドと async/await のサポートにより、ソフトウェア開発者は、AURIX™ マイクロコントローラなど最新のマルチコアプロセッサを活用した並行プログラムを作成し、パフォーマンスと応答性を向上させることができます。RTOS (PXROS-HR など) との統合が可能になります。
既存のC/C++コードをRustに統合できるため、開発者はアプリケーション全体を再設計することなく、Rustのメモリ安全性機能とパフォーマンス機能を利用できます。
開発者は高レベルのコードを記述して、パフォーマンスを犠牲にすることなく、効率的な低レベルのマシンコードにコンパイルできます。これにより、Rust はパフォーマンスが重要なアプリケーションに適しています。
CargoRust プロジェクトのビルド、テスト、パッケージ化のプロセスを簡素化するとともに、コードパッケージの依存関係管理、バージョン管理、そして配布がシームレスに処理されるようにします。
強力な型システムは、多くの一般的なプログラミングエラーを防ぎ、コードの信頼性と保守性、開発者の生産性を向上させます。
コードのより優れた静的解析が可能になり、リソースの使用、二重解放エラー、スレッド間の競合状態の防止に関してよりきめ細かい制約をコンパイル時に適用できるため、より堅牢で信頼性の高いシステムになります。
HighTec の Rust 開発プラットフォームにより、 AURIXおよびStellarマルチコアアーキテクチャ向けの以下の Rust 機能の実装が可能になります。
エコシステム
Rust と AUTOSAR Classic
大手自動車ソフトウェアベンダーは、RTE 上のソフトウェアコンポーネント (SWC) として Rust アプリケーションを開発できるようにしました。つまり、OEM とティアはRust を使用し、Rust の利点を活かしたセキュリティ・セーフティクリティカルなRTE 上のアプリケーションソフトウェアを開発し、それを既存の AUTOSAR Classicスタックと C で記述された既存のアプリケーションソフトウェアと組み合わせることができます。
そして、プロジェクト全体をHighTecコンパイラ開発プラットフォームでビルドできます。
- Rust コードはHighTec Rust コンパイラスイートで
- C/C++ コードはHighTec C/C++ コンパイラスイートで
- 両者がシームレスにリンクされます
Rust で記述されたAUTOSAR SWC を既存の C ベースの AUTOSAR Classic 環境に統合する
パートナーからの詳細情報:
- Vector: Safety Applications with Rust and Autosar Classic
- エレクトロビット
- ETAS
Rust評価パッケージの入手
Rust 開発プラットフォームの評価版を入手するには 、次のリンクから登録してください: Rust 評価パッケージのリクエスト (AURIX/ARM)
- HighTec社の営業チームがお客様のリクエストを確認し、評価ライセンスキーをお送りします。
- HighTecコンパイラの評価版には機能制限がありません。評価ライセンスは 30 日間有効です。HighTecツールの使用に関してご質問がありましたら、評価期間中に弊社サポートチームにご連絡ください。
Solid SandsとHighTecが自動車業界向け
Rustライブラリ認定に向けた提携を発表
HighTec EDV-Systeme GmbHとSolid Sands BVは、自動車アプリケーションにおけるRustコアライブラリの安全性認定を提供することを目的とした戦略的提携により、HighTecの実績ある自動車グレードのRustおよびC/C++用コンパイラ技術とツールが、Solid Sandsのライブラリ認定に関する専門知識と結びつきます。
