Commit 28c6d748 authored by juvancic's avatar juvancic
Browse files

modified TP 5GNAS_AMF_REG_REJ_01

parent 0ec3af0a
Loading
Loading
Loading
Loading
+67 −56
Original line number Diff line number Diff line
@@ -23,6 +23,8 @@ module NG_NAS_TCFunctions {
    import from Lib_NG_NAS_Templates all;

    //Lib3GPP
    //Lib3GPP
    import from NG_NAS_MsgContainers {type NG_NAS_DL_Message_Type, NG_NAS_UL_Message_Type};
    
    // LibNGAP
    import from NGAP_IEs language "ASN.1:2002" all;
@@ -294,7 +296,7 @@ module NG_NAS_TCFunctions {
                                                m_sliceSupportItem(
                                                        m_s_NSSAI(
                                                            PX_SST,
                                                            -,//      in template (omit) SD p_sD := omit,
                                                            PX_SD,//      in template (omit) SD p_sD := omit,
                                                            -//      in template (omit) S_NSSAI.iE_Extensions p_iE_Extensions := omit
                                                        ),
                                                        -//in template (omit) SliceSupportItem.iE_Extensions p_iE_Extensions := omit
@@ -310,69 +312,71 @@ module NG_NAS_TCFunctions {
                    )
                );
                
                f_recv_NGAP_PDU(
                    mw_ngap_unsuccMsg(
                        mw_n2_NGSetupFailure(
                            mw_cause_radioNetwork(
                                mww_causeRadioNetwork(?)
                            )
                        )
                    )

                );

                //f_recv_NGAP_PDU(
                //     mw_ngap_succMsg(
                //         mw_n2_NGSetupResponse(
                //         ?,
                //         {
                //             mw_servedGUAMIItem(
                //             mw_gUAMI(
                //                 ?,//template (present) PLMNIdentity p_pLMNIdentity := ?,
                //                 ?,//template (present) AMFRegionID p_aMFRegionID := ?,
                //                 ?,//template (present) AMFSetID p_aMFSetID := ?,
                //                 ?,//template (present) AMFPointer p_aMFPointer := ?,
                //                 *//template GUAMI.iE_Extensions p_iE_Extensions := *
                //             ),//template (present) GUAMI p_gUAMI := ?,
                //             *,//template AMFName p_backupAMFName := *,
                //             *//template ServedGUAMIItem.iE_Extensions p_iE_Extensions := *
                //             )
                //         },//template (present) ServedGUAMIList p_servedGUAMIList := ?,
                //         ?,//template (present) RelativeAMFCapacity p_relativeAmfCap:= ?,
                //         {
                //             mw_pLMNSupportItem(
                //             ?,//template (present) PLMNIdentity p_pLMNIdentity := ?,
                //             {
                //                 mw_sliceSupportItem(
                //                 mw_s_NSSAI(
                //                     ?,//template (present) SST p_sST := ?,
                //                     *,//template SD p_sD := *,
                //                     *//template S_NSSAI.iE_Extensions p_iE_Extensions := *
                //                 ),//template (present) S_NSSAI p_s_NSSAI := ?,
                //                 ?//template SliceSupportItem.iE_Extensions p_iE_Extensions := *
                //                 )
                //             },//template (present) SliceSupportList p_sliceSupportList := ?,
                //             *//template PLMNSupportItem.iE_Extensions p_iE_Extensions := *
                //    mw_ngap_unsuccMsg(
                //        mw_n2_NGSetupFailure(
                //            mw_cause_radioNetwork(
                //                mww_causeRadioNetwork(?)
                //            )
                //         }//template (present) PLMNSupportList p_plmnSuppList := ?
                //        )
                //    )

                //);

                f_recv_NGAP_PDU(?);
                 f_recv_NGAP_PDU(
                     mw_ngap_succMsg(
                         mw_n2_NGSetupResponse(
                         ?,
                         {
                             mw_servedGUAMIItem(
                             mw_gUAMI(
                                 ?,//template (present) PLMNIdentity p_pLMNIdentity := ?,
                                 ?,//template (present) AMFRegionID p_aMFRegionID := ?,
                                 ?,//template (present) AMFSetID p_aMFSetID := ?,
                                 ?,//template (present) AMFPointer p_aMFPointer := ?,
                                 *//template GUAMI.iE_Extensions p_iE_Extensions := *
                             ),//template (present) GUAMI p_gUAMI := ?,
                             *,//template AMFName p_backupAMFName := *,
                             *//template ServedGUAMIItem.iE_Extensions p_iE_Extensions := *
                             )
                         },//template (present) ServedGUAMIList p_servedGUAMIList := ?,
                         ?,//template (present) RelativeAMFCapacity p_relativeAmfCap:= ?,
                         {
                             mw_pLMNSupportItem(
                             ?,//template (present) PLMNIdentity p_pLMNIdentity := ?,
                             {
                                 mw_sliceSupportItem(
                                 mw_s_NSSAI(
                                     ?,//template (present) SST p_sST := ?,
                                     *,//template SD p_sD := *,
                                     *//template S_NSSAI.iE_Extensions p_iE_Extensions := *
                                 ),//template (present) S_NSSAI p_s_NSSAI := ?,
                                 ?//template SliceSupportItem.iE_Extensions p_iE_Extensions := *
                                 )
                             },//template (present) SliceSupportList p_sliceSupportList := ?,
                             *//template PLMNSupportItem.iE_Extensions p_iE_Extensions := *
                             )
                         }//template (present) PLMNSupportList p_plmnSuppList := ?
                         )
                     )
                 );

                //f_recv_NGAP_PDU(?);

                vt_NgNasUl_Msg := m_NG_REGISTRATION_REQUEST(
                                    {'1'B,'001'B},//in template (value) RegistrationType p_RegistrationType,
                                    '000'B,//in template (value) NAS_KsiValue p_KeySetId,
                                    {'0'B,'001'B},//in template (value) RegistrationType p_RegistrationType,
                                    '111'B,//in template (value) NAS_KsiValue p_KeySetId,
                                    '0'B,//in template (value) B1_Type p_Tsc,
                                    {                              // 24.501 cl. 9.11.3.4
                                    /*{                              // 24.501 cl. 9.11.3.4
                                        iei:=omit,
                                        iel:='0002'O,
                                        idDigit1:='0000'B,                // 1st identitity digit
                                        oddEvenInd:='0'B,              // Odd/even indicator or Spare
                                        typeOfId:='000'B,                // Type of identity
                                        otherDigits:='00'O// length (1..infinity) optional  // Other identity digits, could be any length @sic R5-192389, @sic R5w190307 sic@ sic@
                                    }//in template (value) NG_MobileIdentity p_MobileId,
                                        //otherDigits:='00'O// length (1..infinity) optional  // Other identity digits, could be any length @sic R5-192389, @sic R5w190307 sic@ sic@
                                        otherDigits:='00f110214300014444333020'O
                                    }*/
                                    m_NG_MobileIdentitySUCI('0000'B,'00f110214300014444330302'O)//in template (value) NG_MobileIdentity p_MobileId,
                                    
                                    /* in template (omit) NAS_KeySetIdentifier p_NonCurrentKSI := omit,
                                    in template (omit) NG_GMM_Cap p_GMM_Cap := omit,
@@ -415,8 +419,15 @@ module NG_NAS_TCFunctions {
                                    in template (omit) GPRS_Timer3 p_T3512 := omit */
                                )
                vc_sendNAS_PDU := bit2oct(encvalue( vt_NgNasUl_Msg ));
                var bitstring s := encvalue( vt_NgNasUl_Msg );
                //int i := decvalue(encvalue( vt_NgNasUl_Msg),vt_NgNasUl_Msg);
                log(vt_NgNasUl_Msg);
                log(vc_sendNAS_PDU);
                var NG_NAS_UL_Message_Type rec;
                var integer i;
                i := decvalue(s,rec);
                log(i);
                log(rec);

                f_send_NGAP_PDU(
                    m_ngap_initMsg(