Commit 5d39aeb9 authored by YannGarcia's avatar YannGarcia
Browse files

Merge branch 'STF525' of https://forge.etsi.org/gitlab/ITS/ITS into STF525

parents 11b20e3a a3075fe4
Loading
Loading
Loading
Loading
+5 −7
Original line number Original line Diff line number Diff line
@@ -91,20 +91,18 @@ LogEventTypes:= Yes
#     time_offset : Time offset, used to skip packets with time offset < time_offset
#     time_offset : Time offset, used to skip packets with time offset < time_offset
#     save_mode   : Set to 1 to save sent packet, 0 otherwise
#     save_mode   : Set to 1 to save sent packet, 0 otherwise


#system.camPort.params := "CAM(next_header=btpB,header_type=tsb,header_sub_type=sh)/BTP/GN(ll_address=4C5E0C14D2EA,latitude=43551050,longitude=10298730,distanceA=1500,distanceB=1500,angle=0,device_mode=1,secured_mode=1,sec_db_path=/home/vagrant/tmp/asn1c_cert)/ETH(mac_src=e2b7b30429eb)/PCAP(mac_src=e2b7b30429eb,nic=eth2,filter=and ether proto 0x8947)"
system.camPort.params := "CAM(next_header=btpB,header_type=tsb,header_sub_type=sh)/BTP/GN(ll_address=4C5E0C14D2EA,latitude=43551050,longitude=10298730,distanceA=1500,distanceB=1500,angle=0,device_mode=1,secured_mode=1,sec_db_path=/home/vagrant/tmp/asn1c_cert)/ETH(mac_src=e2b7b30429eb)/PCAP(mac_src=e2b7b30429eb,nic=wlan0,filter=and ether proto 0x8947)"


#system.camPort.params := "CAM(next_header=btpB,header_type=tsb,header_sub_type=sh)/BTP/GN(ll_address=4C5E0C14D2EA,latitude=43551050,longitude=10298730,distanceA=1500,distanceB=1500,angle=0,device_mode=1)/ETH(mac_src=e2b7b30429eb)/PCAP(mac_src=e2b7b30429eb,nic=tap0,filter=and ether proto 0x8947)" # Nordsys non secured
#system.camPort.params := "CAM(next_header=btpB,header_type=tsb,header_sub_type=sh)/BTP/GN(ll_address=4C5E0C14D2EA,latitude=43551050,longitude=10298730,distanceA=1500,distanceB=1500,angle=0,device_mode=1)/ETH(mac_src=e2b7b30429eb)/PCAP(mac_src=e2b7b30429eb,nic=tap0,filter=and ether proto 0x8947)" # Nordsys non secured
#system.camPort.params := "CAM(next_header=btpB,header_type=tsb,header_sub_type=sh)/BTP/GN(ll_address=4C5E0C14D2EA,latitude=43551050,longitude=10298730,distanceA=1500,distanceB=1500,angle=0,device_mode=1,secured_mode=1,sec_db_path=/home/vagrant/tmp/asn1c_cert)/ETH(mac_src=e2b7b30429eb)/PCAP(mac_src=e2b7b30429eb,nic=tap0,filter=and ether proto 0x8947)" # Nordsys secured
#system.camPort.params := "CAM(next_header=btpB,header_type=tsb,header_sub_type=sh)/BTP/GN(ll_address=4C5E0C14D2EA,latitude=43551050,longitude=10298730,distanceA=1500,distanceB=1500,angle=0,device_mode=1,secured_mode=1,sec_db_path=/home/vagrant/tmp/asn1c_cert)/ETH(mac_src=e2b7b30429eb)/PCAP(mac_src=e2b7b30429eb,nic=tap0,filter=and ether proto 0x8947)" # Nordsys secured
#system.camPort.params := "CAM(next_header=btpB,header_type=tsb,header_sub_type=sh)/BTP/GN(ll_address=4C5E0C14D2EA,latitude=43551050,longitude=10298730,distanceA=1500,distanceB=1500,angle=0,device_mode=1,secured_mode=0,sec_db_path=/home/vagrant/tmp/asn1c_cert)/UDP(dst_ip=172.28.7.123,src_port=54915,dst_port=54915)" # Savary
#system.camPort.params := "CAM(next_header=btpB,header_type=tsb,header_sub_type=sh)/BTP/GN(ll_address=4C5E0C14D2EA,latitude=43551050,longitude=10298730,distanceA=1500,distanceB=1500,angle=0,device_mode=1,secured_mode=0,sec_db_path=/home/vagrant/tmp/asn1c_cert)/UDP(dst_ip=172.28.7.123,src_port=54915,dst_port=54915)" # Savary
system.camPort.params := "CAM(next_header=btpB,header_type=tsb,header_sub_type=sh)/BTP/GN(ll_address=4C5E0C14D2EA,latitude=43551050,longitude=10298730,distanceA=1500,distanceB=1500,angle=0,device_mode=1,secured_mode=0,sec_db_path=/home/vagrant/tmp/asn1c_cert)/COMMSIGNIA(mac_src=080027F44E7D,interface_id=2,target_host=192.168.42.2)/UDP(dst_ip=192.168.42.2,src_port=7943,dst_port=6666)"
#system.camPort.params := "CAM(next_header=btpB,header_type=tsb,header_sub_type=sh)/BTP/GN(ll_address=4C5E0C14D2EA,latitude=43551050,longitude=10298730,distanceA=1500,distanceB=1500,angle=0,device_mode=1,secured_mode=0,sec_db_path=/home/vagrant/tmp/asn1c_cert)/COMMSIGNIA(mac_src=080027F44E7D,interface_id=2,target_host=192.168.42.2)/UDP(dst_ip=192.168.42.2,src_port=7943,dst_port=6666)"


# CAM UpperTester port based on UDP
# CAM UpperTester port based on UDP
system.utPort.params := "UT_CAM/UDP(dst_ip=192.168.1.250,src_port=12345)"
system.utPort.params := "UT_CAM/UDP(dst_ip=192.168.1.252,src_port=12345)"
#system.utPort.params := "UT_CAM/UDP(dst_ip=172.23.0.1,dst_port=8000)" # Nordsys
#system.utPort.params := "UT_CAM/UDP(dst_ip=172.28.7.123,dst_port=1999)" # Savary


[EXECUTE]
[EXECUTE]
#ItsCam_TestCases.TC_CAM_MSD_FMT_BV_01
ItsCam_TestCases.TC_CAM_MSD_FMT_BV_01
#ItsCam_TestCases.TC_CAM_MSD_FMT_BV_02
#ItsCam_TestCases.TC_CAM_MSD_FMT_BV_02
#ItsCam_TestCases.TC_CAM_MSD_FMT_BV_03
#ItsCam_TestCases.TC_CAM_MSD_FMT_BV_03
#ItsCam_TestCases.TC_CAM_MSD_FMT_BV_04
#ItsCam_TestCases.TC_CAM_MSD_FMT_BV_04
@@ -152,7 +150,7 @@ system.utPort.params := "UT_CAM/UDP(dst_ip=192.168.1.250,src_port=12345)"
#ItsCam_TestCases.TC_CAM_MSD_INA_BV_07
#ItsCam_TestCases.TC_CAM_MSD_INA_BV_07
#ItsCam_TestCases.TC_CAM_MSD_INA_BV_08
#ItsCam_TestCases.TC_CAM_MSD_INA_BV_08
#ItsCam_TestCases.TC_CAM_MSD_SSP_BO_02
#ItsCam_TestCases.TC_CAM_MSD_SSP_BO_02
ItsCam_TestCases.TC_CAM_MSP_BV_01
#ItsCam_TestCases.TC_CAM_MSP_BV_01


[MAIN_CONTROLLER]
[MAIN_CONTROLLER]
# The options herein control the behavior of MC.
# The options herein control the behavior of MC.
+8 −4
Original line number Original line Diff line number Diff line
@@ -6,6 +6,7 @@
LibItsCommon_Pixits.PX_IUT_STATION_ID := 2533729309
LibItsCommon_Pixits.PX_IUT_STATION_ID := 2533729309


LibItsGeoNetworking_Pixits.PX_GN_UPPER_LAYER := e_btpB
LibItsGeoNetworking_Pixits.PX_GN_UPPER_LAYER := e_btpB
LibItsDenm_Pics.PICS_IS_IUT_SECURED := true


[LOGGING]
[LOGGING]
# In this section you can specify the name of the log file and the classes of events
# In this section you can specify the name of the log file and the classes of events
@@ -87,19 +88,22 @@ LogEventTypes:= Yes
#     time_offset : Time offset, used to skip packets with time offset < time_offset
#     time_offset : Time offset, used to skip packets with time offset < time_offset
#     save_mode   : Set to 1 to save sent packet, 0 otherwise
#     save_mode   : Set to 1 to save sent packet, 0 otherwise


system.denmPort.params := "DENM(next_header=btpB,header_type=tsb)/BTP(dst_port=2002)/GN(ll_address=4C5E0C14D2EA,latitude=43551050,longitude=10298730,distanceA=1500,distanceB=1500,angle=0,device_mode=1)/ETH(mac_src=e2b7b30429eb)/PCAP(mac_src=e2b7b30429eb,nic=eth1,filter=and ether proto 0x8947)"
system.denmPort.params := "DENM(next_header=btpB,header_type=tsb)/BTP(dst_port=2002)/GN(ll_address=4C5E0C14D2EA,latitude=43551050,longitude=10298730,distanceA=1500,distanceB=1500,angle=0,device_mode=1,secured_mode=1,sec_db_path=/home/vagrant/tmp/asn1c_cert)/ETH(mac_src=e2b7b30429eb)/PCAP(mac_src=e2b7b30429eb,nic=wlan0,filter=and ether proto 0x8947)"


# DENM UpperTester port based on UDP (ETSI Wlan)
# DENM UpperTester port based on UDP
system.utPort.params := "UT_DENM/UDP(dst_ip=192.168.56.101)"
system.utPort.params := "UT_DENM/UDP(dst_ip=192.168.1.252,src_port=12345)"


[EXECUTE]
[EXECUTE]
ItsDenm_TestCases.TC_DEN_MSGF_BV_01
#ItsDenm_TestCases.TC_DEN_MSGF_BV_01
#ItsDenm_TestCases.TC_DEN_MSGF_BV_02
#ItsDenm_TestCases.TC_DEN_MSGF_BV_02
#ItsDenm_TestCases.TC_DEN_EVGN_BV_01
#ItsDenm_TestCases.TC_DEN_EVGN_BV_02
#ItsDenm_TestCases.TC_DEN_EVGN_BV_03
#ItsDenm_TestCases.TC_DEN_EVGN_BV_03
#ItsDenm_TestCases.TC_DEN_EVGN_BV_04
#ItsDenm_TestCases.TC_DEN_EVGN_BV_04
#ItsDenm_TestCases.TC_DEN_EVUP_BV_01
#ItsDenm_TestCases.TC_DEN_EVUP_BV_01
#ItsDenm_TestCases.TC_DEN_EVUP_BO_04
#ItsDenm_TestCases.TC_DEN_EVUP_BO_04
#ItsDenm_TestCases.TC_DEN_EVTR_BV_01
#ItsDenm_TestCases.TC_DEN_EVTR_BV_01
ItsDenm_TestCases.TC_DEN_MSRV_BV_01


[MAIN_CONTROLLER]
[MAIN_CONTROLLER]
# The options herein control the behavior of MC.
# The options herein control the behavior of MC.
+13 −8
Original line number Original line Diff line number Diff line
@@ -4,10 +4,10 @@


# The GeoNetworking address of the IUT.
# The GeoNetworking address of the IUT.
LibItsGeoNetworking_Pics.PICS_GN_LOCAL_GN_ADDR := {
LibItsGeoNetworking_Pics.PICS_GN_LOCAL_GN_ADDR := {
  typeOfAddress := e_initial, # e_manual(1)
  typeOfAddress := e_manual, # e_initial
  stationType := e_roadSideUnit,
  stationType := e_roadSideUnit,
  stationCountryCode := 0, #33,
  stationCountryCode := 33,
  mid := '080027583433'O
  mid := '001C6B0D0201'O
}
}
#LibItsGeoNetworking_Pics.PICS_GN_LOCAL_GN_ADDR := {
#LibItsGeoNetworking_Pics.PICS_GN_LOCAL_GN_ADDR := {
#  typeOfAddress := e_initial,
#  typeOfAddress := e_initial,
@@ -20,10 +20,13 @@ LibItsGeoNetworking_Pixits.PX_GN_UPPER_LAYER := e_btpB
LibItsBtp_Pixits.PX_DESTINATION_PORT := 2001
LibItsBtp_Pixits.PX_DESTINATION_PORT := 2001
LibItsBtp_Pixits.PX_DESTINATION_PORT_INFO := 2001
LibItsBtp_Pixits.PX_DESTINATION_PORT_INFO := 2001


# Use this certificate if the RSU simulator act as IUT
LibItsCommon_Pixits.PX_CERT_FOR_TS := "CERT_IUT_A_AT"

# Enable Security support
# Enable Security support
LibItsGeoNetworking_Pics.PICS_GN_SECURITY := true
LibItsGeoNetworking_Pics.PICS_GN_SECURITY := true
# Root path to access certificate stored in files, identified by certficate ID
# Root path to access certificate stored in files, identified by certficate ID
LibItsSecurity_Pixits.PX_CERTIFICATE_POOL_PATH := "/home/vagrant/tmp/test/certificates"
LibItsSecurity_Pixits.PX_CERTIFICATE_POOL_PATH := "/home/vagrant/tmp"
# Configuration sub-directory to access certificate stored in files
# Configuration sub-directory to access certificate stored in files
LibItsSecurity_Pixits.PX_IUT_SEC_CONFIG_NAME := "asn1c_cert"
LibItsSecurity_Pixits.PX_IUT_SEC_CONFIG_NAME := "asn1c_cert"


@@ -111,8 +114,10 @@ LogEventTypes:= Yes
# its_aid = 36 CAM
# its_aid = 36 CAM
# its_aid = 37 DENM
# its_aid = 37 DENM
# its_aid = 141 GeonNet mgnt
# its_aid = 141 GeonNet mgnt
system.geoNetworkingPort.params := "GN(ll_address=4C5E0C14D2EB,latitude=43551050,longitude=10298730,distanceA=1500,distanceB=1500,angle=0,device_mode=0,secured_mode=0,its_aid=36)/ETH(mac_src=e2b7b30429eb)/PCAP(mac_src=e2b7b30429eb,nic=eth1,filter=and ether proto 0x8947)"
system.geoNetworkingPort.params := "GN(ll_address=4C5E0C14D2EB,latitude=43551050,longitude=10298730,distanceA=1500,distanceB=1500,angle=0,device_mode=0,secured_mode=0,its_aid=36)/ETH(mac_src=e2b7b30429eb)/PCAP(mac_src=e2b7b30429eb,nic=wlan0,filter=and ether proto 0x8947)"
system.utPort.params := "UT_CAM/UDP(dst_ip=192.168.161.140)"

system.utPort.params := "UT_CAM/UDP(dst_ip=192.168.1.252,src_port=12345)"
system.camUtPort.params := "UT_CAM/UDP(dst_ip=192.168.1.252,src_port=12345)"


[EXECUTE]
[EXECUTE]


@@ -147,7 +152,7 @@ system.utPort.params := "UT_CAM/UDP(dst_ip=192.168.161.140)"


# Check that IUT sends the secured CAM containing the signing certificate when the timeout of one second 
# Check that IUT sends the secured CAM containing the signing certificate when the timeout of one second 
#     has been expired after the previous CAM containing the certificate.
#     has been expired after the previous CAM containing the certificate.
#ItsSecurity_TestCases.TC_SEC_ITSS_SND_CAM_07_BV
ItsSecurity_TestCases.TC_SEC_ITSS_SND_CAM_07_BV


# Check that IUT sends the secured CAM containing the signing certificate when the IUT received CAM from an unknown ITS-S.
# Check that IUT sends the secured CAM containing the signing certificate when the IUT received CAM from an unknown ITS-S.
#ItsSecurity_TestCases.TC_SEC_ITSS_SND_CAM_08_BV
#ItsSecurity_TestCases.TC_SEC_ITSS_SND_CAM_08_BV
@@ -244,7 +249,7 @@ system.utPort.params := "UT_CAM/UDP(dst_ip=192.168.161.140)"
#ItsSecurity_TestCases.TC_SEC_ITSS_SND_CAM_27_BV
#ItsSecurity_TestCases.TC_SEC_ITSS_SND_CAM_27_BV


#--------------------------------------- DENM ------------------------------------------            
#--------------------------------------- DENM ------------------------------------------            
ItsSecurity_TestCases.TC_SEC_ITSS_SND_DENM_01_BV
#ItsSecurity_TestCases.TC_SEC_ITSS_SND_DENM_01_BV
#ItsSecurity_TestCases.TC_SEC_ITSS_SND_DENM_02_BV
#ItsSecurity_TestCases.TC_SEC_ITSS_SND_DENM_02_BV
#ItsSecurity_TestCases.TC_SEC_ITSS_SND_DENM_03_BV
#ItsSecurity_TestCases.TC_SEC_ITSS_SND_DENM_03_BV
#ItsSecurity_TestCases.TC_SEC_ITSS_SND_DENM_04_BV
#ItsSecurity_TestCases.TC_SEC_ITSS_SND_DENM_04_BV
+4 −2
Original line number Original line Diff line number Diff line
@@ -29,8 +29,10 @@ module ItsSecurity_Pics {
    } // End of type certificates_foi
    } // End of type certificates_foi
    type record of certificates_foi certificates_fois;
    type record of certificates_foi certificates_fois;
    
    
    modulepar certificates_fois PICS_CERTFICATES_FOI := {
    modulepar certificates_fois PX_CERTFICATES_FOI := {
        { cc_iutCert_A, sha256, '39CF4DF85C18EBA5'O, 'EFEB473043DD2B88'O, omit }, // CERT_IUT_A_AT
        { cc_iutCert_A, sha256, '39CF4DF85C18EBA5'O, 'EFEB473043DD2B88'O, omit }, // CERT_IUT_A_AT
        { cc_iutCert_A_B, sha256, 'F437DE395A471B0A'O, 'FE18C80573BD41A5'O, omit }, // CERT_IUT_A_B_AT
        { cc_iutCert_A_B3, sha256, 'F437DE395A471B0A'O, '623F3CE451FA1A04'O, omit }, // CERT_IUT_A_B3_AT
        { cc_iutCert_B, sha256, '39CF4DF85C18EBA5'O, 'E9DAF8626F52D687'O, { circularRegion := { center := {436169490, 70533080}, radius := 5000 } } }, // CERT_IUT_B_AT
        { cc_iutCert_B, sha256, '39CF4DF85C18EBA5'O, 'E9DAF8626F52D687'O, { circularRegion := { center := {436169490, 70533080}, radius := 5000 } } }, // CERT_IUT_B_AT
        { cc_iutCert_C, sha256, '39CF4DF85C18EBA5'O, '46C778C826B25328'O, { rectangularRegion := { { northWest := { latitude := 436618657, longitude := 70083912 }, southEast := { latitude := 435720322, longitude := 70982247 } } } } }, // CERT_IUT_C_AT
        { cc_iutCert_C, sha256, '39CF4DF85C18EBA5'O, '46C778C826B25328'O, { rectangularRegion := { { northWest := { latitude := 436618657, longitude := 70083912 }, southEast := { latitude := 435720322, longitude := 70982247 } } } } }, // CERT_IUT_C_AT


@@ -48,6 +50,6 @@ module ItsSecurity_Pics {
    /**
    /**
     * @desc Certificate identifier to be used for X_CERTFICATE variant
     * @desc Certificate identifier to be used for X_CERTFICATE variant
     */
     */
    modulepar integer PICS_CERTFICATES_VAR := 0;
    modulepar integer PX_CERTFICATES_VAR := 0;
    
    
} // End of module ItsSecurity_Pics 
} // End of module ItsSecurity_Pics 
+31 −31
Original line number Original line Diff line number Diff line
@@ -536,7 +536,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
            vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
            vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up();
                f_cf01Up();
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -3181,7 +3181,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up();
                f_cf01Up();
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -3199,13 +3199,13 @@ module ItsSecurity_TestCases {
                            mw_geoNwSecPdu(
                            mw_geoNwSecPdu(
                                mw_etsiTs103097Data_signed(
                                mw_etsiTs103097Data_signed(
                                    mw_signedData(
                                    mw_signedData(
                                        PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].hashAlgorithm, 
                                        PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].hashAlgorithm, 
                                        mw_toBeSignedData(
                                        mw_toBeSignedData(
                                            mw_signedDataPayload,
                                            mw_signedDataPayload,
                                            mw_headerInfo_cam
                                            mw_headerInfo_cam
                                        ),
                                        ),
                                        mw_signerIdentifier_digest( // containing digest referencing the certificate X_CERTIFICATE
                                        mw_signerIdentifier_digest( // containing digest referencing the certificate X_CERTIFICATE
                                            PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].issuer
                                            PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].issuer
                                        )
                                        )
                                    )
                                    )
                                ), 
                                ), 
@@ -3219,7 +3219,7 @@ module ItsSecurity_TestCases {
                            mw_geoNwSecPdu(
                            mw_geoNwSecPdu(
                                mw_etsiTs103097Data_signed(
                                mw_etsiTs103097Data_signed(
                                    mw_signedData(
                                    mw_signedData(
                                        PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].hashAlgorithm, 
                                        PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].hashAlgorithm, 
                                        mw_toBeSignedData(
                                        mw_toBeSignedData(
                                            mw_signedDataPayload,
                                            mw_signedDataPayload,
                                            mw_headerInfo_cam
                                            mw_headerInfo_cam
@@ -3589,7 +3589,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up(); // Initialise IUT with CERT_IUT_C1_AT
                f_cf01Up(); // Initialise IUT with CERT_IUT_C1_AT
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -3668,7 +3668,7 @@ module ItsSecurity_TestCases {
                
                
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up();
                f_cf01Up();
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -3744,7 +3744,7 @@ module ItsSecurity_TestCases {
                
                
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up();
                f_cf01Up();
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -3820,7 +3820,7 @@ module ItsSecurity_TestCases {
                
                
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up();
                f_cf01Up();
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -3899,7 +3899,7 @@ module ItsSecurity_TestCases {
                
                
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up();
                f_cf01Up();
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -4638,7 +4638,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up();
                f_cf01Up();
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -4770,7 +4770,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up();
                f_cf01Up();
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -4909,7 +4909,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up();
                f_cf01Up();
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -5049,7 +5049,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up();
                f_cf01Up();
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -5402,7 +5402,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up();
                f_cf01Up();
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -5421,7 +5421,7 @@ module ItsSecurity_TestCases {
                            mw_geoNwSecPdu(
                            mw_geoNwSecPdu(
                                mw_etsiTs103097Data_signed(
                                mw_etsiTs103097Data_signed(
                                    mw_signedData(
                                    mw_signedData(
                                        PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].hashAlgorithm, 
                                        PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].hashAlgorithm, 
                                        mw_toBeSignedData(
                                        mw_toBeSignedData(
                                            mw_signedDataPayload,
                                            mw_signedDataPayload,
                                            mw_headerInfo_denm
                                            mw_headerInfo_denm
@@ -5513,7 +5513,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up(); // Initialise IUT with CERT_IUT_C1_AT
                f_cf01Up(); // Initialise IUT with CERT_IUT_C1_AT
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -5594,7 +5594,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up(); // Initialise IUT with CERT_IUT_C3_AT
                f_cf01Up(); // Initialise IUT with CERT_IUT_C3_AT
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -5671,7 +5671,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up(); // Initialise IUT with CERT_IUT_A1_AT
                f_cf01Up(); // Initialise IUT with CERT_IUT_A1_AT
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -5748,7 +5748,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up(); // Initialise IUT with CERT_IUT_A2_AT
                f_cf01Up(); // Initialise IUT with CERT_IUT_A2_AT
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -5827,7 +5827,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up(); // Initialise IUT with CERT_IUT_A4_AT
                f_cf01Up(); // Initialise IUT with CERT_IUT_A4_AT
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -6644,7 +6644,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up();
                f_cf01Up();
                v_longPosVectorIut := f_getPosition(c_compIut);
                v_longPosVectorIut := f_getPosition(c_compIut);
                    
                    
@@ -6664,13 +6664,13 @@ module ItsSecurity_TestCases {
                            mw_geoNwSecPdu(
                            mw_geoNwSecPdu(
                                mw_etsiTs103097Data_signed(
                                mw_etsiTs103097Data_signed(
                                    mw_signedData(
                                    mw_signedData(
                                        PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].hashAlgorithm, 
                                        PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].hashAlgorithm, 
                                        mw_toBeSignedData(
                                        mw_toBeSignedData(
                                            mw_signedDataPayload,
                                            mw_signedDataPayload,
                                            mw_headerInfo_gn
                                            mw_headerInfo_gn
                                        ),
                                        ),
                                        mw_signerIdentifier_digest( // containing digest referencing the certificate X_CERTIFICATE
                                        mw_signerIdentifier_digest( // containing digest referencing the certificate X_CERTIFICATE
                                            PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].issuer
                                            PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].issuer
                                        )
                                        )
                                    )
                                    )
                                )
                                )
@@ -6683,7 +6683,7 @@ module ItsSecurity_TestCases {
                            mw_geoNwSecPdu(
                            mw_geoNwSecPdu(
                                mw_etsiTs103097Data_signed(
                                mw_etsiTs103097Data_signed(
                                    mw_signedData(
                                    mw_signedData(
                                        PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].hashAlgorithm, 
                                        PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].hashAlgorithm, 
                                        mw_toBeSignedData(
                                        mw_toBeSignedData(
                                            mw_signedDataPayload,
                                            mw_signedDataPayload,
                                            mw_headerInfo_gn
                                            mw_headerInfo_gn
@@ -8373,7 +8373,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up();
                f_cf01Up();
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -8669,7 +8669,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up();
                f_cf01Up();
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -9048,7 +9048,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up();
                f_cf01Up();
                
                
                // Test adapter configuration
                // Test adapter configuration
@@ -9354,7 +9354,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id;
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id;
                f_cf01Up();
                f_cf01Up();
                    
                    
                // Test adapter configuration
                // Test adapter configuration
@@ -9627,7 +9627,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id; // FIXME
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id; // FIXME
                f_cf01Up();
                f_cf01Up();
                    
                    
                // Test adapter configuration
                // Test adapter configuration
@@ -9810,7 +9810,7 @@ module ItsSecurity_TestCases {
                }
                }
                
                
                // Test component configuration
                // Test component configuration
                vc_hashedId8ToBeUsed := PICS_CERTFICATES_FOI[PICS_CERTFICATES_VAR].certificate_id; // FIXME
                vc_hashedId8ToBeUsed := PX_CERTFICATES_FOI[PX_CERTFICATES_VAR].certificate_id; // FIXME
                f_cf01Up();
                f_cf01Up();
                    
                    
                // Test adapter configuration
                // Test adapter configuration