[MODULE_PARAMETERS] # This section shall contain the values of all parameters that are defined in your TTCN-3 modules. # IUT Station ID LibItsCommon_Pixits.PX_IUT_STATION_ID := 2533729309 LibItsGeoNetworking_Pixits.PX_GN_UPPER_LAYER := e_btpB LibItsMapemSpatem_Pics.PICS_IS_IUT_SECURED := false [LOGGING] # In this section you can specify the name of the log file and the classes of events # you want to log into the file or display on console (standard error). LogFile := "../logs/AtsMapemSpatem/%e.%h-%r.%s" FileMask := LOG_ALL | USER | DEBUG | MATCHING ConsoleMask := LOG_ALL | USER | DEBUG | MATCHING #FileMask := ERROR | USER | MATCHING | EXECUTOR_RUNTIME | VERDICTOP #ConsoleMask := ERROR | USER | MATCHING | EXECUTOR_RUNTIME | VERDICTOP LogSourceInfo := Stack LogEntityName:= Yes LogEventTypes:= Yes #TimeStampFormat := DateTime [TESTPORT_PARAMETERS] # In this section you can specify parameters that are passed to Test Ports. # CAM Layer # next_header : btpA|btpB (overwrite BTP.type) # header_type : tsb|gbc # header_sub_type : sh (single hop) # MAPEM/SPATEM Layer # next_header : btpA|btpB (overwrite BTP.type) # next_header : btpA|btpB (overwrite BTP.type) # BTP Layer # type : btpA|btpB # destination port: dst_port # source port : src_port # device_mode : Set to 1 if the layer shall encapsulate upper layer PDU # device_mode : Set to 1 if the layer shall encapsulate upper layer PDU # GN Layer # ll_address : GeoNetworking address of the Test System # latitude : latitude of the Test System # longitude : longitude of the Test System # beaconing : Set to 1 if GnLayer shall start beaconing # Beaconning timer expiry: expiry (ms) # device_mode : Set to 1 if the layer shall encapsulate upper layer PDU # secured_mode : Set to 1 if message exchanges shall be signed # encrypted_mode : Set to 1 if message exchanges shall be encrypted # NOTE: For signed & encrypted message exchanges, both secured_mode and encrypted_mode shall be set to 1 # secure_db_path : Path to the certificates and keys storage location # hash : Hash algorithm to be used when secured mode is set # Authorized values are SHA-256 or SHA-384 # Default: SHA-256 # signature : Signature algorithm to be used when secured mode is set # Authorized values are NISTP-256, NISTP-384, BP-256 and BP-384 # Default: NISTP-256 # cypher : Cyphering algorithm to be used when secured mode is set # Authorized values are NISTP-256, BP-256 and BP-384 # Default: NISTP-256 # Ethernet layer # mac_src :Source MAC address # mac_bc :Broadcast address # eth_type : Ethernet type # Commsignia layer # mac_src : Device MAC address, used to discard packets # To indicate no filering, use the value 000000000000 # mac_bc : Broadcast address # eth_type : Ethernet type, used to discard packets # target_host : Device address # target_port : Device port # source_port : Test System port # interface_id: Interface id, used to discard packets # tx_power : TX power (dB) # UDP layer (IP/UDP based on Pcap) # dst_ip : destination IPv4 address (aa.bb.cc.dd) # dst_port: destination port # src_ip : source IPv4 address (aa.bb.cc.dd) # src_port: source port # Pcap layer # mac_src : Source MAC address, used to exclude from capture the acket sent by the Test System # filter : Pcap filter (compliant with tcpdump syntax) # Online mode: # nic: Local NIC # If set, online mode is used # Offline mode (nic is present but not set): # file : File to read # frame_offset: Frame offset, used to skip packets with frame number < frame_offset # time_offset : Time offset, used to skip packets with time offset < time_offset # save_mode : 1 to save sent packet, 0 otherwise #Cygwin #system.mapemSpatemPort.params := "MapemSpatem(next_header=btpB,header_type=gbc)/BTP(dst_port=2003)/GN(ll_address=4C5E0C14D2EA,latitude=43551050,longitude=10298730,distanceA=1500,distanceB=1500,angle=0,device_mode=1,secured_mode=0,sec_db_path=/home/yanng/tmp/asn1c_cert)/ETH(mac_src=e2b7b30429eb)/PCAP(mac_src=e2b7b30429eb,nic=CEBB111F-D749-4B40-8B4D-DBB060E90987,filter=and ether proto 0x8947)" # Linux system.mapemSpatemPort.params := "MapemSpatem(next_header=btpB,header_type=gbc)/BTP(dst_port=2003)/GN(ll_address=4C5E0C14D2EA,latitude=43551050,longitude=10298730,distanceA=1500,distanceB=1500,angle=0,device_mode=1,secured_mode=0,sec_db_path=/home/yann/tmp/asn1c_cert)/ETH(mac_src=dc536045af7f)/PCAP(mac_src=dc536045af7f,nic=wlp2s0,filter=and ether proto 0x8947)" # MapemSpatem UpperTester port based on UDP (ETSI Wlan) system.utPort.params := "UT_MAPEMSPATEM/UDP(dst_ip=127.0.0.1,dst_port=12345,src_port=12346)" [EXECUTE] # Check that protocolVersion is set to 1 and messageID is set to 4 #ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_01 # Check that the intersection information revision number is changed when the intersection configuration is changed #ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_02 # Check that the intersection information revision number is not changed when the intersection configuration is still the same. #ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_03 # Check that RLT Service transmits MAPEM with the valid connection trajectories. #ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_04 # Check that reference point altitude is encoded using regional extension. #ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_05 # Check that each lane of the intersection contains a unique number. #ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_06 # Check that the number of nodes needed to represent the path of a lane is selected such that the perpendicular distance between the lane centre line and the straight line connecting the two consecutive nodes is less than 1 m. #ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_07 # Check that each vehicular lane of the intersection includes only allowed manoeuvres and vehicle types. #ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_08 # Check that each pedestrian lane of the intersection includes only allowed manoeuvres and user types. #ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_09 # Check that each special lane of the intersection includes only allowed manoeuvres and user types. #ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_10 # Check that each crosswalk lane of the intersection does not have ingress or egress approaches and includes only valid user types. #ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_11 # Check that each lane information contain lane width or default lane width is provided. #ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_12 # Check that default lane width is not included in the RTL message if each lane information contains lane width #ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_13 # Check that possible manoevers are encoded in connectsTo data element. #ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_14 #An IUT shall broadcast the signal group identifier, the lanes/approaches associated with the signal group, and the lanes/approaches’ allowable manoeuvres#ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_15 # Check that lanes which are crossed by a crosswalk shall use the same ingressApproach / egressApproach identifier. #ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_16 # Check that RLT Service transmits MAPEM without data elements not used in ETSI architecture: #ItsMapem_TestCases.TC_IS_RLT_GEN_MSGF_BV_17 # Check that IVI Service generates a new MAPEM on reception of a valid AppMAPEM_Trigger request #ItsMapem_TestCases.TC_IS_RLT_EVGN_BV_01 # Check that RLT Service transmits new content #ItsMapem_TestCases.TC_IS_RLT_EVGN_BV_02 # Check that RLT Service transmits non-fragmented MAPEM without the Layer ID. #ItsMapem_TestCases.TC_IS_RLT_GEN_FRAG_BV_01 # Check that RLT Service transmits fragmented MAPEM when the message size exceeds the allowed message length #ItsMapem_TestCases.TC_IS_RLT_GEN_FRAG_BV_02 # Check that the RLT Service transmits continuously both MAPEM and SPATEM. #ItsMapem_TestCases.TC_IS_RLT_GEN_COM_BV_01 # Check that RLT service generates a MAP message with the revision data element synchronized with the revision data element of correspondent SPATEM message #ItsMapem_TestCases.TC_IS_RLT_GEN_COM_BV_03 # Check that MAPEM uses BTP_B packet - Check that the destination port for MAPEM is set to 2003 #ItsMapem_TestCases.TC_IS_RLT_GEN_COM_BV_04 # Check that TLM service encapsulates MAPEM in a GBC with the HeaderType field set to the value of 4 #ItsMapem_TestCases.TC_IS_RLT_GEN_COM_BV_05 # Check that RLT service uses certificate containing valid ITS AID to sign MAPEM messages. #ItsMapem_TestCases.TC_IS_RLT_GEN_SEC_BV_01 # Check that TLM service uses generic security profile to sign MAPEM message and does not include additional security header elements. #ItsMapem_TestCases.TC_IS_RLT_GEN_SEC_BV_02 # Check that RLT service uses certificate containing valid Service Specific Permissions of type BitmapSsp to sign MAPEM messages and the SSP version is set to 1. #ItsMapem_TestCases.TC_IS_RLT_GEN_SSP_BV_01 # Check that RLT service sends a MAPEM message containing intersections when it is permitted by the signing certificate. #ItsMapem_TestCases.TC_IS_RLT_GEN_SSP_BV_02 # Check that RLT service does not send a MAPEM message containing intersections if it is not permitted by the certificate. #ItsMapem_TestCases.TC_IS_RLT_GEN_SSP_BO_03 # Check that RLT service sends a MAPEM message containing roadSegments when it is permitted by the signing certificate. #ItsMapem_TestCases.TC_IS_RLT_GEN_SSP_BV_04 # Check that RLT service does not send a MAPEM message containing roadSegments if it is not permitted by the certificate. #ItsMapem_TestCases.TC_IS_RLT_GEN_SSP_BO_05 # Check that RLT service sends a MAPEM message containing roadSegments when it is permitted by the signing certificate. #ItsMapem_TestCases.TC_IS_RLT_GEN_RATE_BV_01 # Check that the IUT can successfully process all mandatory fields of MAPEM received #ItsMapem_TestCases.TC_IS_RLT_GEN_RCV_BV_03 # Check that the IUT accepts the MAPEM signed with valid certificate. #ItsMapem_TestCases.TC_IS_RLT_RCV_SEC_BV_01 # Check that the IUT skips the MAPEM signed with certificate without permissions to sign MAPEM. #ItsMapem_TestCases.TC_IS_RLT_RCV_SEC_BO_02 # Check that the IUT skips the MAPEM containing intersections signed with certificate without service specific permissions (SSP) to sign such a MAPEM. #ItsMapem_TestCases.TC_IS_RLT_RCV_SEC_BO_03 # Check that the IUT skips the MAPEM containing roadSegments signed with certificate without service specific permissions (SSP) to sign such a MAPEM #ItsMapem_TestCases.TC_IS_RLT_RCV_SEC_BO_04 # Check that protocolVersion is set to 1 and messageID is set to 4 #ItsSpatem_TestCases.TC_IS_TLM_GEN_MSGF_BV_01 # An IUT shall include the unique identifier for the intersection as part of the signal phase and timing message broadcast #ItsSpatem_TestCases.TC_IS_TLM_GEN_MSGF_BV_02 # Check that TLM service generates a SPAT message with the revision data element synchronized with the revision data element in the intersection configuration of the roadway geometric information (MAP) #ItsSpatem_TestCases.TC_IS_TLM_GEN_MSGF_BV_03 # An IUT shall include a timestamp as part of the signal phase and timing message broadcast #ItsSpatem_TestCases.TC_IS_TLM_GEN_MSGF_BV_04 # An IUT shall include signalGroupe for each intersection if this signalGroup is defined in the intersection configuration of the roadway geometric information (MAP) #ItsSpatem_TestCases.TC_IS_TLM_GEN_MSGF_BV_05 # For each vehicular manoeuvre at a signalized intersection, an IUT shall include the current movement state #ItsSpatem_TestCases.TC_IS_TLM_GEN_MSGF_BV_06 # For each pedestrian manoeuvre at a signalized intersection, an IUT shall include the current movement state #ItsSpatem_TestCases.TC_IS_TLM_GEN_MSGF_BV_07 # For each active manoeuvre an IUT shall include the earliest time point when the manoeuvre state is predicted to change #ItsSpatem_TestCases.TC_IS_TLM_GEN_MSGF_BV_08 # For each manoeuvre at a signalized intersection, an IUT shall include: # - the next expected movement states pertaining to that manoeuvre # - the time point for when the succeeding manoeuvre state is predicted to change # - the start time for each pending manoeuvre #ItsSpatem_TestCases.TC_IS_TLM_GEN_MSGF_BV_09 # Check that SPAT message prioritization is encoded using regional extension #Not Supported yet ItsSpatem_TestCases.TC_IS_TLM_GEN_MSGF_BV_10 # For each manoeuvre at a signalized intersection, an IUT shall indicate if one or more pedestrians have been detected in the pedestrian crossing #ItsSpatem_TestCases.TC_IS_TLM_GEN_MSGF_BV_11 # An IUT shall transmit information about the optimal speed for vehicles on each lane #ItsSpatem_TestCases.TC_IS_TLM_GEN_MSGF_BV_12 # An IUT shall transmit information about the signal timing progression speed along the roadway #ItsSpatem_TestCases.TC_IS_TLM_GEN_MSGF_BV_13 # An IUT shall transmit the length of the queue and the length of available vehicular storage on each egress lane #ItsSpatem_TestCases.TC_IS_TLM_GEN_MSGF_BV_14 # Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM _Start request #ItsSpatem_TestCases.TC_IS_TLM_GEN_EVGN_BV_01 # Check that TLM Service generates SPATEM are time ordered #ItsSpatem_TestCases.TC_IS_TLM_GEN_EVGN_BV_02 # Check that TLM Service terminates on reception of a valid AppSPATEM _Stop request #ItsSpatem_TestCases.TC_IS_TLM_GEN_EVGN_BV_03 # Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM_Trigger request #ItsSpatem_TestCases.TC_IS_TLM_GEN_EVGN_BV_04 # Check that TLM Service provides the destination area in SPATEM #ItsSpatem_TestCases.TC_IS_TLM_GEN_COM_BV_01 # Check that SPATEM uses BTP_B packet. Check that the destination port for SPATEM is set to 2004 #ItsSpatem_TestCases.TC_IS_TLM_GEN_COM_BV_02 # Check that TLM service encapsulates SPATEM in a GBC with the HeaderType field set to the value of 4 ItsSpatem_TestCases.TC_IS_TLM_GEN_COM_BV_03 [MAIN_CONTROLLER] # The options herein control the behavior of MC. KillTimer := 10.0 TCPPort := 0 LocalAddress := 127.0.0.1 TCPPort := 12000 NumHCs := 1