車載OS・基盤
車載OSは SDV のソフトウェア実行基盤であり、安全性(機能安全)とセキュリティ、リアルタイム性の要件が交差する領域である。本カテゴリでは、マイクロカーネル・ハイパーバイザ・ミドルウェアに関する用語を扱う。
このカテゴリの用語
- 形式検証 形式検証とは、システムやプログラムが仕様を満たすことを、有限個のテストによる確認ではなく、数学的論理に基づく証明によって…
- ハイパーバイザ ハイパーバイザとは、1台の物理ハードウェア上に複数の仮想マシン(VM)を作り出し、それぞれで別のOSを互いに分離した状態…
- マイクロカーネル マイクロカーネルとは、OSのカーネルが担う機能をプロセス間通信・スケジューリング・メモリ管理などの最小限に絞り、デバイス…
- 混合臨界 混合臨界(mixed criticality)とは、安全性への影響度(クリティカリティ)が異なる複数の機能を、同一の計算…
- seL4 seL4とは、実装が仕様どおりに振る舞うこと(機能正当性)の機械検証された形式的証明を持つオープンソースのOSマイクロカ…