Commit 07f90f6d authored by juvancic's avatar juvancic
Browse files

to analayse asn.1 ProtocolIES order

parent fe37a54f
Loading
Loading
Loading
Loading
+111 −6
Original line number Diff line number Diff line
@@ -25,17 +25,17 @@ module NG_NAS_TCFunctions{
    //Lib3GPP

    // LibNGAP
    //import from NGAP_IEs language "ASN.1:2002" all;
    //import from NGAP_Constants language "ASN.1:2002" all;
    import from NGAP_IEs language "ASN.1:2002" all;
    import from NGAP_Constants language "ASN.1:2002" all;

    //import from LibNGAP_Pixits all;
    //import from LibNGAP_Templates all;
    import from LibNGAP_Pixits all;
    import from LibNGAP_Templates all;
    import from LibNGAP_Interface all;
    import from LibNGAP_Steps all;

    // NGAP_Ats
    //import from NGAP_TestSystem all;
    //import from NGAP_Steps all;
    import from NGAP_Steps all;
    //import from NGAP_Pixits all;


@@ -77,11 +77,99 @@ module NG_NAS_TCFunctions{
            // Local variables

            // Preamble
            //TODO: f_NGAP_gnb_init();
            f_NGAP_gnb_init();
            f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
            log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");

            // Body
           
            f_send_NGAP_PDU(
                m_ngap_initMsg(
                m_n2_NGSetupRequest(
                    m_globalRANNodeID_globalGNB_ID(
                    m_ie_globalGnbId(
                    PX_PLMN_IDENTITY,
                    PX_GNB_ID,//'0000000000000000000000'B,//in template (value) bitstring p_gnbId,
                    -//in template (omit) GlobalGNB_ID.iE_Extensions p_iE_Extensions := omit
                    )
                    ),
                    {
                    m_supportedTAItem(
                        PX_TACode,
                        {
                        m_ie_broadcastPLMNItem(
                            PX_PLMN_IDENTITY,//m_ie_pLMNIdentity('00f110'O),
                            {
                            m_sliceSupportItem(
                                m_s_NSSAI(
                                PX_SST,
                                -,//      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
                                )
                            }
                        )
                        },//in template (value) BroadcastPLMNList p_broadcastPLMNList,
                        -//in template (omit) SupportedTAItem.iE_Extensions p_iE_Extensions := omit
                    )
                    },
                    PX_PAGING_DRX
                )
                )
            );
            
            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 := *
            //             )
            //         }//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,
@@ -139,6 +227,23 @@ module NG_NAS_TCFunctions{
            log(vt_NgNasUl_Msg);
            log(vc_sendNAS_PDU);

            f_send_NGAP_PDU(
                m_ngap_initMsg(
                    m_n2_initialUeMessage(
                                            -,
                                            vc_sendNAS_PDU,
                                            m_uPTransportLayerInformation_userLocationInformationNR(
                                                                                                    m_userLocationInformationNR(
                                                                                                        m_nR_CGI,
                                                                                                        m_tAI
                                                                                                    ))
                ))
            );

            f_recv_NGAP_PDU(?);



            //f_send_NGAP_PDU(m_ngap_initMsg(/*initiating msgtemplate*/));
            //f_recv_NGAP_PDU(?);