V2XRuntime: Exécution Sûre et Déterministe pour les Applications Automobiles Connectées

V2XRuntime combine AUTOSAR Adaptive avec Rust et C++20, éliminant les corruptions mémoire pour les manœuvres coopératives critiques.

Imposer une exécution bornée et la sécurité mémoire dans les logiciels automobiles

Les runtimes de langages dynamiques et le threading non contraint entraînent une corruption de la mémoire et une latence imprévisible. V2XRuntime fournit un framework d'exécution déterministe en Rust et C++ moderne, conforme aux exigences de l'ISO 26262.

Core Engineering Areas

• Memory-Safe Languages (Rust) — Compile-time guarantees of thread safety and memory validity in high-throughput radio parsers.
• Deterministic Actor Frameworks — Isolating communication handlers into independent actors with bounded message mailboxes.
• AUTOSAR Adaptive Execution — Transitioning V2X stacks between degraded, limp-home, and full autonomous driving operational states.

Technical Articles

• Performance Benchmarking: Rust vs C++ in High-Rate V2X Security Decryption Pipelines
• Software Fault Isolation (SFI) and Micro-Reboot Strategies for Fault-Tolerant V2X Nodes