車載OS・基盤

車載OSは SDV のソフトウェア実行基盤であり、安全性（機能安全）とセキュリティ、リアルタイム性の要件が交差する領域である。本カテゴリでは、マイクロカーネル・ハイパーバイザ・ミドルウェアに関する用語を扱う。

このカテゴリの用語

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