Commit 3def4e06 authored by Konrad Schaupp's avatar Konrad Schaupp
Browse files

Final Review

parent 0fd5beea
Loading
Loading
Loading
Loading
+15 −9
Original line number Diff line number Diff line
@@ -51,6 +51,7 @@ Package TP_AMF {
                        NAS_PDU containing
                            ul_nas_transport_message_identity set to UL_NAS_TRANSPORT,
                            payload_container containing 
                                PDU_session_identity set to PX_PDU_SessionId,
                                Message_type set to PDU_SESSION_ESTABLISHMENT_REQUEST;;,
                        User_Location_Information containing
                            nr_cgi containing
@@ -72,7 +73,11 @@ Package TP_AMF {
                                PDU_Session_NAS_PDU containing
                                    uL_NAS_TRANSPORT_message_identity set to UL_NAS_TRANSPORT,
                                    payload_container containing
                                        Message_type set to PDU_SESSION_ESTABLISHMENT_ACCEPT;;,
                                        PDU_session_identity set to PX_PDU_SessionId,
                                        Message_type set to PDU_SESSION_ESTABLISHMENT_ACCEPT,
                                        S_NSSAI containing
                                           SST set to PX_SST,
                                           SD set to PX_SD;;;,
                                S_NSSAI containing
                                    SST set to PX_SST,
                                    SD set to PX_SD;,
@@ -274,6 +279,9 @@ Package TP_AMF {
        // Would require kind of "feature support list" for Core and RAN/UE Simulator
        // Also some info about the way to Modify QFI in core to trigger PDU_SESSION_RESOURCE_MODIFY_REQUEST
        // BPIN: update was done
        //
        // KSKS Need some action on IUT e.g. Modify User Profile, Subscription ....
        // Request for Info on IUT Interfaces for Configration of UE Subscriptions, PDU Session Defaults ....
        Reference 
            "ETSI TS 138 413 [1], Clauses 8.2.3.2 and 9.2.1.5" 
        
@@ -284,13 +292,13 @@ Package TP_AMF {
        Initial conditions with {
        	the UE entity isRegisteredToAMF and
            the UE entity hasEstablishedPDUsession and
            the UE entity isConfiguredToAcceptPduModificationFor2ndQoSFlow  
            the UE entity isConfiguredToAcceptPduModificationFor2ndQoSFlow   // KSKS ???? 
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity initiatesPduSessionResourceModificationForQoSFlow
                    the IUT entity initiatesPduSessionResourceModificationForQoSFlow // KSKS ???
                }
                then {
                    the IUT entity sends a PDU_SESSION_RESOURCE_MODIFY_REQUEST containing 
@@ -531,9 +539,8 @@ Package TP_AMF {
            Expected behaviour
                ensure that {
                    when {
                    	// implicit trigger: AMF processes UE-initiated NAS deregistration
                        the IUT entity processTheUENasDeregistration   // KSKS TEMP State/Process Definition? Why not receives NAS Deregistration?
                                                                       // BPIN updated. Still would prefer to use "process" since there are two types of UE deregistration.    
                    	// implicit trigger: AMF releases UE Context
                        the IUT entity processTheUENasDeregistration       
                    }
                    then {
                        the IUT entity sends a UE_CONTEXT_RELEASE_COMMAND containing      
@@ -543,7 +550,7 @@ Package TP_AMF {
                                    RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID
                                ;
                            ;,
                            Cause set to "nas=deregister"
                            Cause set to "nas.normal_release
                        ;
                        to the GNB entity
                    }
@@ -594,7 +601,6 @@ Package TP_AMF {
                                    RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID;;
                            ,
                            Cause set to PX_VA_Cause;
                            // KSKS probably we should add //VA1="RadioNetwork.user-inactivity"..... as cause is to be mirrored
                            // BPIN whatever variant will be selected in PX_VA_Cause above it is already mirrored. We can copy the whole list again if it gives better overview:
                            //VA1="RadioNetwork.user-inactivity"
                            //VA2="RadioNetwork.unspecified";