Commit b83bf013 authored by garciay's avatar garciay
Browse files

Validation of TD_AUTO_IOT_DENM_SVW_BV_01 done

parent 18300be3
Loading
Loading
Loading
Loading
+21 −0
Original line number Diff line number Diff line
@@ -77,6 +77,27 @@ module ItsAutoInterop_Pics {
        elevation                                   := 0
    }; // End of PICS_Z1_D3_EP
    
    /**
     * @desc Use the GPS position of each heavy truck
     */
    modulepar ThreeDLocation PICS_UC2_HEAVY_TRUCK_POS := {
        latitude                                    := 435536690,
        longitude                                   := 103031060,
        elevation                                   := 0
    }; // End of PICS_Z1_D3_EP
    
    /**
     * @desc DENM cause variant for TC_AUTO_IOT_DENM_SVW_BV_01
     * @see Draft ETSI TS yyy xxx-2 V0.0.87 (2017-03) Table 4: Possible DENM cause values (ETSI EN 302 637-3 [5] Table 10: Cause description and cause code assignment for ETSI use case)
     */
    modulepar integer  PICS_UC2_CAUSE := 94;
    
    /**
     * @desc DENM subcause variant for TC_AUTO_IOT_DENM_SVW_BV_01
     * @see Draft ETSI TS yyy xxx-2 V0.0.87 (2017-03) Table 5: Possible DENM sub-cause values (ETSI EN 302 637-3 [5] Table 10: Cause description and cause code assignment for ETSI use case)
     */
    modulepar integer PICS_UC2_SUBCAUSE := 5;
    
    /**
     * @desc Absolute coordinate for position 0 
     * @see  TODO
+8 −8
Original line number Diff line number Diff line
@@ -17,14 +17,14 @@ module ItsAutoInterop_Pixits {
     */
    modulepar EutDescriptions PX_EUT_DESC := {
        {
            '04e548000001'O,
            10171,
            '04e548000001'O
            'b482fe4433eb'O,
            10002,
            'b482fe4433eb'O
        }, // EUT_1
        {
            '70b3d5791b48'O,
            10031,
            '70b3d5791b48'O
            'ce6b359a0c57'O,
            10152,
            'ce6b359a0c57'O
        }, // EUT_2
        {
            '000000000003'O,
@@ -82,12 +82,12 @@ module ItsAutoInterop_Pixits {
     * @desc DENM cause variant
     * @see Draft ETSI TS yyy xxx-2 V0.0.87 (2017-03) Table 4: Possible DENM cause values (ETSI EN 302 637-3 [5] Table 10: Cause description and cause code assignment for ETSI use case)
     */
    modulepar integer PX_DENM_CAUSE_VA := 1;
    modulepar integer PX_DENM_CAUSE_VA := 94;
    
    /**
     * @desc DENM subcause variant 
     * @see Draft ETSI TS yyy xxx-2 V0.0.87 (2017-03) Table 5: Possible DENM sub-cause values (ETSI EN 302 637-3 [5] Table 10: Cause description and cause code assignment for ETSI use case)
     */
    modulepar integer PX_DENM_SUBCAUSE_VA := 1;
    modulepar integer PX_DENM_SUBCAUSE_VA := 5;
    
} // End of module ItsAutoInterop_Pixits
+20 −0
Original line number Diff line number Diff line
@@ -204,6 +204,26 @@ module ItsAutoInterop_Templates {
    relevanceTrafficDirection   := p_relevanceTrafficDirection
    } // End of tamplate mw_denmMgmtCon_with_relevances
        
    /**
     * @desc    Receive template for Management Container
     * @param   p_actionID              The expected action id
     * @param   p_referenceTime         The reference time (Default: any)
     * @param   p_isNegation            The expected negation flag (Default: false)
     * @param   p_validityDuration      The expected validity duration (Default: any or omit)
     * @param   p_transmissionInterval  The expected transmission interval (Default: any or omit)
     */
    template (present) ManagementContainer mw_denmMgmtCon_with_relevances_position(
                                                                                   template (present) ActionID p_actionID := ?,
                                                                                   template (present) ITS_Container.StationType p_stationType := ?,
                                                                                   template (present) TimestampIts p_referenceTime := ?,
                                                                                   template ValidityDuration p_validityDuration := *, // In ASN.1, a DEFAULT value constraint could be replaced by an omit
                                                                                   template TransmissionInterval p_transmissionInterval := *,
                                                                                   template Termination p_termination := *,
                                                                                   template (present) ReferencePosition p_eventPosition := ?
                                                                                   ) modifies mw_denmMgmtCon := {
    eventPosition               := p_eventPosition
    } // End of tamplate mw_denmMgmtCon_with_relevances_position
        
    /**
     * @desc    Receive template for the test system position
     * @param   p_longitude The longitude (Default: Test system's longitude)
+25 −17
Original line number Diff line number Diff line
@@ -1847,7 +1847,12 @@ module ItsAutoInterop_TestCases {
                                                                                                             ?,
                                                                                                             ?,
                                                                                                             e_btpB,
                                                                                                             ?
                                                                                                             f_payload_template(
                                                                                                                                PICS_DENM_BTP_DESTINATION_PORT, 
                                                                                                                                PICS_DENM_BTP_SOURCE_PORT, 
                                                                                                                                LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_denm_, 
                                                                                                                                PX_EUT_DESC[p_eut_id].stationId
                                                                                                                                )
                                                                                                             )))) -> value v_gnInd { // Receive a DEN message
          tc_ac.stop;
          // Check DENM paylod
@@ -1884,7 +1889,7 @@ module ItsAutoInterop_TestCases {
          }
        }
        [] tc_ac.timeout {
          log("*** " & testcasename() & ": INCONC: The three expected DEN messages were not received in time ***");
          log("*** " & testcasename() & ": INCONC: The expected DEN message were not received in time ***");
          f_selfOrClientSyncAndVerdict(c_prDone, e_timeout);
        }
      } // End of 'alt' statement
@@ -2098,7 +2103,12 @@ module ItsAutoInterop_TestCases {
                                                                                                             ?,
                                                                                                             ?,
                                                                                                             e_btpB,
                                                                                                             ?
                                                                                                             f_payload_template(
                                                                                                                                PICS_DENM_BTP_DESTINATION_PORT, 
                                                                                                                                PICS_DENM_BTP_SOURCE_PORT, 
                                                                                                                                LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_denm_, 
                                                                                                                                PX_EUT_DESC[p_eut_id].stationId
                                                                                                                                )
          )))) -> value v_gnInd { // Receive a DEN message
          tc_ac.stop;
          // Check DENM paylod
@@ -2107,20 +2117,18 @@ module ItsAutoInterop_TestCases {
                                   mw_denm_stationId(
                                                     PX_EUT_DESC[p_eut_id].stationId,
                                                     mw_denm(
                                                             mw_denmMgmtCon_with_relevances(
                                                             mw_denmMgmtCon_with_relevances_position(
                                                                                                     ?,
                                                                                            LibItsCommon_ASN1_NamedNumbers.StationType_roadSideUnit_,
                                                                                            -,
                                                                                                     LibItsCommon_ASN1_NamedNumbers.StationType_heavyTruck_,
                                                                                                     -,
                                                                                                     4,
                                                                                                     -,
                                                                                                     -,
                                                                                            lessThan100m,
                                                                                            allTrafficDirections,
                                                                                            mw_referencePosition(PICS_Z1_D1_EP)
                                                                                                     mw_referencePosition(PICS_UC2_HEAVY_TRUCK_POS)
                                                                                                     ),
                                                             mw_situation(
                                                                          PX_DENM_CAUSE_VA, 
                                                                          PX_DENM_SUBCAUSE_VA                      
                                                                          PICS_UC2_CAUSE,
                                                                          PICS_UC2_SUBCAUSE
                                                                          )))) == true) {
            // Re-send DEN message to the other EUTs
            eutGeoNetworkingPort.send(
+1 −0
Original line number Diff line number Diff line
@@ -113,6 +113,7 @@ module TestCodec_ChainOfCertificates {
    log("tc_full_check_certificate_1: Final chain = ", v_chain_sec_info);
    
    // Store Private key in binary format
    fx_loadCertificates("/home/vagrant/tmp/Yann", "");
    fx_store_certificate("CERT_TEST_ROOT", v_chain_sec_info.ca.enc_cert, v_chain_sec_info.ca.private_key, v_chain_sec_info.ca.public_key_x, v_chain_sec_info.ca.public_key_y, v_chain_sec_info.ca.hashid8, v_chain_sec_info.ca.issuer);
    fx_store_certificate("CERT_TS_A_AA", v_chain_sec_info.ca.enc_cert, v_chain_sec_info.ca.private_key, v_chain_sec_info.ca.public_key_x, v_chain_sec_info.ca.public_key_y, v_chain_sec_info.ca.hashid8, v_chain_sec_info.ca.issuer);
    fx_store_certificate("CERT_TS_A_AT", v_chain_sec_info.ca.enc_cert, v_chain_sec_info.ca.private_key, v_chain_sec_info.ca.public_key_x, v_chain_sec_info.ca.public_key_y, v_chain_sec_info.ca.hashid8, v_chain_sec_info.ca.issuer);