Lab: Implementing a PDU session state machine

Lab Scenario: PDU Session Establishment in SMF

In this lab you will design and walk through a finite-state-machine implementation of PDU session establishment in an SMF. The procedure follows TS 23.502 §4.3.2 and involves PCF (policy decision), IP allocation, UPF binding via PFCP, and reporting back to the AMF. Several intermediate states each await a specific external response. The goal is to design the state machine, identify the events at each state, define transitions for both success and failure, and place timers to prevent stuck procedures. The exercise is on paper or in a state-machine library — production SMF code follows exactly…