Commit b5df7118 authored by garciay's avatar garciay
Browse files

Validate RSUsimulator against AtsSremSsem in non secured mode

parent 617e48c2
Loading
Loading
Loading
Loading
+14 −2
Original line number Diff line number Diff line
@@ -682,7 +682,7 @@ module ItsRSUsSimulator_Pics {
        
        group ivimCommonParams {
            
            modulepar BtpPortId PICS_IVIM_BTP_DESTINATION_PORT := 2005;
            modulepar BtpPortId PICS_IVIM_BTP_DESTINATION_PORT := 2006;
            
            modulepar BtpPortId PICS_IVIM_BTP_SOURCE_PORT      := 0;
            
@@ -714,7 +714,7 @@ module ItsRSUsSimulator_Pics {
        
        group ssemCommonParams {
            
            modulepar BtpPortId PICS_SSEM_BTP_DESTINATION_PORT := 2005;
            modulepar BtpPortId PICS_SSEM_BTP_DESTINATION_PORT := 2008;
            
            modulepar BtpPortId PICS_SSEM_BTP_SOURCE_PORT      := 0;
            
@@ -722,6 +722,18 @@ module ItsRSUsSimulator_Pics {
        
    } // End of group ssemEvents
    
    group sremEvents {
        
        group sremCommonParams {
            
            modulepar BtpPortId PICS_SREM_BTP_DESTINATION_PORT := 2007;
            
            modulepar BtpPortId PICS_SREM_BTP_SOURCE_PORT      := 0;
            
        } // End of group sremCommonParams
        
    } // End of group sremEvents
    
    group generationFrequencies {
        
        modulepar boolean PICS_GENERATE_CAM := true;
+7 −7
Original line number Diff line number Diff line
@@ -78,16 +78,16 @@ module ItsRSUsSimulator_Templates {
         * @param   p_seqNumber                 Sequence number of GeoUnicast packet
         * @param   p_nextHeader                Id of next header
         */
        template (present) GnNonSecuredPacket mw_geoNwUnicastPacketWithNextHeader_srem(
            in template (present) ShortPosVector p_destinationShortPosVec,
            in template (present) UInt16 p_seqNumber,
            in template (present) NextHeader p_nextHeader
        ) modifies mw_geoNwUnicastPacketWithNextHeader := {
        template (present) GnNonSecuredPacket mw_geoNwBroadcastPacketWithNextHeader_srem(
                                                                                         in template (present) LongPosVector p_sourceLongPosVec := ?,
                                                                                         in template (present) UInt16 p_seqNumber := ?,
                                                                                         in template (present) NextHeader p_nextHeader := ?
        ) modifies mw_geoNwBroadcastPacketWithNextHeader := {
            payload := { 
                decodedPayload := { 
                    btpPacket := mw_btpB(
                        ?, // TODO PICS_SREM_BTP_DESTINATION_PORT 
                        ?, 
                        PICS_SREM_BTP_DESTINATION_PORT, 
                        PICS_SREM_BTP_SOURCE_PORT, 
                        ?
                    )
                }, 
+10 −1
Original line number Diff line number Diff line
@@ -54,19 +54,28 @@ module ItsRSUsSimulator_TestCases {
        if (ispresent(vc_rsuMessagesValueList[PX_RSU_ID - 1].ivim)) {
            tc_ivim.start;
        }
        log("Expected SREM:", mw_geoNwInd(
                    mw_geoNwPdu(
                        mw_geoNwBroadcastPacketWithNextHeader_srem(
                            ?,
                            ?,
                            e_btpB
        ))));
        alt {
            [] geoNetworkingPort.receive(
                mw_geoNwInd(
                    mw_geoNwPdu(
                        mw_geoNwUnicastPacketWithNextHeader_srem(
                        mw_geoNwBroadcastPacketWithNextHeader_srem(
                            ?,
                            ?,
                            e_btpB
            )))) -> value v_gnInd { // Receive a SREM message
                log("*** " & testcasename() & ": DEBUG: Processing SREM ***");
                f_processSrem(v_gnInd.msgIn);
                repeat;
            }
            [] geoNetworkingPort.receive(mw_geoNwInd(?)) -> value v_gnInd { // Receive a message
                log("*** " & testcasename() & ": DEBUG: Recieving unsollicited message ***");
                // Nothing to do, just for logging purposes
                repeat;
            }