Commit 812c98e7 authored by Yann Garcia's avatar Yann Garcia
Browse files

Extract vc_AMF_UE_ID value from message

parent 0407c3bb
Loading
Loading
Loading
Loading
+24 −16
Original line number Diff line number Diff line
@@ -290,6 +290,10 @@ module LibNGAP_Functions {
        }
        log("v_message: ", v_message);

        // Extract ID-RAN-UE-NGAP-ID
        vc_AMF_UE_ID := vc_recvNGAP_PDU.initiatingMessage.value_.downlinkNASTransport.protocolIEs[0].value_.aMF_UE_NGAP_ID;
        log("vc_AMF_UE_ID: ", vc_AMF_UE_ID);   

        // Compute RES/XRES
        if (f_5g_aka_compute_res_xres(-, v_message.authentication_Request.rand.randValue, v_message.authentication_Request.autn.aUTN, v_message.authentication_Request.abba, PX_PLMN_IDENTITY, -/*oct2hex(PX_SUPI_DIGITS)*/, vc_ng_nas_security_params_type) == false) {
            setverdict(fail);
@@ -304,7 +308,7 @@ module LibNGAP_Functions {
        f_send_NGAP_PDU(
                        m_ngap_initMsg(
                                        m_n2_UplinkNASTransport(
                                                                PX_AMF_UE_NGAP_ID,
                                                                vc_AMF_UE_ID,
                                                                PX_RAN_UE_NGAP_ID,
                                                                vc_sendNAS_PDU,
                                                                m_uPTransportLayerInformation_userLocationInformationNR(
@@ -343,6 +347,10 @@ module LibNGAP_Functions {
        }
        log("v_dl_message: ", v_dl_message);

        // Extract ID-RAN-UE-NGAP-ID
        vc_AMF_UE_ID := vc_recvNGAP_PDU.initiatingMessage.value_.downlinkNASTransport.protocolIEs[0].value_.aMF_UE_NGAP_ID;
        log("vc_AMF_UE_ID: ", vc_AMF_UE_ID);   

        // Compute RES/XRES
        if (f_5g_aka_compute_res_xres(-, v_dl_message.authentication_Request.rand.randValue, v_dl_message.authentication_Request.autn.aUTN, v_dl_message.authentication_Request.abba, PX_PLMN_IDENTITY, -/*oct2hex(PX_SUPI_DIGITS)*/, vc_ng_nas_security_params_type) == false) {
            setverdict(fail);
@@ -353,7 +361,7 @@ module LibNGAP_Functions {
        f_recv_NGAP_PDU(
                        mw_ngap_initMsg(
                                        mw_n2_UplinkNASTransport(
                                                                 PX_AMF_UE_NGAP_ID,
                                                                 vc_AMF_UE_ID,
                                                                 PX_RAN_UE_NGAP_ID
                        )));
        f_NASPDU_Get(vc_recvNGAP_PDU);
@@ -392,7 +400,7 @@ module LibNGAP_Functions {
        f_recv_NGAP_PDU(
                        mw_ngap_initMsg(
                                        mw_n2_DownlinkNASTransport(
                                                                   PX_AMF_UE_NGAP_ID,
                                                                   vc_AMF_UE_ID,
                                                                   PX_RAN_UE_NGAP_ID,
                                                                   ? // SecurityModeCommand
                        )));
@@ -426,7 +434,7 @@ module LibNGAP_Functions {
        f_send_NGAP_PDU(
                        m_ngap_initMsg(
                                        m_n2_UplinkNASTransport(
                                                                PX_AMF_UE_NGAP_ID,
                                                                vc_AMF_UE_ID,
                                                                PX_RAN_UE_NGAP_ID,
                                                                vc_sendNAS_PDU,
                                                                m_uPTransportLayerInformation_userLocationInformationNR(
@@ -445,7 +453,7 @@ module LibNGAP_Functions {
        f_recv_NGAP_PDU(
                        mw_ngap_initMsg(
                                        mw_n2_DownlinkNASTransport(
                                                                   PX_AMF_UE_NGAP_ID,
                                                                   vc_AMF_UE_ID,
                                                                   PX_RAN_UE_NGAP_ID,
                                                                   ? // SecurityModeCommand
                        )));
@@ -464,7 +472,7 @@ module LibNGAP_Functions {
        f_recv_NGAP_PDU(
                        m_ngap_initMsg(
                                        m_n2_UplinkNASTransport(
                                                                PX_AMF_UE_NGAP_ID,
                                                                vc_AMF_UE_ID,
                                                                PX_RAN_UE_NGAP_ID,
                                                                vc_sendNAS_PDU,
                                                                m_uPTransportLayerInformation_userLocationInformationNR(
@@ -494,7 +502,7 @@ module LibNGAP_Functions {
        f_recv_NGAP_PDU(
                        mw_ngap_initMsg(
                                        mw_n2_InitialContextSetupRequest/*_withPDUSessionList*/(
                                                                                                PX_AMF_UE_NGAP_ID,
                                                                                                vc_AMF_UE_ID,
                                                                                                PX_RAN_UE_NGAP_ID,
                                                                                                mw_gUAMI
                                                                                                (
@@ -537,7 +545,7 @@ module LibNGAP_Functions {
        f_recv_NGAP_PDU(
                        mw_ngap_initMsg(
                                        mw_n2_InitialContextSetupRequest/*_withPDUSessionList*/(
                                                                                                PX_AMF_UE_NGAP_ID,
                                                                                                vc_AMF_UE_ID,
                                                                                                PX_RAN_UE_NGAP_ID,
                                                                                                mw_gUAMI
                                                                                                (
@@ -649,7 +657,7 @@ module LibNGAP_Functions {
        f_send_NGAP_PDU(
                        m_ngap_initMsg(
                                        m_n2_UplinkNASTransport(
                                                                PX_AMF_UE_NGAP_ID,
                                                                vc_AMF_UE_ID,
                                                                PX_RAN_UE_NGAP_ID,
                                                                vc_sendNAS_PDU,
                                                                m_uPTransportLayerInformation_userLocationInformationNR(
@@ -666,7 +674,7 @@ module LibNGAP_Functions {
        f_recv_NGAP_PDU(
                        mw_ngap_initMsg(
                                        mw_n2_DownlinkNASTransport(
                                                                   PX_AMF_UE_NGAP_ID,
                                                                   vc_AMF_UE_ID,
                                                                   PX_RAN_UE_NGAP_ID,
                                                                   ? // SecurityModeCommand
                        )));
@@ -728,7 +736,7 @@ module LibNGAP_Functions {
        f_recv_NGAP_PDU(
                        mw_ngap_initMsg(
                                        mw_n2_DownlinkNASTransport(
                                                                   PX_AMF_UE_NGAP_ID,
                                                                   vc_AMF_UE_ID,
                                                                   PX_RAN_UE_NGAP_ID,
                                                                   ? // SecurityModeCommand
                        )));
@@ -749,7 +757,7 @@ module LibNGAP_Functions {
        f_recv_NGAP_PDU(
                        mw_ngap_initMsg(
                                        mw_n2_PDUSessionResourceSetupRequest(
                                                                            PX_AMF_UE_NGAP_ID,
                                                                            vc_AMF_UE_ID,
                                                                            PX_RAN_UE_NGAP_ID,
                                                                            {
                                                                                mw_pDUSessionResourceSetupItemSUReq(
@@ -805,7 +813,7 @@ module LibNGAP_Functions {
        f_recv_NGAP_PDU(
                        mw_ngap_initMsg(
                                        mw_n2_PDUSessionResourceSetupRequest(
                                                                            PX_AMF_UE_NGAP_ID,
                                                                            vc_AMF_UE_ID,
                                                                            PX_RAN_UE_NGAP_ID,
                                                                            {
                                                                                mw_pDUSessionResourceSetupItemSUReq(
@@ -827,7 +835,7 @@ module LibNGAP_Functions {
        f_recv_NGAP_PDU(
                        mw_ngap_succMsg(
                                        mw_n2_PDUSessionResourceSetupResponse(
                                                                              -,
                                                                              vc_AMF_UE_ID,
                                                                              -,
                                                                              {
                                                                                (
@@ -855,7 +863,7 @@ module LibNGAP_Functions {
        f_send_NGAP_PDU(
                        m_ngap_initMsg(
                                        m_n2_UEContextReleaseRequest(
                                                                     PX_AMF_UE_NGAP_ID,
                                                                     vc_AMF_UE_ID,
                                                                     PX_RAN_UE_NGAP_ID,
                                                                     p_Cause
                        )));
@@ -863,7 +871,7 @@ module LibNGAP_Functions {
        f_recv_NGAP_PDU(
                        mw_ngap_succMsg(
                                        mw_n2_UEContextReleaseComplete(
                                                                       PX_AMF_UE_NGAP_ID,
                                                                       vc_AMF_UE_ID,
                                                                       PX_RAN_UE_NGAP_ID
                        )));
    }
+2 −2
Original line number Diff line number Diff line
@@ -71,8 +71,8 @@ module LibNGAP_Interface {

            // Init of values at component started
            // Note: generation of following MME and ENB UE IDs can be done randomly in init
            //var AMF_UE_NGAP_ID vc_AMF_UE_ID         := 10;
            //var GNB_UE_NGAP_ID vc_gNB_UE_ID         := 11;
            var integer vc_AMF_UE_ID         := 10;
            var integer vc_gNB_UE_ID         := 11;

            // General timers
            timer tc_wait  := PX_NGAP_TWAIT;
+5 −1
Original line number Diff line number Diff line
@@ -136,6 +136,10 @@ module Lib_NG_NAS_Functions {
        }
        setverdict(pass);

        // Extract ID-RAN-UE-NGAP-ID
        vc_AMF_UE_ID := vc_recvNGAP_PDU.initiatingMessage.value_.downlinkNASTransport.protocolIEs[0].value_.aMF_UE_NGAP_ID;
        log("vc_AMF_UE_ID: ", vc_AMF_UE_ID);   

        // Compute RES/XRES
        if (f_5g_aka_compute_res_xres(-, v_message.authentication_Request.rand.randValue, v_message.authentication_Request.autn.aUTN, v_message.authentication_Request.abba, PX_PLMN_IDENTITY, -/*oct2hex(PX_SUPI_DIGITS)*/, vc_ng_nas_security_params_type) == false) {
            setverdict(fail);
@@ -151,7 +155,7 @@ module Lib_NG_NAS_Functions {
        f_send_NGAP_PDU(
                        m_ngap_initMsg(
                                        m_n2_UplinkNASTransport(
                                                                PX_AMF_UE_NGAP_ID,
                                                                vc_AMF_UE_ID,
                                                                PX_RAN_UE_NGAP_ID,
                                                                vc_sendNAS_PDU,
                                                                m_uPTransportLayerInformation_userLocationInformationNR(