Commit 3d398cc3 authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

TDL-TO errors resolved

parent 2851eafd
Loading
Loading
Loading
Loading
+4 −0
Original line number Diff line number Diff line
@@ -202,6 +202,10 @@ Package Ngap_Common {
            - isCMCONNECTED
            - alreadyPreparedHandover
            - completedHandover
            - hasEstablished_NG_C_AssociationTo
            - hasNotEstablished_NG_C_AssociationTo
            - hasEstablishedTNL_AssociationTo
            - process
        ;
    } // End of Domain section

+22 −23
Original line number Diff line number Diff line
@@ -45,7 +45,7 @@ Package TP_AMF {
            PICS Selection PICS_A2/2 and PICS_A4/2_1
        
            Initial conditions with {
                the gNB entity hasEstablished_NG_C_AssociationTo the AMF
                the GNB entity hasEstablished_NG_C_AssociationTo the AMF and 
                the UE entity isNotRegisteredTo the AMF
                //the UE entity startedRegistrationTo the AMF and
                //the AMF entity stertedAuthenticationAndSecurityNegotiationTo the UE
@@ -67,7 +67,6 @@ Package TP_AMF {
                                    PLMN_Identity set to PX_PLMN_Identity,
                                    TAC set to PX_TAC;;;
	                     from the GNB entity
                        ;
                    }
                    then {
                        the IUT entity sends an INITIAL_CONTEXT_SETUP_REQUEST containing      
@@ -91,7 +90,7 @@ Package TP_AMF {
                                E_UTRA_Integrity_Protection_Algorithms set to PX_E_UTRA_Integrity_Protection_Algorithms;,
                            Security_Key set to RV_Security_Key,
                            NAS_PDU containing
                                Message_identity set to REGISTRATION_ACCEPT;
                                Message_identity set to REGISTRATION_ACCEPT;;
                        to the GNB entity
                    }
                }
@@ -124,7 +123,7 @@ Package TP_AMF {
            Expected behaviour
                ensure that {
                    when {
                        the IUT entity process deregistration of the UE
                        the IUT entity process the UE deregistration
                    }
                    then {
                        the IUT entity sends a UE_CONTEXT_RELEASE_COMMAND containing      
@@ -342,7 +341,7 @@ Package TP_AMF {
            Initial conditions with {
                //the UE entity isCMCONNECTED and
                //the GNB entity hasReceivedNASMessage from the UE entity
                the gNB entity hasEstablished_NG_C_AssociationTo the AMF
                the GNB entity hasEstablished_NG_C_AssociationTo the AMF
            }
            
            Expected behaviour
@@ -357,8 +356,8 @@ Package TP_AMF {
                                    PLMN_Identity set to PX_PLMN_Identity;,
                                tai containing
                                    PLMN_Identity set to PX_PLMN_Identity,
                                    TAC set to PX_TAC;;;,
                            RRC_Establishmnet_Cause set to mo-Signalling;
                                    TAC set to PX_TAC;;,
                            RRC_Establishmnet_Cause set to "mo-Signalling";
                        from the GNB entity
                    }
                    then {
@@ -402,7 +401,7 @@ Package TP_AMF {
            PICS Selection PICS_A2/2 and PICS_A4/6_1
            
            Initial conditions with {
                the gNB entity hasNotEstablished_NG_C_AssociationTo the AMF
                the GNB entity hasNotEstablished_NG_C_AssociationTo the AMF
            }
            
            Expected behaviour
@@ -463,7 +462,7 @@ Package TP_AMF {
            PICS Selection PICS_A2/2 and PICS_A4/6_1
            
            Initial conditions with {
                the gNB entity hasEstablishedTNL_AssociationTo the AMF
                the GNB entity hasEstablishedTNL_AssociationTo the AMF
            }
            
            Expected behaviour
@@ -506,7 +505,7 @@ Package TP_AMF {
            PICS Selection PICS_A2/2 and PICS_A4/6_1
            
            Initial conditions with {
                the gNB entity hasEstablishedTNL_AssociationTo the AMF
                the GNB entity hasEstablishedTNL_AssociationTo the AMF
            }
            
            Expected behaviour
@@ -568,7 +567,7 @@ Package TP_AMF {
                                            SST set to PX_SST_EXTENDED,
                                            SD set to PX_SD_EXTENDED;;;;,
                            Extended_RAN_Node_Name containing
                                RAN_Node_Name_Visible set to PX_RAN_NODE_NAME_VISIBLE;
                                RAN_Node_Name_Visible set to PX_RAN_NODE_NAME_VISIBLE;;
                         to the GNB entity
                    }
                }
@@ -594,7 +593,7 @@ Package TP_AMF {
            PICS Selection PICS_A2/2 and PICS_A4/6_2
            
            Initial conditions with {
                the gNB entity hasEstablished_NG_C_AssociationTo the AMF
                the GNB entity hasEstablished_NG_C_AssociationTo the AMF
             
            }
            
@@ -607,7 +606,7 @@ Package TP_AMF {
                                    TAC set to PX_TAC, 
                                    Broadcast_PLMN_List containing
                                        Broadcast_PLMN_Item containing
                                            PLMN_Identity set to PX_PLMN_Identity,,
                                            PLMN_Identity set to PX_PLMN_Identity,
                                            TAI_Slice_Support_List containing
                                                S_NSSAI containing
                                                    SST set to PX_SST_NEW,
@@ -635,7 +634,7 @@ Package TP_AMF {
            PICS Selection PICS_A2/2 and PICS_A4/6_2
            
            Initial conditions with {
                the gNB entity hasEstablished_NG_C_AssociationTo the AMF
                the GNB entity hasEstablished_NG_C_AssociationTo the AMF
            }
            
            Expected behaviour
@@ -647,7 +646,7 @@ Package TP_AMF {
                                   TAC set to PX_TAC_UNSUPPORTED, // Implementation note: The TAC in the NG Setup Request message does not match the TAC of the AMF.
                                   Broadcast_PLMN_List containing
                                       Broadcast_PLMN_Item containing
                                           PLMN_Identity set to PX_PLMN_Identity,,
                                           PLMN_Identity set to PX_PLMN_Identity,
                                           TAI_Slice_Support_List containing
                                               S_NSSAI containing
                                                   SST set to PX_SST_NEW,
@@ -688,7 +687,7 @@ Package TP_AMF {
            PICS Selection PICS_A2/2 and PICS_A4/6_4
            
            Initial conditions with {
                the gNB entity hasEstablished_NG_C_AssociationTo the AMF
                the GNB entity hasEstablished_NG_C_AssociationTo the AMF
            }
            
            Expected behaviour