V2XKernel: 車車間通信向け低ジッター・リアルタイムマイクロカーネル

V2XKernelは、ロックフリーアーキテクチャ、Earliest Deadline First（EDF）スケジューリング、seL4に準ずる形式検証を実装します。

V2X Kernel V2X Architecture

Central Controller: V2X Kernel — POSIX Microkernel

Cooperative ITS Nodes & Sidelink Mesh

  • Context Switch <1us
  • Memory Protection
  • Priority Preemption
  • User-Space Driver
  • IPC Message Passing

セーフティクリティカル通信のための信頼コードベースの最小化

標準的なLinuxのようなモノリシックOSは数百万行のコードを抱え、許容できない攻撃対象領域と予測不能なスケジューリング遅延を生み出します。V2XKernelは、ドライバーとネットワークスタックをユーザー空間メモリに隔離する最小限のマイクロカーネルを実装します。

Core Engineering Areas

Technical Articles

Related Cluster Architecture Specifications