Actor-Based Concurrency Models with Bounded Execution Steps for Safety-Critical Tasks

Isolating communication handlers into independent actors with bounded message mailboxes.

Deterministic Actor Frameworks のアーキテクチャ設計

V2XRuntime における Deterministic Actor Frameworks の物理層インターフェース、スケジューリングモデル、安全制約の技術解説。

量産実装および適合性検証

Deterministic Actor Frameworks の量産展開に向けたエンジニアリング指針。HIL テスト、ストレステスト、法規制認証を網羅。

ドメインポートフォリオを見る