Skip to content

RustV2XSimulator

High-Performance, Modular Discrete-Event Simulation Framework for Vehicular Communications (V2X) and ETSI C-ITS in Rust

Overview

rustv2xsimulator is a high-performance, modular discrete-event simulation (DES) engine designed for vehicular communications (V2X). Built natively in Rust with deterministic nanosecond-scale scheduling, it bridges microscopic vehicular mobility (via Eclipse SUMO TraCI or synthetic high-density generators) with standard-compliant ETSI C-ITS protocol stacks (rustflexstack) and customizable wireless communications.

flowchart TD
    subgraph Mobility ["1. Vehicular Mobility & Environment"]
        Scenarios["<b>SUMO TraCI / Synthetic Mobility</b><br/>Microscopic vehicle kinematics, Krauß collision-avoidance actuation & building footprints"]
    end

    subgraph Stack ["2. ETSI C-ITS Protocol Stack (RustFlexstack)"]
        FacTrans["<b>Facilities & Transport Layers</b><br/>CAM (TS 103 900) &bull; DENM (Hazard alerts) &bull; Local Dynamic Map (LDM)<br/>BTP-A / BTP-B Transport (Ports 2001 & 2002)"]
        NetSec["<b>Network & Security Layers</b><br/>GeoNetworking Router (SHB, TSB & GBC GeoBroadcast)<br/>ETSI TS 103 097 Security (PKI trust, ECDSA signatures & verification)"]
        FacTrans --> NetSec
    end

    subgraph Engine ["3. Discrete-Event Simulation Core (rustv2xsimulator)"]
        LinkScheduler["<b>SimulatorLinkLayer & DES Engine</b><br/>Zero-copy bridge to RustFlexstack & deterministic Min-Heap Calendar Queue (100 ns SimTime)"]
        SpatialEnv["<b>Spatial Environment & Channeldecider</b><br/>2D k-d Tree vehicular neighborhood & ITU-R P.526 building knife-edge diffraction"]
        LinkScheduler <--> SpatialEnv
    end

    subgraph Wireless ["4. Pluggable Wireless Layer (pub trait WirelessTechnology)"]
        Trait["<b>WirelessTechnology Trait Abstraction</b><br/>Unified MAC contention, sidelink scheduling & PHY channel evaluation"]

        Wifi["<b>IEEE 802.11 V2X Standards</b><br/><b>802.11p DSRC</b>: EDCA 4-AC, Dual-Slope, piecewise SINR<br/><b>802.11bd NGV</b>: QC-LDPC, midambles, DCM, 256-QAM"]
        Cellular["<b>3GPP Cellular V2X Standards</b><br/><b>C-V2X Mode 4</b>: SB-SPS 2D grid, PSCCH/PSSCH decoding<br/><b>5G NR Mode 2</b>: Two-Stage SCI, PSFCH HARQ, Release 16"]
        Parametric["<b>Parametric Empirical Model</b><br/>10th-deg polynomial distance loss, spatio-temporal logistic DCC & Gaussian delay"]

        Trait --> Wifi
        Trait --> Cellular
        Wifi --> Parametric
        Cellular --> Parametric
    end

    subgraph Telemetry ["5. Experimentation & Telemetry"]
        TelemetryOut["<b>Metrics Engine & Wireshark PCAP Capture</b><br/>PDR, CBR, AoI, throughput, packet collision traces & standard EtherType 0x8947 PCAP export"]
    end

    Scenarios -->|"Microscopic positions & kinematics"| FacTrans
    NetSec -->|"Inbound & outbound C-ITS frames"| LinkScheduler
    SpatialEnv -->|"Radio channel query & frame dispatch"| Trait
    Parametric -->|"Decoded packet telemetry & traces"| TelemetryOut

Key Features

  • Microscopic Deterministic DES: Min-heap calendar queue operating with strict 100 ns tick resolution (SimTime). Deterministic per-receiver PRNG seeds for repeatable academic experiments.
  • Pluggable Multi-Technology Wireless Architecture: Clean trait-based abstraction (WirelessTechnology) supporting standard physical-layer and medium access models:
  • IEEE 802.11p DSRC: Dual-slope log-distance path loss, log-normal shadow fading, ITU-R P.526 knife-edge corner diffraction, Rayon-parallel broadcast evaluation, ns-3 v3.42 InterferenceHelper piecewise chunked cumulative SINR, 4.0 dB capture effect, and IEEE 802.11p EDCA 4 Access Categories (AC_VO, AC_VI, AC_BE, AC_BK).
  • IEEE 802.11bd Next-Gen V2X: Mixed-format PPDU (72 µs preamble), L-SIG spoofing for backward compatibility, midamble tracking for Doppler spread at 220 km/h, QC-LDPC forward error correction (+2.5 to 3.0 dB gain), Dual Carrier Modulation (DCM), and MCS 0 to MCS 9 (up to 256-QAM, 40/80 Mbps).
  • 3GPP C-V2X PC5 Sidelink Mode 4: 10/20 MHz 2D time-frequency grid, Sensing-Based Semi-Persistent Scheduling (SB-SPS), half-duplex exclusion, high-RSRP exclusion, and dual PSCCH/PSSCH decoding.
  • 3GPP 5G NR-V2X Sidelink Mode 2: Flexible numerologies (\(\mu \in \{0, 1, 2\}\), 15/30/60 kHz SCS), Two-Stage SCI (Format 1-A on PSCCH, Format 2-A on PSSCH), Mode 2 autonomous sensing, Release 16 Re-evaluation lookahead (\(T_3\)), Pre-emption, PSFCH closed-loop HARQ feedback, and 5G NR LDPC/Polar BLER error curves.
  • Parametric Empirical Model: Fast 10th-degree polynomial distance loss curve, spatio-temporal logistic congestion tracking, binary building occlusion, and configurable Gaussian delay.
  • Native ETSI C-ITS Protocol Stack: Full protocol compliance with ETSI EN 302 636-4-1 (GeoNetworking), EN 302 636-5-1 (BTP), TS 103 900 (CAM), and TS 103 097 (Security).
  • Microscopic Mobility: Bi-directional SUMO TraCI interface with sub-stepping Krauß collision-avoidance actuation upon receiving emergency electronic brake light (EEBL) DENMs.
  • Academic Validation: Validated against ns-3 v3.42, OMNeT++ Veins 5.2, CTTC 5G-LENA, and the UWICORE NR-V2X Simulator, providing rigorous credibility for peer-reviewed academic publications.

Quick Example

Run an automated CAM simulation with 10 vehicles in an urban scenario with IEEE 802.11p DSRC and Decentralized Congestion Control (DCC):

cargo run --release --example cam_simulation -- \
    --num-vehicles 10 \
    --scenario diagonal \
    --scenario-dir scenarios/diagonal \
    --duration 30.0 \
    --generate-pcap

To switch to the fast parametric empirical model:

cargo run --release --example cam_simulation -- \
    --scenario diagonal \
    --technology parametric \
    --nodes 10 \
    --duration 30.0

Inspect the generated packet capture directly in Wireshark:

wireshark results/cam_example/simulation.pcap

Documentation Contents

Getting Started

Architecture & Engine

Wireless Technologies

Academic Validation & Propagation