Toward 6G Sidelink Reliability: MAC PRR Modeling for NR Mode 2 SPS and ns-3 Validation

Questo articolo presenta un modello analitico per la valutazione del rapporto di ricezione dei pacchetti (PRR) nel modo 2 Sidelink NR basato su Scheduling Semi-Persistente (SPS), che cattura dinamiche di collisione specifiche e viene validato tramite simulazioni ns-3 per fornire indicazioni progettuali verso l'affidabilità delle comunicazioni 6G.

L'essenziale

Immagina di essere in una grande piazza affollata dove centinaia di persone (le auto o i dispositivi, chiamati UE) devono parlarsi direttamente, senza l'aiuto di un altoparlante centrale o di un controllore del traffico (il gNB o la stazione base). Questo è il mondo del 5G/6G Sidelink: un sistema dove le macchine si scambiano informazioni vitali (come "sto frenando" o "c'è un ostacolo") per evitare incidenti.

Il problema è: se tutti parlano allo stesso tempo, si crea un caos totale e nessuno sente nulla. Per evitare questo, esiste un sistema intelligente chiamato SPS (Scheduling Semi-Persistente). È come se ogni persona nella piazza avesse un piccolo taccuino e un timer.

Ecco di cosa parla questo articolo, spiegato con un'analogia semplice:

1. Il Problema: La "Piazza" e i "Sedili"

Immagina che la piazza abbia dei sedili (le risorse radio, chiamate PRB). Ogni volta che qualcuno vuole parlare, deve sedersi su un sedile libero.

• Il vecchio metodo: Ogni volta che vuoi parlare, guardi intorno, trovi un sedile libero e ti siedi. Ma se due persone guardano lo stesso momento e vedono lo stesso sedile libero, si siederanno entrambe e si urteranno (questo è il Collisione).
• Il metodo SPS (quello studiato): Una volta che ti siedi, ti prendi il sedile per un po' di tempo (ad esempio, per 10 minuti). Non devi cercare un nuovo posto ogni volta, ti siedi lì finché il tuo timer non scade. Quando il timer scade, devi scegliere un nuovo sedile.

2. La Magia (e il Problema) del "Rimanere" (Resource Keeping)

Qui entra in gioco la parte geniale e complicata dello studio. Quando il tuo timer scade, hai due opzioni:

1. Cambi sedile: Ti alzi e cerchi un nuovo posto libero (Reselection).
2. Rimani al tuo posto: Decidi di restare sul sedile che avevi già, sperando che sia ancora libero (Resource Keeping, parametro $p_k$).

L'articolo spiega cosa succede quando due persone fanno scelte diverse:

• Scenario A (Collisione da Cambio): Due persone finiscono il timer nello stesso momento, guardano la stessa lista di sedili liberi e scelgono entrambe lo stesso nuovo sedile. Boom! Collisione.
• Scenario B (Collisione da Rimanere): Una persona sceglie di cambiare sedile, ma l'altra decide di rimanere sul vecchio. Se il primo sedile era già occupato da un terzo, ora ci sono tre persone che litigano per lo stesso posto. Peggio ancora, se due persone erano già in collisione e decidono entrambe di rimanere lì, la collisione continua per molto tempo, bloccando la comunicazione.

3. Cosa hanno scoperto gli autori?

Gli autori (Liu Cao e colleghi) hanno creato una mappa matematica (un modello) per prevedere esattamente quanto spesso queste collisioni accadranno.

Hanno scoperto che:

• Il "Rimanere" è un'arma a doppio taglio: Se tutti cambiano sedile troppo spesso (basso $p_k$), c'è il rischio che tutti scelgano lo stesso nuovo posto. Se tutti restano troppo a lungo (alto $p_k$), le collisioni vecchie non finiscono mai. C'è un punto di equilibrio perfetto.
• La "Duplicazione" (Invio di copie): Immagina di non inviare solo un messaggio, ma due copie identiche su due sedili diversi. Se uno dei due sedili è occupato, l'altro potrebbe funzionare. Questo funziona benissimo quando la piazza è semivuota (sotto-saturazione), ma se la piazza è piena zeppa (saturazione), inviare due copie occupa solo più spazio e peggiora le cose.
• La Regola del "Sedili Liberi": Le regole attuali dicono che devi trovare un certo numero minimo di sedili liberi prima di scegliere. Gli autori hanno scoperto che alzare questo numero minimo non aiuta affatto, anzi, è meglio lasciarlo al minimo consentito.

4. La Verifica: Il Simulatore

Per essere sicuri che la loro matematica fosse corretta, hanno costruito un mondo virtuale (usando un software chiamato ns-3) dove hanno fatto "vivere" 200 auto virtuali per 100 secondi.
I risultati? La loro formula matematica prevedeva quasi perfettamente cosa sarebbe successo nel mondo virtuale, purché la piazza non fosse troppo affollata. Quando la piazza diventa troppo piena (saturazione), la matematica pura non basta più perché entrano in gioco fattori fisici (come il rumore o le interferenze reali) che la loro formula non considera.

In Sintesi: Perché è importante per il futuro (6G)?

Questo studio è come un manuale di istruzioni per gli ingegneri che costruiranno le reti del futuro (6G).

• Ci dice come regolare i timer e le probabilità di "rimanere al posto" per evitare che le auto si scontrino (digitalmente) e non riescano a comunicare.
• Ci dice che inviare messaggi doppi è una buona idea solo quando il traffico è leggero.
• Ci dice che non serve complicare le regole cercando più sedili liberi: la semplicità è spesso la chiave per l'affidabilità.

In pratica, hanno creato una bussola matematica per navigare nel caos delle comunicazioni dirette tra macchine, rendendo le strade future più sicure e affidabili.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del documento "Toward 6G Sidelink Reliability: MAC PRR Modeling for NR Mode 2 SPS and ns-3 Validation", presentata in italiano.

Titolo

Verso l'affidabilità del Sidelink 6G: Modellazione PRR MAC per NR Mode 2 SPS e Validazione con ns-3.

1. Il Problema

Il Sidelink (SL) di nuova generazione (NR) in modalità 2 è fondamentale per le comunicazioni dirette infrastruttura-less, essenziali per servizi critici nel 6G (es. V2X, IoT industriale). In questa modalità, l'accesso al canale si basa sul Scheduling Semi-Persistente (SPS) basato su sensing, un protocollo distribuito in cui gli User Equipment (UE) selezionano autonomamente le risorse.

Nonostante l'importanza dell'SPS per garantire l'affidabilità (misurata attraverso il Packet Reception Ratio - PRR), la letteratura esistente presenta due limiti principali:

1. Mancanza di modelli analitici completi: La maggior parte degli studi si basa su simulazioni (Matlab, OMNeT++, ns-3) senza offrire modelli matematici chiusi.
2. Semplificazioni eccessive: I pochi modelli analitici esistenti spesso astraggono o omettono funzionalità specifiche dell'NR (New Radio) standardizzate dal 3GPP, come la probabilità di mantenimento della risorsa (resource keeping), la re-selezione asincrona e le trasmissioni duplicate. Questo impedisce di comprendere appieno come i parametri SPS influenzino le dinamiche di collisione MAC e il PRR.

L'obiettivo è colmare questo vuoto sviluppando un modello analitico che spieghi meccanicamente come le collisioni MAC si evolvono nel tempo e come i parametri SPS influenzino l'affidabilità.

2. Metodologia

Gli autori hanno sviluppato un modello analitico a livello MAC per il PRR nel broadcast NR SL Mode 2, focalizzandosi sulle collisioni indotte dall'SPS.

• Decomposizione degli Eventi di Collisione: Il modello identifica e formalizza due meccanismi principali di collisione all'interno della finestra di selezione delle risorse:
  1. Collisione di Tipo 1 (Reselection Collision): Si verifica quando due o più UE eseguono la re-selezione delle risorse contemporaneamente (quando i loro contatori di re-selezione $R_c$ raggiungono 0) e scelgono la stessa risorsa libera.
  2. Collisione di Tipo 2 (Persistent Collision): Si verifica quando un UE non esegue la re-selezione (mantenendo la risorsa precedente con probabilità $p_k$) e continua a collidere con un altro UE che ha già occupato la stessa risorsa in intervalli precedenti.
• Modellazione Matematica:
  • Viene definita una catena di Markov per lo stato del contatore di re-selezione ($R_c$) per calcolare la probabilità di essere nella finestra di selezione.
  • Vengono derivate espressioni in forma chiusa per la probabilità di collisione MAC ($P_{COL}$) e per il PRR, considerando la sovrapposizione asincrona delle finestre di selezione.
  • Il modello include l'effetto del duplexing half-duplex (gli UE non possono trasmettere e ricevere contemporaneamente).
• Estensioni del Modello:
  • Trasmissioni Duplicate ($N_{Se}$): Analisi dell'impatto della duplicazione PDCP (invio di più copie dello stesso pacchetto su risorse diverse).
  • Vincolo di Disponibilità Minima ($X$): Analisi dell'impatto del requisito minimo di risorse disponibili per la re-selezione (parametro $X$).
• Validazione: Il modello è stato validato utilizzando simulazioni ns-3 basate sul framework 5G-LENA, configurato per replicare fedelmente le specifiche 3GPP Release 16/17.

3. Contributi Chiave

1. Primo modello analitico completo per NR SL Mode 2: Il lavoro fornisce il primo modello che decompone esplicitamente gli eventi di collisione MAC guidati dall'SPS, collegando direttamente i parametri di sistema al PRR.
2. Espressioni in forma chiusa: Derivazione di formule analitiche per la probabilità di collisione stazionaria e il PRR, che includono parametri critici come la probabilità di mantenimento della risorsa ($p_k$) e il timing asincrono.
3. Analisi delle funzionalità NR avanzate: Quantificazione dell'impatto delle trasmissioni duplicate e del vincolo di disponibilità delle risorse ($X$) sul PRR, specialmente in regimi non saturi.
4. Validazione e identificazione dei limiti: Confronto rigoroso tra teoria e simulazione che dimostra l'accuratezza del modello in condizioni di non saturazione e ne spiega le deviazioni in condizioni di saturazione (dove gli effetti PHY diventano dominanti).

4. Risultati Principali

• Accuratezza del Modello: In condizioni di non saturazione (basso numero di UE), il modello analitico mostra un accordo molto stretto con le simulazioni ns-3 per $P_{COL}$ e PRR.
• Impatto della Probabilità di Mantenimento ($p_k$):
  • Aumentare $p_k$ riduce la probabilità di Collisione di Tipo 1 (meno re-selezioni) ma aumenta la Collisione di Tipo 2 (collisioni persistenti).
  • Il risultato netto è che il PRR tende ad aumentare con $p_k$ in scenari tipici, poiché la riduzione delle collisioni da re-selezione prevale.
• Trasmissioni Duplicate ($N_{Se}$):
  • In condizioni non sature, la duplicazione dei pacchetti ($N_{Se} > 1$) migliora significativamente il PRR.
  • In condizioni sature, la duplicazione può degradare le prestazioni perché aumenta la congestione delle risorse, portando a un aumento delle collisioni che supera il beneficio della ridondanza.
• Vincolo di Disponibilità ($X$): Aumentare il parametro $X$ (la percentuale minima di risorse libere richieste per la re-selezione) non porta benefici al PRR in nessuna condizione di canale. Al contrario, può peggiorare le prestazioni costringendo gli UE a includere risorse occupate nel pool di selezione quando le risorse libere scarseggiano.
• Limite di Saturazione: Il modello MAC puro perde accuratezza quando il numero di UE si avvicina al numero totale di risorse (PRB) disponibili. In questi casi, gli effetti del livello fisico (es. soglie RSRP, interferenza) diventano critici e non sono catturati dal solo modello MAC.

5. Significato e Implicazioni

Questo lavoro è significativo per lo sviluppo delle reti 6G e per l'ottimizzazione delle attuali reti 5G V2X:

• Guida per la Progettazione: Fornisce agli ingegneri di rete uno strumento analitico per regolare i parametri SPS (come $p_k$ e $N_{Se}$) senza dover ricorrere esclusivamente a simulazioni computazionalmente costose.
• Raccomandazioni Operative: Suggerisce di impostare il parametro di disponibilità minima delle risorse ($X$) al valore minimo consentito (0.2) per massimizzare l'affidabilità, smentendo l'idea che valori più alti migliorino le prestazioni.
• Ponte verso il 6G: Il modello offre intuizioni meccanicistiche su come gestire l'affidabilità in reti decentralizzate e dense, un requisito fondamentale per i servizi critici del futuro 6G.
• Limiti e Futuro: Il lavoro evidenzia la necessità di integrare parametri del livello fisico (PHY) per modellare accuratamente le reti in condizioni di saturazione estrema, indicando una direzione per ricerche future.