AtsMapemSpatem.cfg 14.1 KB
Newer Older

[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
Yann Garcia's avatar
Yann Garcia committed
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).

Yann Garcia's avatar
Yann Garcia committed
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
Yann Garcia's avatar
Yann Garcia committed
#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
Yann Garcia's avatar
Yann Garcia committed
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)"
# 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
Yann Garcia's avatar
Yann Garcia committed
#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
Yann Garcia's avatar
Yann Garcia committed
# 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
Yann Garcia's avatar
Yann Garcia committed


# 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
Yann Garcia's avatar
Yann Garcia committed
#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
Yann Garcia's avatar
Yann Garcia committed
#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