Skip to content
LibItsIicp_Pixits.ttcn3 3.81 KiB
Newer Older
/**
 *  @author     ETSI / STF422_EETS
 *  @version    $URL:$
 *              $Id:$
 *  @desc       Inter-ITS-SCU communications (ISO 24102-4) Pixits
 */
module LibItsIicp_Pixits {
    
    // LibCommon
    import from LibCommon_DataStrings {
        type Bit4
    };
    
    // LibIts
garciay's avatar
garciay committed
    import from CALMllsap language "ASN.1:1997" {
        type 
            Link_ID, CIstatus 
    };
    import from CALMmsap language "ASN.1:1997" {
        type 
            MF_Command, MN_Command, MI_Command 
    };
    import from CALMmanagement language "ASN.1:1997" {
        type 
            ITS_scuId, Talive 
    };
    import from CALMiitsscu language "ASN.1:1997" {
        type ITS_SCUtype 
    }; 
    import from CALMfntp language "ASN.1:1997" {
        type PortNumber
    };
    
garciay's avatar
garciay committed
    /**
     * @desc Defines the active CI link identifier
     */
    modulepar Link_ID PX_ACTIVE_VCI_LINK_ID := {
        remoteCIID := '0000000000000000'O, 
        localCIID := '0000000000000000'O 
    };
    
    /**
     * @desc Defines the value to set to fill field for PduRequest field
     * @see ISO/WD 24102-4 - Clause 7
     */
    modulepar Bit4 PX_PDU_REQUEST_FILL_FIELD_VALUE := '0000'B;
    
    /**
     * @desc ITS-SCU-ID of the source ITS-SCU which produces the request
     */
    modulepar ITS_scuId PX_SRC_ITS_SCU_ID := 0;
    
    /**
     * @desc ITS_SCUtype of the source ITS-SCU which produces the request
     */
    modulepar ITS_SCUtype PX_SRC_ITS_SCU_TYPE := 2; // router
    
    /**
     * @desc ITS-SCU-ID of the destination ITS-SCU which shall evaluate the request
     */
    modulepar ITS_scuId PX_DST_ITS_SCU_ID := 0;
    
    /**
     * @desc The own ITS scuID
     * @see ISO/WD 24102-4 - Table 2 — ITS-SCU-ID value assignment
     */
    modulepar ITS_scuId PX_LOCAL_ITS_SCU_ID := 8; 
    
    /**
     * @desc The type ITS scuID
     * @see ISO/WD 24102-4 - Table 2 — ITS-SCU-ID value assignment
     */
    modulepar ITS_SCUtype PX_LOCAL_ITS_TYPE := 1; // ITS_SCUtype_host_ 
    
    /**
     * @desc Host ITS-SCU-ID
     */
    modulepar ITS_scuId PX_HOST_SCU_ID := 0;
    
    /**
garciay's avatar
garciay committed
     * @desc Alive timer
garciay's avatar
garciay committed
    modulepar Talive PX_TALIVE := 100; // TODO Check what is the role of Talive?
    
    /**
     * Wait until the IUT is in a stable situation (beaconing...)
     */
    modulepar float PX_WAIT_FOR_IUT_READY := 1.0;
    
garciay's avatar
garciay committed
    /**
     * @desc MI-Command value used for IICP/COM/xx TPs
     * NOTE that this PIXIT is used just for compiling purposes. The real PIXIT shall be written according to the IUT capabilities
     */
    modulepar MI_Command PX_MI_RCMD_STATECINOTIFY := {
        fill := PX_PDU_REQUEST_FILL_FIELD_VALUE,
        miCmd := {
            wakeUp := 10
        }
    } 
    
    /**
     * @desc MN-Command value used for IICP/COM/xx TPs
     * NOTE that this PIXIT is used just for compiling purposes. The real PIXIT shall be written according to the IUT capabilities
     */
    modulepar MN_Command PX_MN_RCMD_STATECINOTIFY := {
        fill := '00000'B,
        mnCmd := {
            fWTdelete := {
                fill := '0000000'B,
                delete := {
                    fntp := {
                        reference := 10 
                    }
                } 
            }
        }
    } 
    
    /**
     * @desc MF-Command value used for IICP/COM/xx TPs
     * NOTE that this PIXIT is used just for compiling purposes. The real PIXIT shall be written according to the IUT capabilities
     */
    modulepar MF_Command PX_MF_RCMD_STATECINOTIFY := {
        fill := PX_PDU_REQUEST_FILL_FIELD_VALUE,
        mfCmd := {
            stateCInotify := {
                linkId := {
                    remoteCIID := '0000000000000000'O, 
                    localCIID := '0000000000000000'O 
                },
                cIstatus := 8
            }
        }
    }