Suite Name | EN15876_AP_OBU |
---|---|
Standards Ref | EN 12834, DSRC application layer; EN 13372, Profiles for RTTT applications |
PICS Ref | ETSI TS 102 486-2-1 Annex A, C, E |
PIXIT Ref | ETSI TS 102 486-2-3 Annex C |
Test Method(s) | |
Comments | 24 June 2008 v19 |
Test Group Reference | Selection Ref | Test Group Objective | Page Nr |
---|---|---|---|
AP_0BAS/ |
SEL_MANDATORY |
Testing of the application I-kernel, security level 0 |
|
AP_0BAS/OBU/ |
SEL_MANDATORY |
Testing of the application I-kernel, security level 0, implemented in an On-Board Unit |
|
AP_0BAS/OBU/BV/ |
SEL_MANDATORY |
Testing of the valid behaviour of the application I-kernel, security level 0, implemented in an On-Board Unit |
|
AP_0FUN/ |
SEL_MANDATORY |
Testing of the application T-kernel, security level 0 |
|
AP_0FUN/OBU/ |
SEL_MANDATORY |
Testing of the application T-kernel, security level 0, implemented in an On-Board Unit |
|
AP_0FUN/OBU/BV/ |
SEL_MANDATORY |
Testing of the valid behaviour of the application T-kernel, security level 0, implemented in an On-Board Unit |
|
AP_0DAT/ |
SEL_MANDATORY |
Testing of the application data attributes, security level 0 |
|
AP_0DAT/OBU/ |
SEL_MANDATORY |
Testing of the application data attributes, security level 0, implemented in an On-Board Unit |
|
AP_0DAT/OBU/BV/ |
SEL_MANDATORY |
Testing of the valid behaviour of the application data attributes, security level 0, implemented in an On-Board Unit |
|
AP_0DAT/OBU/BI/ |
SEL_MANDATORY |
Testing of the invalid behaviour of the application data attributes, security level 0, implemented in an On-Board Unit |
|
AP_0SEC/ |
SEL_MANDATORY |
Testing of the application security, security level 0 |
|
AP_0SEC/OBU/ |
SEL_MANDATORY |
Testing of the application security, security level 0, implemented in an On-Board Unit |
|
AP_0SEC/OBU/BV/ |
SEL_MANDATORY |
Testing of the valid behaviour of the application security, security level 0, implemented in an On-Board Unit |
|
AP_0TRA/ |
SEL_MANDATORY |
Testing of the application transaction, security level 0 |
|
AP_0TRA/OBU/ |
SEL_MANDATORY |
Testing of the application transaction, security level 0, implemented in an On-Board Unit |
|
AP_0TRA/OBU/BV/ |
SEL_MANDATORY |
Testing of the valid behaviour of the application transaction, security level 0, implemented in an On-Board Unit |
|
AP_1BAS/ |
SEL_SEC1 |
Testing of the application I-kernel, security level 1 |
|
AP_1BAS/OBU/ |
SEL_SEC1 |
Testing of the application I-kernel, security level 1, implemented in an On-Board Unit |
|
AP_1BAS/OBU/BV/ |
SEL_SEC1 |
Testing of the valid behaviour of the application I-kernel, security level 1, implemented in an On-Board Unit |
|
AP_1BAS/OBU/BI/ |
SEL_SEC1 |
Testing of the invalid behaviour of the application I-kernel, security level 1, implemented in an On-Board Unit |
|
AP_1FUN/ |
SEL_SEC1 |
Testing of the application T-kernel, security level 1 |
|
AP_1FUN/OBU/ |
SEL_SEC1 |
Testing of the application T-kernel, security level 1, implemented in an On-Board Unit |
|
AP_1FUN/OBU/BV/ |
SEL_SEC1 |
Testing of the valid behaviour of the application T-kernel, security level 1, implemented in an On-Board Unit |
|
AP_1FUN/OBU/BI/ |
SEL_SEC1 |
Testing of the invalid behaviour of the application T-kernel, security level 1, implemented in an On-Board Unit |
|
AP_1DAT/ |
SEL_SEC1 |
Testing of the application data attributes, security level 1 |
|
AP_1DAT/OBU/ |
SEL_SEC1 |
Testing of the application data attributes, security level 1, implemented in an On-Board Unit |
|
AP_1DAT/OBU/BV/ |
SEL_SEC1 |
Testing of the valid behaviour of the application data attributes, security level 1, implemented in an On-Board Unit |
|
AP_1DAT/OBU/BI/ |
SEL_SEC1 |
Testing of the invalid behaviour of the application data attributes, security level 1, implemented in an On-Board Unit |
|
AP_1SEC/ |
SEL_MANDATORY |
Testing of the application security, security level 0 |
|
AP_1SEC/OBU/ |
SEL_MANDATORY |
Testing of the application security, security level 0, implemented in an On-Board Unit |
|
AP_1SEC/OBU/BV/ |
SEL_MANDATORY |
Testing of the valid behaviour of the application security, security level 0, implemented in an On-Board Unit |
|
AP_1TRA/ |
SEL_MANDATORY |
Testing of the application transaction, security level 0 |
|
AP_1TRA/OBU/ |
SEL_MANDATORY |
Testing of the application transaction, security level 0, implemented in an On-Board Unit |
|
AP_1TRA/OBU/BV/ |
SEL_MANDATORY |
Testing of the valid behaviour of the application transaction, security level 0, implemented in an On-Board Unit |
Detailed Comments |
---|
Test Group Reference | Test Case Id | Selection Ref | Description | Page Nr |
---|---|---|---|---|
AP_0BAS/OBU/BV/ |
TC_AP_0BAS_OBU_BV_10 |
SEL_MANDATORY |
Verify that the DUT replies to a BST with a VST |
|
AP_0FUN/OBU/BV/ |
TC_AP_0FUN_OBU_BV_17 |
SEL_MANDATORY |
Support of DSRC L7 GET |
|
AP_0FUN/OBU/BV/ |
TC_AP_0FUN_OBU_BV_18 |
SEL_MANDATORY |
Support of DSRC L7 SET |
|
AP_0FUN/OBU/BV/ |
TC_AP_0FUN_OBU_BV_19 |
SEL_MANDATORY |
Support of DSRC EFC GET STAMPED |
|
AP_0FUN/OBU/BV/ |
TC_AP_0FUN_OBU_BV_20 |
SEL_MANDATORY |
Support of DSRC EFC SET MMI |
|
AP_0FUN/OBU/BV/ |
TC_AP_0FUN_OBU_BV_21 |
SEL_MANDATORY |
Support of DSRC EFC ECHO |
|
AP_0DAT/OBU/BV/ |
TC_AP_0DAT_OBU_BV_01 |
SEL_MANDATORY |
Support of DSRC L7 GET |
|
AP_0DAT/OBU/BV/ |
TC_AP_0DAT_OBU_BV_02 |
SEL_MANDATORY |
Support of DSRC L7 SET |
|
AP_0DAT/OBU/BV/ |
TC_AP_0DAT_OBU_BV_03 |
SEL_MANDATORY |
Verify that the OBU supports the read (by means of GET.rq) of the Vehicle data group attributes, i. e.: - VehicleLicencePlateNumber, - VehicleClass, - VehicleDimensions, - VehicleAxles, - VehicleWeigthLimits, - VehicleSpecificCharacteristics |
|
AP_0DAT/OBU/BV/ |
TC_AP_0DAT_OBU_BV_04 |
SEL_MANDATORY |
Verify that the OBU supports the read (by means of GET) of the Vehicle attributes, one at the time |
|
AP_0DAT/OBU/BV/ |
TC_AP_0DAT_OBU_BV_05 |
SEL_MANDATORY |
Verify that the OBU supports the read (by means of GET.rq) of the Equipment data group attributes, i. e.: - EquipmentOBUId, - EquipmentStatus |
|
AP_0DAT/OBU/BV/ |
TC_AP_0DAT_OBU_BV_06 |
SEL_MANDATORY |
Verify that the OBU supports the read (by means of GET) of the Equipment attributes, one at the time |
|
AP_0DAT/OBU/BV/ |
TC_AP_0DAT_OBU_BV_07 |
SEL_MANDATORY |
Verify that the OBU supports the read (by means of GET.rq) of the Receipt data group attributes, i. e.: - ReceiptData1, - ReceiptData2 |
|
AP_0DAT/OBU/BV/ |
TC_AP_0DAT_OBU_BV_08 |
SEL_MANDATORY |
Verify that the OBU supports the read (by means of GET) of the Receipt attributes, one at the time |
|
AP_0DAT/OBU/BV/ |
TC_AP_0DAT_OBU_BV_09 |
SEL_MANDATORY |
Verify that the OBU supports the read (by means of GET.rq) of the PaymentMeans attribute |
|
AP_0DAT/OBU/BV/ |
TC_AP_0DAT_OBU_BV_10 |
SEL_MANDATORY |
Verify that the OBU supports the read (by means of GET-STAMPED.rq) of the Vehicle data group attributes, i. e.: - VehicleLicencePlateNumber, - VehicleClass, - VehicleDimensions, - VehicleAxles, - VehicleWeigthLimits, - VehicleSpecificCharacteristics |
|
AP_0DAT/OBU/BV/ |
TC_AP_0DAT_OBU_BV_11 |
SEL_MANDATORY |
Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the Equipment data group attributes, i. e.: - EquipmentOBUId, - EquipmentStatus |
|
AP_0DAT/OBU/BV/ |
TC_AP_0DAT_OBU_BV_12 |
SEL_MANDATORY |
Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the Receipt data group attributes, i. e.: - ReceiptData1, - ReceiptData2 |
|
AP_0DAT/OBU/BV/ |
TC_AP_0DAT_OBU_BV_13 |
SEL_MANDATORY |
Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the PaymentMeans attribute |
|
AP_0DAT/OBU/BV/ |
TC_AP_0DAT_OBU_BV_14 |
SEL_MANDATORY |
Verify that the OBU supports the update of the EquipmentStatus attribute |
|
AP_0DAT/OBU/BV/ |
TC_AP_0DAT_OBU_BV_15 |
SEL_MANDATORY |
Verify that the OBU supports the update of the Receipt attributes |
|
AP_0DAT/OBU/BI/ |
TC_AP_0DAT_OBU_BI_01 |
SEL_MANDATORY |
Verify that the OBU prevents the update of the read-only Vehicle attributes, one at the time |
|
AP_0DAT/OBU/BI/ |
TC_AP_0DAT_OBU_BI_02 |
SEL_MANDATORY |
Verify that the OBU prevents the update of the read-only Vehicle attributes list |
|
AP_0DAT/OBU/BI/ |
TC_AP_0DAT_OBU_BI_03 |
SEL_MANDATORY |
Verify that the OBU prevents the update of the read-only PaymentMeans attribute |
|
AP_0DAT/OBU/BI/ |
TC_AP_0DAT_OBU_BI_04 |
SEL_MANDATORY |
Verify that the OBU prevents the update of the read-only EquipmentOBUId attribute |
|
AP_0DAT/OBU/BI/ |
TC_AP_0DAT_OBU_BI_05 |
SEL_MANDATORY |
Verify that the OBU prevents the update of the Equipment attributes list |
|
AP_0SEC/OBU/BV/ |
TC_AP_0SEC_OBU_BV_01 |
SEL_MANDATORY |
Authentication keys 1÷ 8 and Authenticator (RndRSE value = r1, KeyRef value = k1) |
|
AP_0SEC/OBU/BV/ |
TC_AP_0SEC_OBU_BV_02 |
SEL_MANDATORY |
Authentication keys 1÷ 8 and Authenticator (RndRSE value = r2, KeyRef value = k2) |
|
AP_0SEC/OBU/BV/ |
TC_AP_0SEC_OBU_BV_03 |
SEL_MANDATORY |
Authentication keys 1÷ 8 and Authenticator (RndRSE value = r3, KeyRef value = k3) |
|
AP_0SEC/OBU/BV/ |
TC_AP_0SEC_OBU_BV_04 |
SEL_MANDATORY |
Authentication keys 1÷ 8 and Authenticator (RndRSE value = r4, KeyRef value = k4) |
|
AP_0SEC/OBU/BV/ |
TC_AP_0SEC_OBU_BV_05 |
SEL_MANDATORY |
Authentication keys 1÷ 8 and Authenticator (RndRSE value = r5, KeyRef value = k5) |
|
AP_0SEC/OBU/BV/ |
TC_AP_0SEC_OBU_BV_06 |
SEL_MANDATORY |
Authentication keys 1÷ 8 and Authenticator (RndRSE value = r6, KeyRef value = k6) |
|
AP_0SEC/OBU/BV/ |
TC_AP_0SEC_OBU_BV_07 |
SEL_MANDATORY |
Authentication keys 1÷ 8 and Authenticator (RndRSE value = r7, KeyRef value = k7) |
|
AP_0SEC/OBU/BV/ |
TC_AP_0SEC_OBU_BV_08 |
SEL_MANDATORY |
Authentication keys 1÷ 8 and Authenticator (RndRSE value = r8, KeyRef value = k8) |
|
AP_0TRA/OBU/BV/ |
TC_AP_0TRA_OBU_BV_01 |
SEL_MANDATORY |
Support of CARDME transaction |
|
AP_1BAS/OBU/BV/ |
TC_AP_1BAS_OBU_BV_01 |
SEL_I_KERNEL |
Verify that the OBU can receive and manage INITIALISATION.request (BST) with FlowControl=2 |
|
AP_1BAS/OBU/BV/ |
TC_AP_1BAS_OBU_BV_02 |
SEL_I_KERNEL |
Verify that the OBU can receive and manage EVENT-REPORT.request (RELEASE) with mode=0 and FlowControl=1 |
|
AP_1BAS/OBU/BV/ |
TC_AP_1BAS_OBU_BV_03 |
SEL_I_KERNEL |
Verify that the OBU can read and manage the BeaconID contained in the BST |
|
AP_1BAS/OBU/BV/ |
TC_AP_1BAS_OBU_BV_04 |
SEL_I_KERNEL |
Verify that the OBU can read and manage time of reception of BST contained in the parameter Time of the BST |
|
AP_1BAS/OBU/BV/ |
TC_AP_1BAS_OBU_BV_09 |
SEL_PROFILE_EN13372 |
Verify that the OBU can manage profile selection (Profiles 0 and 1 supported). Only valid for OBUs according to EN 13372 expecting profiles 0/1 in BST.profile. |
|
AP_1BAS/OBU/BV/ |
TC_AP_1BAS_OBU_BV_10 |
SEL_SEC1 |
Verify that the DUT replies to a BST with a VST |
|
AP_1BAS/OBU/BI/ |
TC_AP_1BAS_OBU_BI_01 |
SEL_I_KERNEL |
Verify that the OBU can manage profile selection |
|
AP_1BAS/OBU/BI/ |
TC_AP_1BAS_OBU_BI_02 |
SEL_I_KERNEL |
Verify that the OBU can manage applications |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_01 |
SEL_SEC1 |
Verify that the OBU can receive and manage GET.request with FlowControl=7 and LID=private |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_02 |
SEL_SEC1 |
Verify that the OBU can receive and manage SET.request with Mode=1, FlowControl=7 and LID=private |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_03 |
SEL_SEC1 |
Verify that the OBU can receive and manage SET.request with mode=1 and GET.request, both with FlowControl=7 and LID=private |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_04 |
SEL_SEC1 |
Verify that the OBU can receive and manage SET.request with mode=0 and FlowControl=4 and GET.request, both with LID=private |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_05 |
SEL_SEC1 |
Verify that the OBU can receive and manage SET.request with mode=0 and FlowControl=1 and GET.request, both with LID=private |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_06 |
SEL_SEC1 |
Verify that the OBU can receive and manage SET.request with mode=0, FlowControl=1 and LID=BC after initialisation, and GET.request |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_08 |
SEL_SEC1 |
Verify that the OBU can receive and manage ACTION.request with FlowControl=7 and LID=private |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_09 |
SEL_SEC1 |
Verify that the OBU can receive and manage ACTION.request with FlowControl=4 and LID=private |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_10 |
SEL_SEC1 |
Verify that the OBU can receive and manage ACTION.request with FlowControl=1 and LID=private |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_11 |
SEL_SEC1 |
Verify that the OBU can receive and manage ACTION.request with FlowControl=1 and LID=BC after OBU was iniitialised |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_12 |
SEL_SEC1 |
Verify that the OBU can receive and manage ACTION.request with FlowControl=1 and LID=BC without OBU being iniitialised |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_13 |
SEL_SEC1 |
Verify that the OBU can receive and manage non-fragmented PDUs with random PDU number |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_14 |
SEL_SEC1 |
Verify that the OBU can receive and manage multilexed APDUs from two different applications or two different contexts of same application type |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_16 |
SEL_SEC1 |
Verify that OBU can receive and manage chained APDUs from a single application |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_17 |
SEL_MANDATORY |
Support of DSRC L7 GET |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_18 |
SEL_MANDATORY |
Support of DSRC L7 SET |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_19 |
SEL_MANDATORY |
Support of DSRC EFC GET STAMPED |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_20 |
SEL_MANDATORY |
Support of DSRC EFC SET MMI |
|
AP_1FUN/OBU/BV/ |
TC_AP_1FUN_OBU_BV_21 |
SEL_MANDATORY |
Support of DSRC EFC ECHO |
|
AP_1FUN/OBU/BI/ |
TC_AP_1FUN_OBU_BI_01 |
SEL_SEC1 |
Verify that the OBU can receive and manage PDUs addressed to the Broadcast Kernel in case the OBU only supports the I-Kernel and the T-Kernel. |
|
AP_1FUN/OBU/BI/ |
TC_AP_1FUN_OBU_BI_02 |
SEL_SEC1 |
Verify that the OBU can receive and manage PDUs addressed to the Broadcast Kernel in case the OBU only supports the Initialisation Kernel and the Transport Kernel |
|
AP_1FUN/OBU/BI/ |
TC_AP_1FUN_OBU_BI_03 |
SEL_SEC1 |
Verify that the OBU can receive and manage non-fragmented PDUs with wrong fragment counter |
|
AP_1FUN/OBU/BI/ |
TC_AP_1FUN_OBU_BI_04 |
SEL_SEC1 |
Verify that the OBU can receive and manage non-fragmented PDUs with wrong fragment counter value |
|
AP_1FUN/OBU/BI/ |
TC_AP_1FUN_OBU_BI_06 |
SEL_SEC1 |
Verify that the OBU can receive and manage concatenated and chained APDUs from a single application with chaining error |
|
AP_1DAT/OBU/BV/ |
TC_AP_1DAT_OBU_BV_01 |
SEL_SEC1 |
Attribute encoding tests – GET |
|
AP_1DAT/OBU/BV/ |
TC_AP_1DAT_OBU_BV_02 |
SEL_SEC1 |
Attribute encoding tests – SET |
|
AP_1DAT/OBU/BV/ |
TC_AP_1DAT_OBU_BV_03 |
SEL_SEC1 |
Verify that the OBU supports the read (by means of GET.rq) of the Vehicle data group attributes, i. e.: - VehicleLicencePlateNumber, - VehicleClass, - VehicleDimensions, - VehicleAxles, - VehicleWeigthLimits, - VehicleSpecificCharacteristics |
|
AP_1DAT/OBU/BV/ |
TC_AP_1DAT_OBU_BV_04 |
SEL_SEC1 |
Verify that the OBU supports the read (by means of GET) of the Vehicle attributes, one at the time |
|
AP_1DAT/OBU/BV/ |
TC_AP_1DAT_OBU_BV_05 |
SEL_SEC1 |
Verify that the OBU supports the read (by means of GET.rq) of the Equipment data group attributes, i. e.: - EquipmentOBUId, - EquipmentStatus |
|
AP_1DAT/OBU/BV/ |
TC_AP_1DAT_OBU_BV_06 |
SEL_SEC1 |
Verify that the OBU supports the read (by means of GET) of the Equipment attributes, one at the time |
|
AP_1DAT/OBU/BV/ |
TC_AP_1DAT_OBU_BV_07 |
SEL_SEC1 |
Verify that the OBU supports the read (by means of GET.rq) of the Receipt data group attributes, i. e.: - ReceiptData1, - ReceiptData2 |
|
AP_1DAT/OBU/BV/ |
TC_AP_1DAT_OBU_BV_08 |
SEL_SEC1 |
Verify that the OBU supports the read (by means of GET) of the Receipt attributes, one at the time |
|
AP_1DAT/OBU/BV/ |
TC_AP_1DAT_OBU_BV_09 |
SEL_SEC1 |
Verify that the OBU supports the read (by means of GET.rq) of the PaymentMeans attribute |
|
AP_1DAT/OBU/BV/ |
TC_AP_1DAT_OBU_BV_10 |
SEL_MANDATORY |
Verify that the OBU supports the read (by means of GET-STAMPED.rq) of the Vehicle data group attributes, i. e.: - VehicleLicencePlateNumber, - VehicleClass, - VehicleDimensions, - VehicleAxles, - VehicleWeigthLimits, - VehicleSpecificCharacteristics |
|
AP_1DAT/OBU/BV/ |
TC_AP_1DAT_OBU_BV_11 |
SEL_MANDATORY |
Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the Equipment data group attributes, i. e.: - EquipmentOBUId, - EquipmentStatus |
|
AP_1DAT/OBU/BV/ |
TC_AP_1DAT_OBU_BV_12 |
SEL_MANDATORY |
Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the Receipt data group attributes, i. e.: - ReceiptData1, - ReceiptData2 |
|
AP_1DAT/OBU/BV/ |
TC_AP_1DAT_OBU_BV_13 |
SEL_MANDATORY |
Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the PaymentMeans attribute |
|
AP_1DAT/OBU/BV/ |
TC_AP_1DAT_OBU_BV_14 |
SEL_SEC1 |
Verify that the OBU supports the update of the EquipmentStatus attribute |
|
AP_1DAT/OBU/BV/ |
TC_AP_1DAT_OBU_BV_15 |
SEL_SEC1 |
Verify that the OBU supports the update of the Receipt attributes |
|
AP_1DAT/OBU/BI/ |
TC_AP_1DAT_OBU_BI_01 |
SEL_MANDATORY |
Verify that the OBU prevents the update of the read-only Vehicle attributes, one at the time |
|
AP_1DAT/OBU/BI/ |
TC_AP_1DAT_OBU_BI_02 |
SEL_MANDATORY |
Verify that the OBU prevents the update of the read-only Vehicle attributes list |
|
AP_1DAT/OBU/BI/ |
TC_AP_1DAT_OBU_BI_03 |
SEL_MANDATORY |
Verify that the OBU prevents the update of the read-only PaymentMeans attribute |
|
AP_1DAT/OBU/BI/ |
TC_AP_1DAT_OBU_BI_04 |
SEL_MANDATORY |
Verify that the OBU prevents the update of the read-only EquipmentOBUId attribute |
|
AP_1DAT/OBU/BI/ |
TC_AP_1DAT_OBU_BI_05 |
SEL_MANDATORY |
Verify that the OBU prevents the update of the Equipment attributes list |
|
AP_1SEC/OBU/BV/ |
TC_AP_1SEC_OBU_BV_01 |
SEL_MANDATORY |
Authentication keys 1÷ 8 and Authenticator (RndRSE value = r1, KeyRef value = k1) |
|
AP_1SEC/OBU/BV/ |
TC_AP_1SEC_OBU_BV_02 |
SEL_MANDATORY |
Authentication keys 1÷ 8 and Authenticator (RndRSE value = r2, KeyRef value = k2) |
|
AP_1SEC/OBU/BV/ |
TC_AP_1SEC_OBU_BV_03 |
SEL_MANDATORY |
Authentication keys 1÷ 8 and Authenticator (RndRSE value = r3, KeyRef value = k3) |
|
AP_1SEC/OBU/BV/ |
TC_AP_1SEC_OBU_BV_04 |
SEL_MANDATORY |
Authentication keys 1÷ 8 and Authenticator (RndRSE value = r4, KeyRef value = k4) |
|
AP_1SEC/OBU/BV/ |
TC_AP_1SEC_OBU_BV_05 |
SEL_MANDATORY |
Authentication keys 1÷ 8 and Authenticator (RndRSE value = r5, KeyRef value = k5) |
|
AP_1SEC/OBU/BV/ |
TC_AP_1SEC_OBU_BV_06 |
SEL_MANDATORY |
Authentication keys 1÷ 8 and Authenticator (RndRSE value = r6, KeyRef value = k6) |
|
AP_1SEC/OBU/BV/ |
TC_AP_1SEC_OBU_BV_07 |
SEL_MANDATORY |
Authentication keys 1÷ 8 and Authenticator (RndRSE value = r7, KeyRef value = k7) |
|
AP_1SEC/OBU/BV/ |
TC_AP_1SEC_OBU_BV_08 |
SEL_MANDATORY |
Authentication keys 1÷ 8 and Authenticator (RndRSE value = r8, KeyRef value = k8) |
|
AP_1TRA/OBU/BV/ |
TC_AP_1TRA_OBU_BV_01 |
SEL_MANDATORY |
Support of CARDME transaction |
Detailed Comments |
---|
Test Step Group Reference | Test Step Id | Description | Page Nr |
---|---|---|---|
STP_OBU_wakeup |
Transmit frame of at least 11 octets including preamble (EN 12253) in order to wake up OBU |
||
STP_default_BST_VST |
Send default BST (TSPX_Default_profile, TSPX_Default_applicationID). Await any VST. |
||
STP_default_echo_request |
Transmit an ECHO.Request and wait for the response. |
||
STP_default_first_private_request |
Transmit an ECHO.Request and wait for the response. |
||
STP_default_initialisation |
Transmit default BST to start an initialization sequence, finalise the initialization by transmitting a privately addressed command |
||
STP_default_wakeup_BST_VST |
Wakeup OBU, send default BST, await default VST. Retrieves TCV_session_LID |
||
STP_release |
Transmit a RELEASE.Request |
||
STP_two_apps_BST_VST |
Send BST offering two known applications, await VST requesting a context for each of these applications. |
||
STP_two_apps_wakeup_BST_VST |
Wakeup OBU, send BST offering two known applications, await VST requesting a context for each of these applications. |
||
STP_default_echo_request_s1 |
Transmit an ECHO.Request and wait for the response. |
||
STP_default_initialisation_s1 |
Transmit default BST to start an initialization sequence, finalise the initialization by transmitting a privately addressed command |
||
STP_default_wakeup_BST_VST_s1 |
Wakeup OBU, send default BST, await default VST. Retrieves TCV_session_LID |
||
STP_default_BST_VST_s1 |
Send default BST (TSPX_Default_profile, TSPX_Default_applicationID). Await any VST. |
||
STP_two_apps_wakeup_BST_VST_s1 |
Wakeup OBU, send BST offering two known applications, await VST requesting a context for each of these applications. |
||
STP_two_apps_BST_VST_s1 |
Send BST offering two known applications, await VST requesting a context for each of these applications. |
Detailed Comments |
---|
Default Group Reference | Default Id | Description | Page Nr |
---|---|---|---|
DF_Standard_Default |
Standard default for use in test cases |
||
DF_Standard_Preamble_Default |
Standard default for use in preambles |
||
DF_Wakeup_Default |
Consumes any INIT_RSP (VST) which results from the wakeup procedure |
Detailed Comments |
---|
Type Name | Type Definition | Type Encoding | Comments |
---|
Detailed Comments |
---|
Type Name | VST_Parameters |
---|---|
Encoding Variation | |
Comments |
Element Name | Type Definition | Field Encoding | Comments |
---|---|---|---|
AC_CR_MasterKeyRef |
AC_CR_MasterKeyRef |
||
AC_CR_Diversifier |
AC_CR_Diversifier |
||
RND_OBE |
RndOBE |
Detailed Comments |
---|
Type Name | ApplicationContextMark |
---|---|
Encoding Variation | |
Comments | Presents the only two choices currently being implemented. Possible problem in existing installations with efccontext, which was defined in EN 14906 at a late stage |
Type Definition |
---|
CHOICE { octetstring [2] OCTET STRING (SIZE (0..127 ) ), efccontext [32] EFC_ContextMark } |
Detailed Comments |
---|
Type Name | BST |
---|---|
Encoding Variation | |
Comments | To fix insufficiency of tool |
Type Definition |
---|
SEQUENCE { rsu BeaconID, time Time, profile Profile, mandApplications ApplicationList, nonmandApplications ApplicationList OPTIONAL, profileList Profile_List } |
Detailed Comments |
---|
Type Name | Integer_134217727 |
---|---|
Encoding Variation | |
Comments | Valid range of IndividualID |
Type Definition |
---|
INTEGER (0..134217727) |
Detailed Comments |
---|
Type Name | Integer_65535 |
---|---|
Encoding Variation | |
Comments | Valid range of ManufacturerID |
Type Definition |
---|
INTEGER (0..65535) |
Detailed Comments |
---|
Type Name | Integer_Lid |
---|---|
Encoding Variation | |
Comments | Allowed range for the private LID. 28 bit unsigned INTEGER |
Type Definition |
---|
INTEGER (0..2147483647) |
Detailed Comments |
---|
Type Name | Lid |
---|---|
Encoding Variation | |
Comments | Allows to distinguish between BC LID and private LID=127. |
Type Definition |
---|
SEQUENCE { lid_value Integer_Lid, lid_private BOOLEAN } |
Detailed Comments |
---|
Type Name | Profile_List |
---|---|
Encoding Variation | |
Comments | To fix insufficiency of tool |
Type Definition |
---|
SEQUENCE (SIZE (0..127 ) ) OF Profile |
Detailed Comments |
---|
Type Name | Seq_Message |
---|---|
Encoding Variation | |
Comments | Sequence of T-APDUs. To fix insufficiency of tool |
Type Definition |
---|
SEQUENCE OF Message |
Detailed Comments |
---|
Type Name | TextString |
---|---|
Encoding Variation | |
Comments | To fix insufficiency of tool |
Type Definition |
---|
OCTET STRING |
Detailed Comments |
---|
Type Name | Type Reference | Module Identifier | Encoding Variation | Comments | Type Definition |
---|---|---|---|---|---|
Action |
Action |
DSRCData |
CHOICE { integer [0] INTEGER, bitstring [1] BIT STRING, octetstring [2] OCTET STRING (SIZE (0..127 ) ), universalString [3] OCTET STRING, beaconId [4] BeaconID, dsrcApplicationEntityId [6] DSRCApplicationEntityID, dsrc_Ase_Id [7] Dsrc_EID, attrIdList [8] AttributeIdList, broadcastPool [10] BroadcastPool, directory [11] Directory, file [12] File, fileType [13] FileType, record [14] Record, time [15] Time, vector [16] SEQUENCE (SIZE (0..255 ) ) OF INTEGER (0..127 ), gstrq [17] GetStampedRq, gstrs [18] GetStampedRs, sstrq [19] SetStampedRq, ginrq [20] GetInstanceRq, ginrs [21] GetInstanceRs, sinrq [22] SetInstanceRq, charq [23] ChannelRq, chars [24] ChannelRs, cpprq [25] CopyRq, subrq [26] SubRq, addrq [27] AddRq, debrq [28] DebitRq, debrs [29] DebitRs, crerq [30] CreditRq, crers [31] CreditRs, efccontext [32] EFC_ContextMark, contser [33] ContractSerialNumber, contval [34] ContractValidity, contveh [35] ContractVehicle, contauth [36] ContractAuthenticator, recspt [37] ReceiptServicePart, sessioncls [38] SessionClass, recservserialno [39] ReceiptServiceSerialNumber, recfinptENV [40] NULL, reccont [41] ReceiptContract, recOBUId [42] ReceiptOBUId, recICCId [43] ReceiptICC_Id, rectext [44] ReceiptText, recauth [45] ReceiptAuthenticator, recdist [46] ReceiptDistance, vehlpn [47] LPN, vehid [48] CS5, vehclass [49] VehicleClass, vehdims [50] VehicleDimensions, vehaxles [51] VehicleAxles, vehwtlims [52] VehicleWeightLimits, vehwtladen [53] VehicleWeightLaden, vehspchars [54] VehicleSpecificCharacteristics, vehauth [55] VehicleAuthenticator, equOBUId [56] EquipmentOBUId, equICCId [57] ICC_Id, equstat [58] EquipmentStatus, dvrchars [59] DriverCharacteristics, paymeansENV [60] NULL, paymbal [61] PaymentMeansBalance, paymunit [62] PaymentMeansUnit, paysecdata [63] PaymentSecurityData, paymeans [64] PaymentMeans, recdata1 [65] ReceiptData, recdata2 [66] NULL, valofcon [67] ValidityOfContract, recfinpt [68] ReceiptFinancialPart, setmmirq [69] SetMMIRq, rfuCenISO37 [70] NULL, rfuCenISO38 [71] NULL, rfuCenISO39 [72] NULL, rfuCenISO40 [73] NULL, rfuCenISO41 [74] NULL, rfuCenISO42 [75] NULL, rfuCenISO43 [76] NULL, rfuCenISO44 [77] NULL, rfuCenISO45 [78] NULL, rfuCenISO46 [79] NULL, rfuCenISO47 [80] NULL, rfuCenISO48 [81] NULL, rfuCenISO49 [82] NULL, rfuCenISO50 [83] NULL, rfuCenISO51 [84] NULL, rfuCenISO52 [85] NULL, rfuCenISO53 [86] NULL } |
||
ActionType |
ActionType |
DSRCData |
INTEGER (0..127 ) |
||
Action_Request |
Action_Request |
DSRCData |
SEQUENCE { mode BOOLEAN, eid Dsrc_EID, actionType ActionType, accessCredentials OCTET STRING (SIZE (0..127 ) ) OPTIONAL, actionParameter Action OPTIONAL, iid Dsrc_EID OPTIONAL } |
||
Action_Response |
Action_Response |
DSRCData |
SEQUENCE { fill BIT STRING (SIZE (1 ) ), eid Dsrc_EID, iid Dsrc_EID OPTIONAL, responseParameter Action OPTIONAL, ret ReturnStatus OPTIONAL } |
||
AddRq |
AddRq |
EfcModule |
SEQUENCE { attributeId INTEGER (0..127 ), value INTEGER } |
||
ApplicationList |
ApplicationList |
DSRCData |
SEQUENCE (SIZE (0..127 ) ) OF SEQUENCE { aid DSRCApplicationEntityID, eid Dsrc_EID OPTIONAL, parameter ApplicationContextMark OPTIONAL } |
||
AttributeIdList |
AttributeIdList |
DSRCData |
SEQUENCE (SIZE (0..127 ) ) OF INTEGER (0..127 ) |
||
AttributeList |
AttributeList |
DSRCData |
SEQUENCE (SIZE (0..127 ) ) OF Attributes |
||
Attributes |
Attributes |
DSRCData |
SEQUENCE { attributeId INTEGER (0..127 ), attributeValue Container } |
||
BeaconID |
BeaconID |
DSRCData |
SEQUENCE { manufacturerid INTEGER (0..65535 ), individualid INTEGER (0..134217727 ) } |
||
BroadcastPool |
BroadcastPool |
DSRCData |
SEQUENCE { directoryvalue Directory, content SEQUENCE (SIZE (0..127 ) ) OF File } |
||
CS5 |
CS5 |
AVIAEINumberingAndDataStructures |
VisibleString |
||
ChannelId |
ChannelId |
EfcModule |
INTEGER{obu(0), sam1(1), sam2(2), icc(3), display(4), buzzer(5), printer(6), serialInterface(7), parallelInterface(8), gPS(9), tachograph(10), privateUse1(11), privateUse2(12), privateUse3(13), privateUse4(14), privateUse5(15), bluetooth(16)} (0..255 ) |
||
ChannelRq |
ChannelRq |
EfcModule |
SEQUENCE { channelId ChannelId, apdu OCTET STRING } |
||
ChannelRs |
ChannelRs |
EfcModule |
SEQUENCE { channelId ChannelId, apdu OCTET STRING } |
||
Container |
Container |
DSRCData |
CHOICE { integer [0] INTEGER, bitstring [1] BIT STRING, octetstring [2] OCTET STRING (SIZE (0..127 ) ), universalString [3] OCTET STRING, beaconId [4] BeaconID, dsrcApplicationEntityId [6] DSRCApplicationEntityID, dsrc_Ase_Id [7] Dsrc_EID, attrIdList [8] AttributeIdList, broadcastPool [10] BroadcastPool, directory [11] Directory, file [12] File, fileType [13] FileType, record [14] Record, time [15] Time, vector [16] SEQUENCE (SIZE (0..255 ) ) OF INTEGER (0..127 ), charq [23] ChannelRq, chars [24] ChannelRs, cpprq [25] CopyRq, subrq [26] SubRq, addrq [27] AddRq, debrq [28] DebitRq, debrs [29] DebitRs, crerq [30] CreditRq, crers [31] CreditRs, efccontext [32] EFC_ContextMark, contser [33] ContractSerialNumber, contval [34] ContractValidity, contveh [35] ContractVehicle, contauth [36] ContractAuthenticator, recspt [37] ReceiptServicePart, sessioncls [38] SessionClass, recservserialno [39] ReceiptServiceSerialNumber, recfinptENV [40] NULL, reccont [41] ReceiptContract, recOBUId [42] ReceiptOBUId, recICCId [43] ReceiptICC_Id, rectext [44] ReceiptText, recauth [45] ReceiptAuthenticator, recdist [46] ReceiptDistance, vehlpn [47] LPN, vehid [48] CS5, vehclass [49] VehicleClass, vehdims [50] VehicleDimensions, vehaxles [51] VehicleAxles, vehwtlims [52] VehicleWeightLimits, vehwtladen [53] VehicleWeightLaden, vehspchars [54] VehicleSpecificCharacteristics, vehauth [55] VehicleAuthenticator, equOBUId [56] EquipmentOBUId, equICCId [57] ICC_Id, equstat [58] EquipmentStatus, dvrchars [59] DriverCharacteristics, paymeansENV [60] NULL, paymbal [61] PaymentMeansBalance, paymunit [62] PaymentMeansUnit, paysecdata [63] PaymentSecurityData, paymeans [64] PaymentMeans, recdata1 [65] ReceiptData, recdata2 [66] ReceiptData, valofcon [67] ValidityOfContract, recfinpt [68] ReceiptFinancialPart, setmmirq [69] SetMMIRq, rfuCenISO37 [70] NULL, rfuCenISO38 [71] NULL, rfuCenISO39 [72] NULL, rfuCenISO40 [73] NULL, rfuCenISO41 [74] NULL, rfuCenISO42 [75] NULL, rfuCenISO43 [76] NULL, rfuCenISO44 [77] NULL, rfuCenISO45 [78] NULL, rfuCenISO46 [79] NULL, rfuCenISO47 [80] NULL, rfuCenISO48 [81] NULL, rfuCenISO49 [82] NULL, rfuCenISO50 [83] NULL, rfuCenISO51 [84] NULL, rfuCenISO52 [85] NULL, rfuCenISO53 [86] NULL } |
||
ContractAuthenticator |
ContractAuthenticator |
EfcModule |
OCTET STRING |
||
ContractSerialNumber |
ContractSerialNumber |
EfcModule |
Int4 |
||
ContractValidity |
ContractValidity |
EfcModule |
SEQUENCE { contractRestrictions OCTET STRING (SIZE (4 ) ), contractExpiryDate DateCompact } |
||
ContractVehicle |
ContractVehicle |
EfcModule |
LPN |
||
CopyRq |
CopyRq |
EfcModule |
SEQUENCE { destinationEID INTEGER (0..127 ), attributeIdList AttributeIdList } |
||
CountryCode |
CountryCode |
AVIAEINumberingAndDataStructures |
BIT STRING (SIZE (10 ) ) |
||
CreditRq |
CreditRq |
EfcModule |
SEQUENCE { refund PaymentFee, nonce OCTET STRING, key INTEGER (0..255 ) } |
||
CreditRs |
CreditRs |
EfcModule |
SEQUENCE { creditResult ResultFin, creditAuthenticator OCTET STRING } |
||
DSRCApplicationEntityID |
DSRCApplicationEntityID |
DSRCData |
INTEGER{dsrc_system(0), electronic_fee_collection(1), freight_fleet_management(2), public_transport(3), traffic_traveller_information(4), traffic_control(5), parking_management(6), geographic_road_database(7), medium_range_preinformation(8), man_machine_interface(9), intersystem_interface(10), automatic_vehicle_identification(11), emergency_warning(12), dsrc_private(13), multi_purpose_payment(14), dsrc_resource_manager(15), after_theft_systems(16)} (0..31 ) |
||
DateAndTime |
DateAndTime |
EfcModule |
SEQUENCE { timeDate DateCompact, timeCompact SEQUENCE { hours INTEGER (0..23 ), mins INTEGER (0..59 ), double_secs INTEGER (0..30 ) } } |
||
DateCompact |
DateCompact |
EfcModule |
SEQUENCE { year INTEGER (0..127 ), month INTEGER (0..12 ), day INTEGER (0..31 ) } |
||
DebitRq |
DebitRq |
EfcModule |
SEQUENCE { debitPaymentFee PaymentFee, nonce OCTET STRING, keyRef INTEGER (0..255 ) } |
||
DebitRs |
DebitRs |
EfcModule |
SEQUENCE { debitResult ResultFin, debitAuthenticator OCTET STRING } |
||
DescriptiveCharacteristics |
DescriptiveCharacteristics |
EfcModule |
INTEGER{noEntry(0), vehicleShape1(1), vehicleShape2(2), vehicleShape3(3), vehicleShape4(4), vehicleShape5(5), vehicleShape6(6), vehicleShape7(7), vehicleShape8(8), vehicleShape9(9), vehicleShape10(10), vehicleShape11(11), vehicleShape12(12), vehicleShape13(13), vehicleShape14(14), vehicleShape15(15), vehicleShape16(16), vehicleShape17(17), vehicleShape18(18), vehicleShape19(19), vehicleShape20(20), vehicleShape21(21), vehicleShape22(22), vehicleShape23(23), vehicleShape24(24), vehicleShape25(25), vehicleShape26(26), vehicleShape27(27), vehicleShape28(28), vehicleShape29(29), vehicleShape30(30), vehicleShape31(31), vehicleShape32(32), vehicleShape33(33), vehicleShape34(34), vehicleShape35(35), vehicleShape36(36), vehicleShape37(37), vehicleShape38(38), vehicleShape39(39), vehicleShape40(40), vehicleShape41(41), vehicleShape42(42), vehicleShape43(43), vehicleShape44(44), vehicleShape45(45), vehicleShape46(46), vehicleShape47(47), vehicleShape48(48), vehicleShape49(49), vehicleShape50(50)} (0..255 ) |
||
Directory |
Directory |
DSRCData |
SEQUENCE (SIZE (0..127 ) ) OF FileName |
||
DriverCharacteristics |
DriverCharacteristics |
EfcModule |
SEQUENCE { driverClass Int1, tripPurpose Int1 } |
||
Dsrc_EID |
Dsrc_EID |
DSRCData |
INTEGER (0..127 ) |
||
EFC_ContextMark |
EFC_ContextMark |
EfcModule |
SEQUENCE { contractProvider Provider, typeOfContract OCTET STRING (SIZE (2 ) ), contextVersion INTEGER (0..127 ) } |
||
EngineCharacteristics |
EngineCharacteristics |
EfcModule |
INTEGER{noEntry(0), noEngine(1), petrolUnleaded(2), petrolLeaded(3), diesel(4), lPG(5), battery(6), solar(7)} (0..255 ) |
||
EnvironmentalCharacteristics |
EnvironmentalCharacteristics |
EfcModule |
SEQUENCE { euroValue ENUMERATED {noEntry(0), euro_1(1), euro_2(2), euro_3(3), reservedForUse1(4), reservedForUse2(5), reservedForUse3(6), reservedForUse4(7), reservedForUse5(8)}, copValue ENUMERATED {noEntry(0), reservedForUse1(1), reservedForUse2(2), reservedForUse3(3), reservedForUse4(4), reservedForUse5(5), reservedForUse6(6), reservedForUse7(7), reservedForUse8(8)} } |
||
EquipmentOBUId |
EquipmentOBUId |
EfcModule |
OCTET STRING |
||
EquipmentStatus |
EquipmentStatus |
EfcModule |
BIT STRING (SIZE (16 ) ) |
BIT STRING |
|
EventType |
EventType |
DSRCData |
INTEGER{release(0)} (0..127 ) |
||
Event_Report_Request |
Event_Report_Request |
DSRCData |
SEQUENCE { mode BOOLEAN, eid Dsrc_EID, eventType EventType, accessCredentials OCTET STRING (SIZE (0..127 ) ) OPTIONAL, eventParameter Container OPTIONAL, iid Dsrc_EID OPTIONAL } |
||
Event_Report_Response |
Event_Report_Response |
DSRCData |
SEQUENCE { fill BIT STRING (SIZE (2 ) ), eid Dsrc_EID, iid Dsrc_EID OPTIONAL, ret ReturnStatus OPTIONAL } |
||
File |
File |
DSRCData |
SEQUENCE (SIZE (0..127 ) ) OF Record |
||
FileName |
FileName |
DSRCData |
SEQUENCE { aseID Dsrc_EID, fileID INTEGER (0..127 ) } |
||
FileType |
FileType |
DSRCData |
NULL |
||
FutureCharacteristics |
FutureCharacteristics |
EfcModule |
INTEGER{noEntry(0)} (0..255 ) |
||
GetInstanceRq |
GetInstanceRq |
EfcModule |
SEQUENCE { posOfFirstInstance INTEGER (0..255 ), posOfLastInstance INTEGER (0..255 ), attributeIdList AttributeIdList } |
||
GetInstanceRs |
GetInstanceRs |
EfcModule |
SEQUENCE (SIZE (0..127 ) ) OF SEQUENCE { attributeId INTEGER (0..127 ), attributeValues CHOICE { octetstring [2] OCTET STRING (SIZE (0..127 ) ) } } |
||
GetStampedRq |
GetStampedRq |
EfcModule |
SEQUENCE { attributeIdList AttributeIdList, nonce OCTET STRING, keyRef INTEGER (0..255 ) } |
||
GetStampedRs |
GetStampedRs |
EfcModule |
SEQUENCE { attributeList AttributeList, authenticator OCTET STRING, attributeString OCTET STRING OPTIONAL } |
||
Get_Request |
Get_Request |
DSRCData |
SEQUENCE { fill BIT STRING (SIZE (1 ) ), eid Dsrc_EID, accessCredentials OCTET STRING (SIZE (0..127 ) ) OPTIONAL, iid Dsrc_EID OPTIONAL, attrIdList AttributeIdList OPTIONAL } |
||
Get_Response |
Get_Response |
DSRCData |
SEQUENCE { fill BIT STRING (SIZE (1 ) ), eid Dsrc_EID, iid Dsrc_EID OPTIONAL, attributelist AttributeList OPTIONAL, ret ReturnStatus OPTIONAL } |
||
ICC_Id |
ICC_Id |
EfcModule |
OCTET STRING |
||
Initialisation_Request |
Initialisation_Request |
DSRCData |
BST |
||
Initialisation_Response |
Initialisation_Response |
DSRCData |
VST |
||
Int1 |
Int1 |
EfcModule |
INTEGER (0..255 ) |
||
Int2 |
Int2 |
EfcModule |
INTEGER (0..65535 ) |
||
Int3 |
Int3 |
EfcModule |
INTEGER (0..16777215 ) |
||
Int4 |
Int4 |
EfcModule |
INTEGER (0..4294967295 ) |
||
IssuerIdentifier |
IssuerIdentifier |
AVIAEINumberingAndDataStructures |
INTEGER (0..16383 ) |
||
LPN |
LPN |
EfcModule |
SEQUENCE { countryCode CountryCode, alphabetIndicator ENUMERATED {latinAlphabetNo1(1), latinAlphabetNo2(2), latinAlphabetNo3(3), latinAlphabetNo4(4), latinCyrillicAlphabet(5), latinArabicAlphabet(6), latinGreekAlphabet(7), latinHebrewAlphabet(8), latinAlphabetNo5(9), latinAlphabetNo6(10), twoOctetBMP(11), fourOctetCanonical(12), reservedForUse1(13), reservedForUse2(14), reservedForUse3(15), reservedForUse4(16), reservedForUse5(17), reservedForUse6(18), reservedForUse7(19), reservedForUse8(20), reservedForUse9(21), reservedForUse10(22), reservedForUse11(23), reservedForUse12(24), reservedForUse13(25), reservedForUse14(26), reservedForUse15(27), reservedForUse16(28), reservedForUse17(29), reservedForUse18(30), reservedForUse19(31), reservedForUse20(32), reservedForUse21(33)}, licencePlateNumber OCTET STRING } |
||
Message |
Message |
DSRCtransferData |
T_APDUs |
||
ObeConfiguration |
ObeConfiguration |
DSRCData |
SEQUENCE { equipmentClass INTEGER (0..32767 ), manufacturerID INTEGER (0..65535 ), obeStatus INTEGER (0..65535 ) OPTIONAL } |
||
PayUnit |
PayUnit |
EfcModule |
OCTET STRING (SIZE (2 ) ) |
||
PaymentFee |
PaymentFee |
EfcModule |
SEQUENCE { paymentFeeAmount Int2, paymentFeeUnit PayUnit } |
||
PaymentMeans |
PaymentMeans |
EfcModule |
SEQUENCE { personalAccountNumber PersonalAccountNumber, paymentMeansExpiryDate DateCompact, paymentMeansUsageControl OCTET STRING (SIZE (2 ) ) } |
||
PaymentMeansBalance |
PaymentMeansBalance |
EfcModule |
SignedValue |
||
PaymentMeansUnit |
PaymentMeansUnit |
EfcModule |
PayUnit |
||
PaymentSecurityData |
PaymentSecurityData |
EfcModule |
OCTET STRING |
||
PersonalAccountNumber |
PersonalAccountNumber |
EfcModule |
OCTET STRING (SIZE (10 ) ) |
||
Profile |
Profile |
DSRCData |
INTEGER (0..127 ) |
||
Provider |
Provider |
EfcModule |
SEQUENCE { countryCode CountryCode, providerIdentifier IssuerIdentifier } |
||
PurseBalance |
PurseBalance |
EfcModule |
SEQUENCE { purseValue SignedValue, purseUnit PayUnit } |
||
ReceiptAuthenticator |
ReceiptAuthenticator |
EfcModule |
OCTET STRING |
||
ReceiptContract |
ReceiptContract |
EfcModule |
SEQUENCE { sessionContractProvider Provider, sessionTypeOfContract OCTET STRING (SIZE (2 ) ), sessionContractSerialNumber Int4 } |
||
ReceiptData |
ReceiptData |
EfcModule |
SEQUENCE { sessionTime DateAndTime, sessionServiceProvider Provider, locationOfStation Int2, sessionLocation SessionLocation, sessionType Int1, sessionResult ResultOp, sessionTariffClass Int1, sessionClaimedClass Int1, sessionFee PaymentFee, sessionContractProvider Provider, sessionTypeOfContract OCTET STRING (SIZE (2 ) ), sessionContextVersion INTEGER (0..127 ), receiptDataAuthenticator OCTET STRING (SIZE (4 ) ) } |
||
ReceiptDistance |
ReceiptDistance |
EfcModule |
Int3 |
||
ReceiptFinancialPart |
ReceiptFinancialPart |
EfcModule |
SEQUENCE { personalAccountNumber PersonalAccountNumber, sessionPaymentFee PaymentFee, sessionCurrentBalance PurseBalance, receiptFinancialSerialNumber Int4 } |
||
ReceiptICC_Id |
ReceiptICC_Id |
EfcModule |
ICC_Id |
||
ReceiptOBUId |
ReceiptOBUId |
EfcModule |
OCTET STRING |
||
ReceiptServicePart |
ReceiptServicePart |
EfcModule |
SEQUENCE { sessionTime DateAndTime, sessionServiceProvider Provider, stationLocation INTEGER (0..1048575 ), sessionLocation BIT STRING (SIZE (8 ) ), typeOfSession StationType, sessionResultOperational ResultOp, sessionResultFinancial ResultFin } |
||
ReceiptServiceSerialNumber |
ReceiptServiceSerialNumber |
EfcModule |
Int3 |
||
ReceiptText |
ReceiptText |
EfcModule |
OCTET STRING |
||
Record |
Record |
DSRCData |
CHOICE { simple VisibleString } |
||
ResultFin |
ResultFin |
EfcModule |
OCTET STRING (SIZE (1 ) ) |
||
ResultOp |
ResultOp |
EfcModule |
INTEGER{correctTransaction(0), obeStatusNotAccepted(1), equipmentStatusNotAccepted(2), contractNotInWhiteList(3), contractIdentifierInBlackList(4), contractIdentifierNotCorrect(5), expiredContract(6), contractRestrictionsNotFulfilled(7), claimedVehicleCharacteristicsNotValid(8), vehicleClassAuthenticationFailed(9), entryVehicleClassDifferentFromExitVehicleClass(10), entryReceiptMissing(11), entryReceiptNotValid(12), entryTollStationNotValid(13), equipmentNotCertified(14), timeDifference(15), accessCredentialsNotAccepted(16), contractAuthenticatorNotAccepted(17), receiptAuthenticatorNotAccepted(18), claimedVehicleCharacteristicsMissing(19), paymentMeansNotAccepted(20), paymentAuthenticatorNotAccepted(21)} (0..255 ) |
||
ReturnStatus |
ReturnStatus |
DSRCData |
INTEGER{noError(0), accessDenied(1), argumentError(2), complexityLimitation(3), processingFailure(4), processing(5), chainingError(6)} (0..127 ) |
||
SessionClass |
SessionClass |
EfcModule |
SEQUENCE { sessionTariffClass Int1, sessionClaimedClass Int1 } |
||
SessionLocation |
SessionLocation |
EfcModule |
SEQUENCE { ascendingKilometrage BOOLEAN, laneCodeNumber INTEGER (0..127 ) } |
||
SetInstanceRq |
SetInstanceRq |
EfcModule |
SEQUENCE { posOfInstance INTEGER (0..255 ), attribute Attributes } |
||
SetMMIRq |
SetMMIRq |
EfcModule |
INTEGER{ok(0), nok(1), contactOperator(2), noSignalling(255)} (0..255 ) |
||
SetStampedRq |
SetStampedRq |
EfcModule |
SEQUENCE { attributeList AttributeList, nonce OCTET STRING, keyRef INTEGER (0..255 ) } |
||
Set_Request |
Set_Request |
DSRCData |
SEQUENCE { fill BIT STRING (SIZE (1 ) ), mode BOOLEAN, eid Dsrc_EID, accessCredentials OCTET STRING (SIZE (0..127 ) ) OPTIONAL, attrList AttributeList, iid Dsrc_EID OPTIONAL } |
||
Set_Response |
Set_Response |
DSRCData |
SEQUENCE { fill BIT STRING (SIZE (2 ) ), eid Dsrc_EID, iid Dsrc_EID OPTIONAL, ret ReturnStatus OPTIONAL } |
||
SignedValue |
SignedValue |
EfcModule |
CHOICE { positive INTEGER (0..838607 ), negative INTEGER (-838608..-1 ) } |
||
StationType |
StationType |
EfcModule |
ENUMERATED {unspecified(0), closedEntryWithPayment(1), closedEntryWithoutPayment(2), closedTransit(3), closedExit(4), closedCredit(5), mixed(6), passage(7), checkpoint(8), reload(9), reservedForFutureCENUse1(10), reservedForFutureCENUse2(11), reservedForFutureCENUse3(12), reservedForFutureCENUse4(13), privateUse5(14), privateUse6(15)} |
||
SubRq |
SubRq |
EfcModule |
SEQUENCE { attributeId INTEGER (0..127 ), value INTEGER } |
||
T_APDUs |
T_APDUs |
DSRCData |
CHOICE { action_request [0] Action_Request, action_response [1] Action_Response, event_report_request [2] Event_Report_Request, event_report_response [3] Event_Report_Response, set_request [4] Set_Request, set_response [5] Set_Response, get_request [6] Get_Request, get_response [7] Get_Response, initialisation_request [8] Initialisation_Request, initialisation_response [9] Initialisation_Response } |
||
Time |
Time |
DSRCData |
INTEGER (0..4294967295 ) |
||
VST |
VST |
DSRCData |
SEQUENCE { fill BIT STRING (SIZE (4 ) ), profile Profile, applications ApplicationList, obeConfiguration ObeConfiguration } |
||
ValidityOfContract |
ValidityOfContract |
EfcModule |
SEQUENCE { issuerRestrictions OCTET STRING (SIZE (2 ) ), contractExpiryDate DateCompact } |
||
VehicleAuthenticator |
VehicleAuthenticator |
EfcModule |
OCTET STRING |
||
VehicleAxles |
VehicleAxles |
EfcModule |
SEQUENCE { vehicleFirstAxleHeight Int1, vehicleAxlesNumber SEQUENCE { tyreType ENUMERATED {notSpecified(0), singleTyre(1), dualTyres(2), reservedForUse(3)}, numberOfAxles INTEGER (0..63 ) } } |
||
VehicleClass |
VehicleClass |
EfcModule |
Int1 |
||
VehicleDimensions |
VehicleDimensions |
EfcModule |
SEQUENCE { vehicleLengthOverall Int1, vehicleHeigthOverall Int1, vehicleWidthOverall Int1 } |
||
VehicleSpecificCharacteristics |
VehicleSpecificCharacteristics |
EfcModule |
SEQUENCE { environmentalCharacteristics EnvironmentalCharacteristics, engineCharacteristics EngineCharacteristics, descriptiveCharacteristics DescriptiveCharacteristics, futureCharacteristics FutureCharacteristics } |
||
VehicleWeightLaden |
VehicleWeightLaden |
EfcModule |
Int2 |
||
VehicleWeightLimits |
VehicleWeightLimits |
EfcModule |
SEQUENCE { vehicleMaxLadenWeight Int2, vehicleTrainMaximumWeight Int2, vehicleWeightUnladen Int2 } |
||
VehicleIdentificationNumber |
VehicleIdentificationNumber |
EfcModule |
CS5 |
||
ReceiptData2 |
ReceiptData2 |
EfcModule |
ReceiptData |
||
ReceiptData1 |
ReceiptData1 |
EfcModule |
ReceiptData |
||
RndOBE |
RndOBE |
PT21EN15509SecurityLevel1 |
BIT STRING (SIZE (32 ) ) |
||
AC_CR_Reference |
AC_CR_Reference |
PT21EN15509SecurityLevel1 |
SEQUENCE { ac_cr_masterkeyref AC_CR_MasterKeyRef, ac_cr_diversifier AC_CR_Diversifier } |
||
AC_CR_MasterKeyRef |
AC_CR_MasterKeyRef |
PT21EN15509SecurityLevel1 |
BIT STRING (SIZE (8 ) ) |
||
AC_CR_Diversifier |
AC_CR_Diversifier |
PT21EN15509SecurityLevel1 |
BIT STRING (SIZE (8 ) ) |
||
AccessCredentials |
AccessCredentials |
PT21EN15509SecurityLevel1 |
OCTET STRING (SIZE (4 ) ) |
||
Authenticator |
Authenticator |
PT21EN15509SecurityLevel1 |
OCTET STRING (SIZE (4 ) ) |
||
RndRSE |
RndRSE |
PT21EN15509SecurityLevel1 |
OCTET STRING (SIZE (4 ) ) |
||
VST_s1 |
VST_s1 |
PT21EN15509SecurityLevel1 |
SEQUENCE { fill BIT STRING (SIZE (4 ) ), profile Profile, applications_s1 ApplicationList_s1, obeConfiguration ObeConfiguration } |
||
Initialisation_Response_s1 |
Initialisation_Response_s1 |
PT21EN15509SecurityLevel1 |
VST_s1 |
||
ApplicationList_s1 |
ApplicationList_s1 |
PT21EN15509SecurityLevel1 |
SEQUENCE (SIZE (0..127 ) ) OF SEQUENCE { aid DSRCApplicationEntityID, eid Dsrc_EID OPTIONAL, parameter ApplicationContextMark_s1 } |
||
ApplicationContextMark_s1 |
ApplicationContextMark_s1 |
PT21EN15509SecurityLevel1 |
SEQUENCE { efccontextoctetstring OCTET STRING (SIZE (2 ) ), efccontext [32] EFC_ContextMark, accrreferenceoctetstring OCTET STRING (SIZE (2 ) ), accrreference AC_CR_Reference, rndobeoctetstring OCTET STRING (SIZE (2 ) ), rndobe RndOBE } |
Detailed Comments |
---|
Encoding Rule Name | Reference | Default | Comments |
---|
Detailed Comments |
---|
Operation Name | TSO_get_system_time |
---|---|
Result Type | Time |
Comments | Returns actual time in UNIX format |
Description |
---|
Detailed Comments |
---|
Operation Name | TSO_operator_acknowledge(text:TextString) |
---|---|
Result Type | BOOLEAN |
Comments |
Description |
---|
A text is prompted on what the operator has to observe or perform. Then the operator shall prompt with either: DONE (Result is TRUE) FAILED (Result is FALSE) |
Detailed Comments |
---|
Operation Name | TSO_random_pdu |
---|---|
Result Type | INTEGER |
Comments | Generates INTEGER number of an equal distribution in the valid range of pdu numbers, i.e. in the range [2 ... 15]. With every subsequent call of this funtion a new value shall be returned. |
Description |
---|
Pseudo random shift register with period of 15 and suppression of the values 0 and 1. First call shall initialize generator based on actual time. |
Detailed Comments |
---|
Operation Name | TSO_calc_accessCredentials(parameter:OCTETSTRING; accessKey:OCTETSTRING) |
---|---|
Result Type | AccessCredentials |
Comments | Calculates valid accessCredentials for a received vst |
Description |
---|
Detailed Comments |
---|
Operation Name | TSO_calc_Authenticator(rndRse:RndRSE;authenticatonKey:OCTETSTRING; attributeString:OCTETSTRING) |
---|---|
Result Type | Authenticator |
Comments | Calculates valid Authenticator using a RndRSE, AuthenticatonKey and an Attributelist as parameters in the test adapter |
Description |
---|
Detailed Comments |
---|
Operation Name | TSO_DeriveAuthenticationKey(authenticatonKey:OCTETSTRING; contextMark:OCTETSTRING; paymentMeans:Attributes) |
---|---|
Result Type | OCTETSTRING |
Comments | Calculates derived authentication key |
Description |
---|
Detailed Comments |
---|
Operation Name | TSO_IncreaseTransactionCounter(equipmentstatus:INTEGER) |
---|---|
Result Type | INTEGER |
Comments | Calculates the new EquipmentStatus field value with the Transactioncounter incremented by 1, using the Transactioncountervalue in the Equipmentstatus Attribute read from the DUT as parameter in the test adapter |
Description |
---|
Detailed Comments |
---|
Parameter Name | Type | PICS/PIXIT Ref | Comments |
---|---|---|---|
TSPC_BST_NMA_AID |
BOOLEAN |
PICS Table A.4/7 |
TRUE, if reception of nonmandApplications in BST is supported |
TSPC_I_KERNEL |
BOOLEAN |
PICS Table A.1/1 |
TRUE in case the I-Kernel is implemented |
TSPC_PROFILE_EN13372 |
BOOLEAN |
PICS clause E.4 |
TRUE, if EN 13372 is implemented |
TSPC_SEC1 |
BOOLEAN |
PICS Table §.§/§ |
True, if OBU supports security level 1 according to EN 15509 section 5.1.5.3 |
TSPX_ACTION_1_BC_init_Prompt |
TextString |
PIXIT Item C.7/1 |
Used in TC_AL_T_OBU_BV_11: Prompt for test operator to acknowledge performance of TSPX_ACTION_1_BC_init_req |
TSPX_ACTION_1_BC_init_req |
T_APDUs |
PIXIT Item C.7/2 |
Used in TC_AL_T_OBU_BV_11: ACTION command with FlowControl=1 and Mode=FALSE, send with BC LID after OBU initialized. Result of ACTION to be observable by test operator |
TSPX_ACTION_1_BC_Prompt |
TextString |
PIXIT Item C.7/3 |
Used in TC_AL_T_OBU_BV_12: Prompt for test operator to acknowledge performance of TSPX_ACTION_1_BC_req |
TSPX_ACTION_1_BC_req |
T_APDUs |
PIXIT Item C.7/4 |
Used in TC_AL_T_OBU_BV_12: ACTION command with FlowControl=1 and Mode=FALSE send with BC LID without OBU being initialized. Result of ACTION to be observable by test operator |
TSPX_ACTION_1_Prompt |
TextString |
PIXIT Item C.7/5 |
Used in TC_AL_T_OBU_BV_10: Prompt for test operator to acknowledge performance of TSPX_ACTION_1_req |
TSPX_ACTION_1_req |
T_APDUs |
PIXIT Item C.7/6 |
Used in TC_AL_T_OBU_BV_10: ACTION command with FlowControl=1 and Mode=FALSE. Result of ACTION to be observable by test operator |
TSPX_ACTION_4_Prompt |
TextString |
PIXIT Item C.7/7 |
Used in TC_AL_T_OBU_BV_09: Prompt for test operator to acknowledge performance of TSPX_ACTION_4_req |
TSPX_ACTION_4_req |
T_APDUs |
PIXIT Item C.7/8 |
Used in TC_AL_T_OBU_BV_09: ACTION command with FlowControl=4 and Mode=FALSE. Result of ACTION to be observable by test operator |
TSPX_ACTION_7_req |
T_APDUs |
PIXIT Item C.7/9 |
Used in TC_AL_T_OBU_BI_03 and TC_AL_T_OBU_BV_08: ACTION command with FlowControl=7 and Mode=TRUE |
TSPX_ACTION_7_rsp |
T_APDUs |
PIXIT Item C.7/10 |
ACTION response to TSPX_ACTION_7_req_s1 |
TSPX_APDU_7a_EIDa_req |
T_APDUs |
PIXIT Item C.7/11 |
Used in TC_AL_T_OBU_BI_03, TC_AL_T_OBU_BV_13 and TC_AL_T_OBU_BV_14 : APDU with FlowControl=7 and Mode=TRUE. |
TSPX_APDU_7a_EIDa_rsp |
T_APDUs |
PIXIT Item C.7/12 |
Response to TSPX_APDU_7a_EIDa_req. |
TSPX_APDU_7a_EIDb_req |
T_APDUs |
PIXIT Item C.7/11 |
Used in TC_AL_T_OBU_BI_03, TC_AL_T_OBU_BV_13 and TC_AL_T_OBU_BV_14 : APDU with FlowControl=7 and Mode=TRUE. |
TSPX_APDU_7a_EIDb_rsp |
T_APDUs |
PIXIT Item C.7/14 |
Response to TSPX_APDU_7a_EIDb_req. |
TSPX_APDU_7b_EIDa_req |
T_APDUs |
PIXIT Item C.7/15 |
Used in TC_AL_T_OBU_BV_14: APDU with FlowControl=7 and Mode=TRUE. |
TSPX_APDU_7b_EIDa_rsp |
T_APDUs |
PIXIT Item C.7/16 |
Response to TSPX_APDU_7b_EIDa_req. |
TSPX_APDU_7b_EIDb_req |
T_APDUs |
PIXIT Item C.7/17 |
Used in TC_AL_T_OBU_BV_14: APDU with FlowControl=7 and Mode=TRUE. |
TSPX_APDU_7b_EIDb_rsp |
T_APDUs |
PIXIT Item C.7/18 |
Response to TSPX_APDU_7b_EIDb_req. |
TSPX_APDU_chain_7_req |
T_S_APDU |
PIXIT Item C.7/19 |
Used in TC_AL_T_OBU_BV_16: Set of at least two concatenated and chained APDUs with FlowControl=7. No error expected. |
TSPX_APDU_chain_7_rsp |
T_S_APDU |
PIXIT Item C.7/20 |
Response to TSPX_APDU_chain_7_req. |
TSPX_APDU_chain_error_7_req |
T_S_APDU |
PIXIT Item C.7/21 |
Used in TC_AL_T_OBU_BI_06:: Sequence of at least two concatenated and chained APDUs with FlowControl=7, where one APDU is not applicable at the IUT causing a chaining error. |
TSPX_APDU_chain_error_7_rsp |
T_S_APDU |
PIXIT Item C.7/22 |
Response to TSPX_APDU_chain_7_req. Response shall contain a ReturnStatus not equal to noError, accessDenied or chainingError, corresponding to the erroneous APDU, and a ReturnStatus of chainingError corresponding to the valid, chained APDU. |
TSPX_attributes_1 |
Attributes |
PIXIT Item C.7/23 |
Used in TC_AL_T_OBU_BV_05: Attribute to be used in SET and GET with FlowControl=1 and TSPX_default_EID_1. |
TSPX_attributes_1_a |
Attributes |
PIXIT Item C.7/24 |
Used in TC_AL_T_OBU_BV_05: Attribute to be used in SET and GET with FlowControl=1and TSPX_default_EID_1. |
TSPX_attributes_4 |
Attributes |
PIXIT Item C.7/25 |
TC_AL_T_OBU_BV_04 Attribute to be used in SET and GET with FlowControl=4and TSPX_default_EID_4. |
TSPX_attributes_4_a |
Attributes |
PIXIT Item C.7/26 |
TC_AL_T_OBU_BV_04 Attribute to be used in SET and GET with FlowControl=4and TSPX_default_EID_4. |
TSPX_attributes_7 |
Attributes |
PIXIT Item C.7/27 |
Used in TC_AL_T_OBU_BV_01, TC_AL_T_OBU_BI_01, TC_AL_T_OBU_BV_02, TC_AL_T_OBU_BV_03: Attribute to be used in SET and GET with FlowControl=7and TSPX_default_EID_7. |
TSPX_attributes_7_a |
Attributes |
PIXIT Item C.7/28 |
Used in TC_AL_T_OBU_BI_01, TC_AL_T_OBU_BV_03: Attribute to be used in SET and GET with FlowControl=7 and TSPX_default_EID_7. |
TSPX_attributes_BC_1 |
Attributes |
PIXIT Item C.7/29 |
Used in TC_AL_T_OBU_BV_06 and TC_AL_T_OBU_BV_07: Attribute to be used in SET and GET with FlowControl=1and TSPX_default_EID_BC_1. BC address for SET. |
TSPX_attributes_BC_1_a |
Attributes |
PIXIT Item C.7/30 |
Used in TC_AL_T_OBU_BV_06 and TC_AL_T_OBU_BV_07: Attribute to be used in SET and GET with FlowControl=1 and TSPX_default_EID_BC_1. BC address for SET. |
TSPX_Default_applicationID |
DSRCApplicationEntityID |
PIXIT Item C.7/31 |
Declared value that will be acceptable for the IUT |
TSPX_default_eid_s0 |
Dsrc_EID |
PIXIT Item C.7/32 |
EID as used together with TSPX_attributes_1, TSPX_attributes_1_a |
TSPX_default_eid_s1 |
Dsrc_EID |
PIXIT Item C.7/32 |
EID as used together with TSPX_attributes_1, TSPX_attributes_1_a |
TSPX_default_eid_1 |
Dsrc_EID |
PIXIT Item C.7/32 |
EID as used together with TSPX_attributes_1, TSPX_attributes_1_a |
TSPX_default_eid_4 |
Dsrc_EID |
PIXIT Item C.7/33 |
EID as used together with TSPX_attributes_4, TSPX_attributes_4_a |
TSPX_default_eid_BC_1 |
Dsrc_EID |
PIXIT Item C.7/35 |
EID as used together with TSPX_attributes_BC_1, TSPX_attributes_BC_1_a |
TSPX_Default_profile |
Profile |
PIXIT Item C.7/36 |
Profile supported by OBU under test. |
TSPX_first_private_APDU_req |
T_APDUs |
PIXIT Item C.7/37 |
Used in STP_default_first_private_request: First APDU sent to OBU under test after reception of VST. |
TSPX_first_private_APDU_rsp |
T_APDUs |
PIXIT Item C.7/38 |
Response to TSPX_first_private_APDU_req. |
TSPX_first_private_FlowControl |
INTEGER |
PIXIT Item C.7/39 |
FlowControl used for transmission of TSPX_first_private_APDU_req. |
TSPX_IndividualID1 |
Integer_134217727 |
PIXIT Item C.7/40 |
Valid value as declared. |
TSPX_IndividualID2 |
Integer_134217727 |
PIXIT Item C.7/41 |
Valid value as declared. |
TSPX_ManufacturerID1 |
Integer_65535 |
PIXIT Item C.7/42 |
Valid manufacturerID of the OBU under test. |
TSPX_ManufacturerID2 |
Integer_65535 |
PIXIT Item C.7/43 |
Other manufacturerID. |
TSPX_profile_A |
Profile |
PIXIT Item C.7/44 |
This profile shall be supported by the OBU under test. |
TSPX_profile_B |
Profile |
PIXIT Item C.7/45 |
This profile shall be supported by the OBU under test. |
TSPX_profile_C |
Profile |
PIXIT Item C.7/46 |
This profile must not be supported by the OBU under test. |
TSPX_profile_D |
Profile |
PIXIT Item C.7/47 |
This profile must not be supported by the OBU under test. |
TSPX_Second_applicationID |
DSRCApplicationEntityID |
PIXIT Item C.7/48 |
Used in STP_two_apps_BST_VST: aid supported by the OBU under test. Should be different to TSPX_Default_applicationID. |
TSPX_Tref |
Time |
PIXIT Item C.7/49 |
Reference time for use in BST time handling test. Note: This is only reasonable in case the OBU under test retrieves time of reception ofa BST from the time element inside the BST. |
TSPX_TBlocked |
INTEGER |
PIXIT Item ???? |
Reference time delay to be inserted after OBU reached the BLOCKED state. New connections are not accepted in this state (during this time). This is an implementation specific parameter, no required by the base standard. The default value in line with the base standard is 0. The time is measured in seconds. |
TSPX_TWaitMMI |
INTEGER |
PIXIT Item ???? |
Reference time delay to be inserted after OBU reached the BLOCKED state. New connections are not accepted in this state (during this time). This is an implementation specific parameter, no required by the base standard. The default value in line with the base standard is 0. The time is measured in seconds. |
TSPX_Unsupported_applicationID_a |
DSRCApplicationEntityID |
PIXIT Item C.7/50 |
Used in TC_AL_I_OBU_BI_02 and TC_AL_I_OBU_BV_07: aid not supported by the OBU under test, and different to TSPX_Unsupported_applicationID_b |
TSPX_Unsupported_applicationID_b |
DSRCApplicationEntityID |
PIXIT Item C.7/51 |
Used in TC_AL_I_OBU_BI_02 and TC_AL_I_OBU_BV_07: aid not supported by the OBU under test, and different to TSPX_Unsupported_applicationID_a |
TSPX_wait_for_private_uplink_duration |
INTEGER |
PIXIT Item C.7/52 |
Duration of timer T_wait_for_private_uplink, in ms. Suggested value: 5ms. |
TSPX_wakeup_duration |
INTEGER |
PIXIT Item C.7/53 |
Duration of timer T_wakeup, in ms. Suggested vaule: 10ms. |
TSPX_attributes_inv |
Attributes |
PIXIT Item §.§/§ |
Used in TC_AP_0FUN_OBU_BV_17: invalid attribute not supported by OBU |
TSPX_inv_eid |
Dsrc_EID |
PIXIT Item §.§/§ |
invalid EID |
TSPX_SetMMIActionParameter |
INTEGER |
PIXIT Item §.§/§ |
valid Set_MMI ActionParameter |
TSPX_AuthKey1 |
OCTETSTRING |
PIXIT §.§/§ |
Valid derived AuthenticatonKey |
TSPX_AuthKey2 |
OCTETSTRING |
PIXIT §.§/§ |
Valid derived AuthenticatonKey |
TSPX_AuthKey3 |
OCTETSTRING |
PIXIT §.§/§ |
Valid derived AuthenticatonKey |
TSPX_AuthKey4 |
OCTETSTRING |
PIXIT §.§/§ |
Valid derived AuthenticatonKey |
TSPX_AuthKey5 |
OCTETSTRING |
PIXIT §.§/§ |
Valid derived AuthenticatonKey |
TSPX_AuthKey6 |
OCTETSTRING |
PIXIT §.§/§ |
Valid derived AuthenticatonKey |
TSPX_AuthKey7 |
OCTETSTRING |
PIXIT §.§/§ |
Valid derived AuthenticatonKey |
TSPX_AuthKey8 |
OCTETSTRING |
PIXIT §.§/§ |
Valid derived AuthenticatonKey |
TSPX_AuthKeyRef1 |
INTEGER |
PIXIT §.§/§ |
valid Authenticator Key Reference 1 |
TSPX_AuthKeyRef2 |
INTEGER |
PIXIT §.§/§ |
valid Authenticator Key Reference 2 |
TSPX_AuthKeyRef3 |
INTEGER |
PIXIT §.§/§ |
valid Authenticator Key Reference 3 |
TSPX_AuthKeyRef4 |
INTEGER |
PIXIT §.§/§ |
valid Authenticator Key Reference 4 |
TSPX_AuthKeyRef5 |
INTEGER |
PIXIT §.§/§ |
valid Authenticator Key Reference 5 |
TSPX_AuthKeyRef6 |
INTEGER |
PIXIT §.§/§ |
valid Authenticator Key Reference 6 |
TSPX_AuthKeyRef7 |
INTEGER |
PIXIT §.§/§ |
valid Authenticator Key Reference 7 |
TSPX_AuthKeyRef8 |
INTEGER |
PIXIT §.§/§ |
valid Authenticator Key Reference 8 |
TSPX_MAcKey |
OCTETSTRING |
PIXIT §.§/§ |
Value of master access key |
TSPX_AttributeIdList |
AttributeIdList |
PIXIT §.§/§ |
valid AttributeIdList |
TSPX_VehicleGroupList |
AttributeList |
PIXIT Item §.§/§ |
declared VehicleGroup attributeIds and -values |
TSPX_EquipmentGroupList |
AttributeList |
PIXIT Item §.§/§ |
declared EquipmentGroup attributeIds and -values |
TSPX_EquipmentGroupIdList |
AttributeIdList |
PIXIT Item §.§/§ |
declared EquipmentGroup attributeIds and -values |
TSPX_ReceiptDataGroupList |
AttributeList |
PIXIT Item §.§/§ |
declared ReceiptDataGroup attributeIds and -values |
TSPX_ReceiptDataGroupIdList |
AttributeIdList |
PIXIT Item §.§/§ |
declared ReceiptDataGroup attributeIds and -values |
TSPX_CardmeAttributeList |
AttributeList |
PIXIT Item §.§/§ |
Attributes to be written i CARDME-Transaction |
TSPX_attribute_PaymentMeans |
Attributes |
PIXIT Item §.§/§ |
declared PaymentMeans attributeId and -value |
TSPX_IndexOfApplUnderTest |
INTEGER |
PIXIT §.§/§ |
Number indicating the position of the EN15509 application under test in the VST |
TSPX_invAttributeIdList |
AttributeIdList |
PIXIT §.§/§ |
invalid AttributeIdList |
TSPX_invAuthKeyRef |
INTEGER |
PIXIT §.§/§ |
invalid Authenticator Key Reference |
TSPX_GetStampedList |
AttributeList |
PIXIT §.§/§ |
vaild Attributes returned by GET_STAMPED_req using TSPX_AttributeIdList |
TSPX_inv3_Equipmentstatus |
Attributes |
PIXIT Item §.§/§ |
declared invalid EquipmentStatuslist with valid attributeId and invalud value of lenght=3 octets |
TSPX_inv27_ReceiptData1 |
Attributes |
PIXIT Item §.§/§ |
declared invalid ReceiptData1list with valid attributeId and invalud value of lenght=27 octets |
TSPX_inv29_ReceiptData1 |
Attributes |
PIXIT Item §.§/§ |
declared invalid ReceiptData1list with valid attributeId and invalud value of lenght=29 octets |
TSPX_inv27_ReceiptData2 |
Attributes |
PIXIT Item §.§/§ |
declared invalid ReceiptData2list with valid attributeId and invalud value of lenght=27 octets |
TSPX_inv29_ReceiptData2 |
Attributes |
PIXIT Item §.§/§ |
declared invalid ReceiptData2list with valid attributeId and invalud value of lenght=29 octets |
Detailed Comments |
---|
Expression Name | Selection Expression | Comments |
---|---|---|
SEL_PROFILES_EN12834 |
TSPC_I_KERNEL AND (NOT TSPC_PROFILE_EN13372) |
True if profiles according to EN 13372 are not implemented, but base standard EN 12834 is implemented. |
SEL_I_KERNEL |
TSPC_I_KERNEL |
True in case I-Kernel is implemented. Independent of whether EN 12273 is implemented or not |
SEL_MANDATORY |
TRUE |
For all mandatory tests. |
SEL_PROFILE_EN13372 |
TSPC_PROFILE_EN13372 |
True only in case profiles 0 and 1 according to EN 13372 are implemented |
SEL_NONMAND_APPS |
TSPC_BST_NMA_AID AND TSPC_I_KERNEL |
TRUE, if reception of nonmandApplications in BST is supported |
SEL_SEC1 |
TSPC_SEC1 |
True, if OBU supports security level 1 according to EN 15509 section 5.1.5.3 |
Detailed Comments |
---|
Constant Name | Type | Value | Comments |
---|---|---|---|
TSC_ActionType_ECHO |
ActionType |
15 |
Action type from CEN/ISO14906 indicating the ECHO service |
TSC_BC_LID |
Lid |
{ lid_value 127, lid_private FALSE } |
Broadcast LID |
TSC_EventType_RELEASE |
EventType |
0 |
Event-report type from CEN/ISO14906 indicating the RELEASE-command |
TSC_System_EID |
Dsrc_EID |
0 |
EID value referring to the OBU system application |
TSC_Profile_0 |
Profile |
0 |
Profile 0 |
TSC_Profile_1 |
Profile |
1 |
Profile 1 |
TSC_ActionType_SetMMI |
ActionType |
10 |
Action type from CEN/ISO14906 indicating the SetMMI service |
TSC_ActionType_GET_STAMPED |
ActionType |
0 |
Action type from CEN/ISO14906 indicating the GET_STAMPED service |
TSC_nonce_1 |
OCTETSTRING |
'00000001'O |
forces nonce to value=1 |
TSC_nonce_2 |
OCTETSTRING |
'00000002'O |
forces nonce to value=2 |
TSC_nonce_3 |
OCTETSTRING |
'00000003'O |
forces nonce to value=3 |
TSC_nonce_4 |
OCTETSTRING |
'00000004'O |
forces nonce to value=4 |
TSC_nonce_5 |
OCTETSTRING |
'00000005'O |
forces nonce to value=5 |
TSC_nonce_6 |
OCTETSTRING |
'00000006'O |
forces nonce to value=6 |
TSC_nonce_7 |
OCTETSTRING |
'00000007'O |
forces nonce to value=7 |
TSC_nonce_8 |
OCTETSTRING |
'00000008'O |
forces nonce to value=8 |
TSC_AttrIdList_Vehicle_group |
AttributeIdList |
{16, 17, 18, 19, 20, 22} |
AttrIDList for EN15509 Vehicle group attributes |
TSC_AttrID_VehicleLicensePlateNumber |
AttributeIdList |
{16} |
AttrID of VehicleLicensePlateNumber |
TSC_AttrID_VehicleClass |
AttributeIdList |
{17} |
AttrID of VehicleLicensePlateNumber |
TSC_AttrID_VehicleDimensions |
AttributeIdList |
{18} |
AttrID of VehicleLicensePlateNumber |
TSC_AttrID_VehicleAxles |
AttributeIdList |
{19} |
AttrID of VehicleLicensePlateNumber |
TSC_AttrID_VehicleWeightLimits |
AttributeIdList |
{20} |
AttrID of VehicleLicensePlateNumber |
TSC_AttrID_VehicleSpecificCharacteristics |
AttributeIdList |
{22} |
AttrID of VehicleLicensePlateNumber |
TSC_AttrIdList_Equipment_group |
AttributeIdList |
{24, 26} |
AttrIDList for EN15509 Equipment group attributes |
TSC_AttrIdList_CARDME |
AttributeIdList |
{16, 17, 26, 33, 34} |
AttrIDList for CARDME Transaction {16, 17, 26, 33, 34} |
TSC_AttrID_EquipmentOBUId |
AttributeIdList |
{24} |
AttrID of EuipmentOBUId |
TSC_AttrID_EquipmentStatus |
AttributeIdList |
{26} |
AttrID of EquipmentStatus |
TSC_AttrIdList_ReceiptData_group |
AttributeIdList |
{33, 34} |
AttrIDList for EN15509 ReceiptData group attributes |
TSC_AttrID_ReceiptData1 |
AttributeIdList |
{33} |
AttrID of ReceiptData1 |
TSC_AttrID_ReceiptData2 |
AttributeIdList |
{34} |
AttrID of ReceiptData2 |
TSC_AttrIdList_PaymentMeans |
AttributeIdList |
{32} |
AttrID of PaymentMeans |
Detailed Comments |
---|
Constant Name | Type | Value Reference | Module Identifier | Comments | Value |
---|
Detailed Comments |
---|
Variable Name | Type | Value | Comments |
---|
Detailed Comments |
---|
Variable Name | Type | Value | Comments |
---|---|---|---|
TCV_LoopCounter |
INTEGER |
Used to control the number of repetitions in a testcase loop |
|
TCV_attribute_list |
AttributeList |
||
TCV_attribute_string |
OCTETSTRING |
||
TCV_boolean |
BOOLEAN |
Variable of type boolean |
|
TCV_default_echo_response_received |
BOOLEAN |
Variable that is used by the test step library function STP_default_echo_request. - The variable will be set to TRUE if an echo_response is received - Tha variable will be set to FALSE is a timeout occurs |
|
TCV_first_eid |
Dsrc_EID |
EID as reported in VST for first (default) application |
|
TCV_first_response_received |
BOOLEAN |
Variable that is used by the test step library function STP_default_first_private_request. - The variable will be set to TRUE if a first_private_response is received - Tha variable will be set to FALSE if a timeout occurs |
|
TCV_previous_session_lid |
Lid |
Variable that holds the LID for the current transaction sequence. The LID is retrieved from the VST received during the initialization sequence. |
|
TCV_return_status |
ReturnStatus |
||
TCV_second_eid |
Dsrc_EID |
EID as reported in VST for second application |
|
TCV_session_lid |
Lid |
Variable that holds the LID for the current transaction sequence. The LID is retrieved from the VST received during the initialization sequence. |
|
TCV_accessCredentials |
AccessCredentials |
Test case variable for accessCredentials (calculated by test adapter) |
|
TCV_VST_s1 |
T_APDU |
VST_s1 extracted from INIT_RSP |
|
TCV_VST_Parameter |
OCTETSTRING |
Parameter extracted from INIT_RSP ApplicationContextMark |
|
TCV_VST_Parameters |
VST_Parameters |
||
TCV_AC_CR_Diversifier |
AC_CR_Diversifier |
Test case variable for the AC_CR_Diversifier read out of the VST_s1 |
|
TCV_AC_CR_MasterKeyRef |
AC_CR_MasterKeyRef |
Test case variable for the AC_CR_Diversifier read out of the VST_s1 |
|
TCV_RndOBE |
RndOBE |
Test case variable for the RndOBE read out of the VST_s1 |
|
TCV_Authenticator_calc |
Authenticator |
TC variable Authenticator to store Authenticator calculated by the tester in the adapter |
|
TCV_Authenticator_DUT |
Authenticator |
TC variable Authenticator to store Authenticator calculated by the DUT |
|
TCV_Equipmentstatus_rec |
EquipmentStatus |
variable to store the value of the Equipmentstatus attribute when read from the OBU |
|
TCV_Equipmentstatus_inc |
EquipmentStatus |
variable to store the value of the Equipmentstatus attribute after incrementing the Transactioncounter by 1 |
|
TCV_ReceiptData_rec1 |
AttributeList |
variable to store the value of the Receiptdata attributes when read the first time |
|
TCV_ReceiptData_upd |
AttributeList |
variable to store the value of the Receiptdata attributes after updating them in the test adapter |
|
TCV_ReceiptData_rec2 |
AttributeList |
variable to store the value of the Receiptdata attributes when read after the update |
Detailed Comments |
---|
PCO Type | Role | Comments |
---|---|---|
TSAP |
LT |
SAP offered by T-Kernel to B-Kernel, I-Kernel and Application |
Detailed Comments |
---|
PCO Name | PCO Type | Role | Comments |
---|---|---|---|
TPCO1 |
TSAP |
LT |
Between T-Kernel encoding/decoding function and rest of application layer above |
Detailed Comments |
---|
CP Name | Comments |
---|
Detailed Comments |
---|
Timer Name | Duration | Unit | Comments |
---|---|---|---|
T_wait_for_private_uplink |
TSPX_wait_for_private_uplink_duration |
ms |
Suggested value: 5ms. |
T_wakeup |
TSPX_wakeup_duration |
ms |
A timer that will expire after expected maximum time from transmitting the BST to receiving the VST. Suggested value: 10ms. |
T_256 |
256 |
s |
Beacon Time-out according to EN 12834 |
T_blocked |
TSPX_TBlocked |
s |
Reference time delay to be inserted after OBU reached the BLOCKED state. New connections are not accepted in this state (during this time). This is an implementation specific parameter, no required by the base standard. The default value in line with the base standard is 0. |
T_wait_beep_finished |
TSPX_TWaitMMI |
s |
Reference time delay to be inserted after OBU reached the BLOCKED state. New connections are not accepted in this state (during this time). This is an implementation specific parameter, no required by the base standard. The default value in line with the base standard is 0. |
Detailed Comments |
---|
Component Name | Component Role | Nr PCOs | Nr CPs | Comments |
---|
Detailed Comments |
---|
ASP Name | ASGE_REQ |
---|---|
PCO Type | TSAP |
Comments | ASP for GET, SET, ACTION and EVENT-REPORT without concatenation |
Parameter Name | Parameter Type | Comments |
---|---|---|
LID |
Lid |
Private Link Identifier |
FLOW_CONTROL |
INTEGER |
Must be 4 or 7 |
ASGE_PARAM |
T_APDU |
|
FH_PDU |
INTEGER |
Fragmentation Header PDU Number field. Value outside of the allowed range indicates: use internal rule for setting this field. |
FH_FC |
INTEGER |
Fragmentation Header Fragment Counter field. Value outside of the allowed range indicates: use internal rule for setting this field. |
Detailed Comments |
---|
ASP Name | ASGE_RSP |
---|---|
PCO Type | TSAP |
Comments | ASP for GET, SET, ACTION and EVENT-REPORT without concatenation |
Parameter Name | Parameter Type | Comments |
---|---|---|
LID |
Lid |
Link Identifier |
FLOW_CONTROL |
INTEGER |
Must be 4 or 7 |
ASGE_PARAM |
T_APDU |
|
FH_PDU |
INTEGER |
Fragmentation Header PDU Number field. Value outside of the allowed range indicates: use internal rule for setting this field. |
FH_FC |
INTEGER |
Fragmentation Header Fragment Counter field. Value outside of the allowed range indicates: use internal rule for setting this field. |
Detailed Comments |
---|
ASP Name | CONCAT_REQ |
---|---|
PCO Type | TSAP |
Comments | ASP for GET, SET, ACTION and EVENT-REPORT with concatenation and optional chaining |
Parameter Name | Parameter Type | Comments |
---|---|---|
LID |
Lid |
Private Link Identifier |
CHAINING |
BOOLEAN |
|
FLOW_CONTROL |
INTEGER |
|
ASGE_PARAM |
T_S_APDU |
Sequence of Message (PDU) |
Detailed Comments |
---|
ASP Name | CONCAT_RSP |
---|---|
PCO Type | TSAP |
Comments | ASP for GET, SET, ACTION and EVENT-REPORT with concatenation and optional chaining |
Parameter Name | Parameter Type | Comments |
---|---|---|
LID |
Lid |
Private Link Identifier |
CHAINING |
BOOLEAN |
|
FLOW_CONTROL |
INTEGER |
|
ASGE_PARAM |
T_S_APDU |
Sequence of Message (PDU) |
Detailed Comments |
---|
ASP Name | INIT_REQ |
---|---|
PCO Type | TSAP |
Comments | ASP for INITIALISATION |
Parameter Name | Parameter Type | Comments |
---|---|---|
LID |
Lid |
Should be 127 for Initialisation |
FLOW_CONTROL |
INTEGER |
|
Init_Param |
T_APDU |
|
FH_PDU |
INTEGER |
Fragmentation Header PDU Number field. Value outside of the allowed range indicates: use internal rule for setting this field. |
FH_FC |
INTEGER |
Fragmentation Header Fragment Counter field. Value outside of the allowed range indicates: use internal rule for setting this field. |
Detailed Comments |
---|
ASP Name | INIT_RSP |
---|---|
PCO Type | TSAP |
Comments | ASP for INITIALISATION |
Parameter Name | Parameter Type | Comments |
---|---|---|
LID |
Lid |
The correct values are in the range of 0..268435455 |
FLOW_CONTROL |
INTEGER |
|
Init_Param |
T_APDU |
|
FH_PDU |
INTEGER |
Fragmentation Header PDU Number field. Value outside of the allowed range indicates: use internal rule for setting this field. |
FH_FC |
INTEGER |
Fragmentation Header Fragment Counter field. Value outside of the allowed range indicates: use internal rule for setting this field. |
Detailed Comments |
---|
ASP Name | PCO Type | Type Reference | Module Identifier | Comments | Type Definition |
---|
Detailed Comments |
---|
PDU Name | T_S_APDU |
---|---|
PCO Type | |
Encoding Rule Name | |
Encoding Variation | |
Comments |
Type Definition |
---|
SEQUENCE OF T_APDU |
Detailed Comments |
---|
PDU Name | PCO Type | Type Reference | Module Identifier | Enc Rule | Enc Variation | Comments | Type Definition |
---|---|---|---|---|---|---|---|
T_APDU |
TSAP |
Message |
DSRCtransferData |
T_APDUs |
Detailed Comments |
---|
Alias Name | Expansion | Comments |
---|
Detailed Comments |
---|
Constraint Name | cts_any_private_LID |
---|---|
Group | |
ASN1 Type | Lid |
Derivation Path | |
Encoding Variation | |
Comments | Used to receive a private frame from any OBU |
Constraint Value |
---|
{ lid_value (1..268435455), lid_private TRUE } |
Detailed Comments |
---|
Constraint Name | cts_beaconID1_1 |
---|---|
Group | |
ASN1 Type | BeaconID |
Derivation Path | |
Encoding Variation | |
Comments | A BeaconID for use in the BST |
Constraint Value |
---|
{ manufacturerid TSPX_ManufacturerID1, individualid TSPX_IndividualID1 } |
Detailed Comments |
---|
Constraint Name | cts_beaconID2_1 |
---|---|
Group | |
ASN1 Type | BeaconID |
Derivation Path | |
Encoding Variation | |
Comments | A BeaconID for use in the BST |
Constraint Value |
---|
{ manufacturerid TSPX_ManufacturerID2, individualid TSPX_IndividualID1 } |
Detailed Comments |
---|
Constraint Name | cts_beaconID2_2 |
---|---|
Group | |
ASN1 Type | BeaconID |
Derivation Path | |
Encoding Variation | |
Comments | A BeaconID for use in the BST |
Constraint Value |
---|
{ manufacturerid TSPX_ManufacturerID2, individualid TSPX_IndividualID2 } |
Detailed Comments |
---|
Constraint Name | cts_broadcast_LID |
---|---|
Group | |
ASN1 Type | Lid |
Derivation Path | |
Encoding Variation | |
Comments | This is the "broadcast to all" LID value. Used to transmit the BST |
Constraint Value |
---|
{ lid_value 127, lid_private FALSE } |
Detailed Comments |
---|
Constraint Name | cts_vst_applist(appId:DSRCApplicationEntityID) |
---|---|
Group | |
ASN1 Type | ApplicationList |
Derivation Path | |
Encoding Variation | |
Comments |
Constraint Value |
---|
{ { aid appId, eid *, parameter * }, * } |
Detailed Comments |
---|
Constraint Name | cts_vst_applist_s1(appId:DSRCApplicationEntityID; elementId:Dsrc_EID) |
---|---|
Group | |
ASN1 Type | ApplicationList |
Derivation Path | |
Encoding Variation | |
Comments |
Constraint Value |
---|
{ *, { aid appId, eid elementId, parameter octetstring : '??????0202??0204????'O }, * } |
Detailed Comments |
---|
Constraint Name | cts_VehicleLicensePlateNumber |
---|---|
Group | |
ASN1 Type | AttributeList |
Derivation Path | |
Encoding Variation | |
Comments |
Constraint Value |
---|
{ { attributeId 16, attributeValue vehlpn : { countryCode '1010010000'B , alphabetIndicator latinAlphabetNo1, licencePlateNumber '4F43443536300000000000000000'O } } } |
Detailed Comments |
---|
Constraint Name | cts_VehicleClass |
---|---|
Group | |
ASN1 Type | AttributeList |
Derivation Path | |
Encoding Variation | |
Comments |
Constraint Value |
---|
{ { attributeId 17, attributeValue vehclass : 0 } } |
Detailed Comments |
---|
Constraint Name | cts_VehicleDimensions |
---|---|
Group | |
ASN1 Type | AttributeList |
Derivation Path | |
Encoding Variation | |
Comments |
Constraint Value |
---|
{ { attributeId 18, attributeValue vehdims : { vehicleLengthOverall 0 , vehicleHeigthOverall 0 , vehicleWidthOverall 0 } } } |
Detailed Comments |
---|
Constraint Name | cts_VehicleAxles |
---|---|
Group | |
ASN1 Type | AttributeList |
Derivation Path | |
Encoding Variation | |
Comments |
Constraint Value |
---|
{ { attributeId 19, attributeValue vehaxles : { vehicleFirstAxleHeight 0 , vehicleAxlesNumber { tyreType notSpecified, numberOfAxles 0 } } } } |
Detailed Comments |
---|
Constraint Name | cts_VehicleWeightLimits |
---|---|
Group | |
ASN1 Type | AttributeList |
Derivation Path | |
Encoding Variation | |
Comments |
Constraint Value |
---|
{ { attributeId 20, attributeValue vehwtlims: { vehicleMaxLadenWeight 0 , vehicleTrainMaximumWeight 0 , vehicleWeightUnladen 0 } } } |
Detailed Comments |
---|
Constraint Name | cts_VehicleSpecificCharacteristics |
---|---|
Group | |
ASN1 Type | AttributeList |
Derivation Path | |
Encoding Variation | |
Comments |
Constraint Value |
---|
{ { attributeId 22, attributeValue vehspchars: { environmentalCharacteristics { euroValue noEntry, copValue noEntry} , engineCharacteristics 0 , descriptiveCharacteristics 0 , futureCharacteristics 0 } } } |
Detailed Comments |
---|
Constraint Name | cts_EquipmentStatus(value:BITSTRING) |
---|---|
Group | |
ASN1 Type | AttributeList |
Derivation Path | |
Encoding Variation | |
Comments |
Constraint Value |
---|
{ { attributeId 26, attributeValue equstat :value } } |
Detailed Comments |
---|
Constraint Name | cts_EquipmentOBUId |
---|---|
Group | |
ASN1 Type | AttributeList |
Derivation Path | |
Encoding Variation | |
Comments |
Constraint Value |
---|
{ { attributeId 24, attributeValue equOBUId: '0400000000'O } } |
Detailed Comments |
---|
Constraint Name | casp_asge_req (lid : Lid ; fl_ctrl : INTEGER ; tapdu : T_APDU ; fh_pdu : INTEGER ; fh_fc : INTEGER) |
---|---|
Group | |
ASP Type | ASGE_REQ |
Derivation Path | |
Comments |
Parameter Name | Parameter Value | Comments |
---|---|---|
LID |
lid |
private |
FLOW_CONTROL |
fl_ctrl |
|
ASGE_PARAM |
tapdu |
GET, SET, ACTION, EVENT_REPORT |
FH_PDU |
fh_pdu |
Fragmentation Header PDU Number field. Value outside of the allowed range indicates: use internal rule for setting this field. |
FH_FC |
fh_fc |
Fragmentation Header Fragment Counter field. Value outside of the allowed range indicates: use internal rule for setting this field. |
Detailed Comments |
---|
Constraint Name | casp_asge_rsp (lid : Lid ; fl_ctrl : INTEGER ; tapdu : T_APDU ; fh_pdu : INTEGER ; fh_fc : INTEGER ) |
---|---|
Group | |
ASP Type | ASGE_RSP |
Derivation Path | |
Comments |
Parameter Name | Parameter Value | Comments |
---|---|---|
LID |
lid |
|
FLOW_CONTROL |
fl_ctrl |
|
ASGE_PARAM |
tapdu |
GET, SET, ACTION, EVENT_REPORT |
FH_PDU |
fh_pdu |
Fragmentation Header PDU Number field. Value outside of the allowed range indicates: use internal rule for setting this field. |
FH_FC |
fh_fc |
Fragmentation Header Fragment Counter field. Value outside of the allowed range indicates: use internal rule for setting this field. |
Detailed Comments |
---|
Constraint Name | casp_concat_req (lid : Lid ; chain : BOOLEAN ; fl_ctrl : INTEGER ; tapdu : T_S_APDU) |
---|---|
Group | |
ASP Type | CONCAT_REQ |
Derivation Path | |
Comments |
Parameter Name | Parameter Value | Comments |
---|---|---|
LID |
lid |
private |
CHAINING |
chain |
|
FLOW_CONTROL |
fl_ctrl |
|
ASGE_PARAM |
tapdu |
GET, SET, ACTION, EVENT_REPORT |
Detailed Comments |
---|
Constraint Name | casp_concat_rsp (lid : Lid ; chain : BOOLEAN ; fl_ctrl : INTEGER ; tapdu : T_S_APDU ) |
---|---|
Group | |
ASP Type | CONCAT_RSP |
Derivation Path | |
Comments |
Parameter Name | Parameter Value | Comments |
---|---|---|
LID |
lid |
|
CHAINING |
chain |
|
FLOW_CONTROL |
fl_ctrl |
|
ASGE_PARAM |
tapdu |
GET, SET, ACTION, EVENT_REPORT |
Detailed Comments |
---|
Constraint Name | casp_init_req (lid : Lid; fl_ctrl : INTEGER ; bst : T_APDU ; fh_pdu : INTEGER ; fh_fc : INTEGER) |
---|---|
Group | |
ASP Type | INIT_REQ |
Derivation Path | |
Comments |
Parameter Name | Parameter Value | Comments |
---|---|---|
LID |
lid |
|
FLOW_CONTROL |
fl_ctrl |
|
Init_Param |
bst |
|
FH_PDU |
fh_pdu |
Fragmentation Header PDU Number field. Value outside of the allowed range indicates: use internal rule for setting this field. |
FH_FC |
fh_fc |
Fragmentation Header Fragment Counter field. Value outside of the allowed range indicates: use internal rule for setting this field. |
Detailed Comments |
---|
Constraint Name | casp_init_rsp(lid : Lid ; fl_ctrl: INTEGER ; vst : T_APDU ; fh_pdu : INTEGER ; fh_fc : INTEGER ) |
---|---|
Group | |
ASP Type | INIT_RSP |
Derivation Path | |
Comments | This constraint will accept any valid VST |
Parameter Name | Parameter Value | Comments |
---|---|---|
LID |
lid |
|
FLOW_CONTROL |
fl_ctrl |
|
Init_Param |
vst |
|
FH_PDU |
fh_pdu |
Fragmentation Header PDU Number field. Value outside of the allowed range indicates: use internal rule for setting this field. |
FH_FC |
fh_fc |
Fragmentation Header Fragment Counter field. Value outside of the allowed range indicates: use internal rule for setting this field. |
Detailed Comments |
---|
Constraint Name | cpdu_BST(beaconid : BeaconID ; t : Time ; prof : Profile ; apps : ApplicationList ; nmapps : ApplicationList ; prof_list : Profile_List) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | Default BST that will be recognized by the OBU under test |
Constraint Value |
---|
initialisation_request : { rsu beaconid , time t, profile prof, mandApplications apps, nonmandApplications nmapps, profileList prof_list } |
Detailed Comments |
---|
Constraint Name | cpdu_VST(prof : Profile ; apps : ApplicationList ; conf : ObeConfiguration) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments |
Constraint Value |
---|
initialisation_response : { fill ?, profile prof, applications apps, obeConfiguration conf } |
Detailed Comments |
---|
Constraint Name | cpdu_any_echo_rsp |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | Any valid echo response |
Constraint Value |
---|
action_response: { fill ?, eid ?, iid ?, responseParameter ?, ret * } |
Detailed Comments |
---|
Constraint Name | cpdu_default_echo_req |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | Echo request containing an empty OCTET STRING |
Constraint Value |
---|
action_request: { mode TRUE, eid TSC_System_EID, actionType TSC_ActionType_ECHO, accessCredentials - , actionParameter octetstring:''O, iid - } |
Detailed Comments |
---|
Constraint Name | cpdu_get_req(session_eid : Dsrc_EID ; attribute_id_list : AttributeIdList) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | GET.request without accessCredentials |
Constraint Value |
---|
get_request: { fill '0'B, eid session_eid, accessCredentials -, iid -, attrIdList attribute_id_list } |
Detailed Comments |
---|
Constraint Name | cpdu_get_rsp_ret0(session_eid : Dsrc_EID) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | GET response |
Constraint Value |
---|
get_response: { fill ?, eid session_eid, iid -, attributelist ?, ret 0 IF_PRESENT } |
Detailed Comments |
---|
Constraint Name | cpdu_release_req |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | Release command |
Constraint Value |
---|
event_report_request: { mode FALSE, eid TSC_System_EID, eventType TSC_EventType_RELEASE, accessCredentials - , eventParameter -, iid - } |
Detailed Comments |
---|
Constraint Name | cpdu_set_req(session_eid : Dsrc_EID ; session_mode : BOOLEAN ; attribute_list : AttributeList) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | SET.request without accessCredentials |
Constraint Value |
---|
set_request: { fill '0'B, mode session_mode, eid session_eid, accessCredentials -, attrList attribute_list, iid - } |
Detailed Comments |
---|
Constraint Name | cpdu_set_rsp(session_eid : Dsrc_EID ; ret_ : ReturnStatus) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | Set response |
Constraint Value |
---|
set_response: { fill ?, eid session_eid, iid -, ret ret_ } |
Detailed Comments |
---|
Constraint Name | cpdu_get_rsp(session_eid : Dsrc_EID ; ret_ : ReturnStatus) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | GET response |
Constraint Value |
---|
get_response: { fill ?, eid session_eid, iid -, attributelist *, ret ret_ } |
Detailed Comments |
---|
Constraint Name | cpdu_set_rsp_ret0(session_eid : Dsrc_EID) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | Set response |
Constraint Value |
---|
set_response: { fill ?, eid session_eid, iid -, ret 0 IF_PRESENT } |
Detailed Comments |
---|
Constraint Name | cpdu_default_SetMMI_req |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | SetMMI request |
Constraint Value |
---|
action_request: { mode TRUE, eid TSC_System_EID, actionType TSC_ActionType_SetMMI, accessCredentials - , actionParameter integer: TSPX_SetMMIActionParameter, iid - } |
Detailed Comments |
---|
Constraint Name | cpdu_invalid_SetMMI_req |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | SetMMI request |
Constraint Value |
---|
action_request: { mode TRUE, eid TSC_System_EID, actionType TSC_ActionType_SetMMI, accessCredentials - , actionParameter octetstring: '01'O, iid - } |
Detailed Comments |
---|
Constraint Name | cpdu_ok_SetMMI_rsp |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | Any valid SetMMI response indicating "ok" |
Constraint Value |
---|
action_response: { fill ?, eid ?, iid -, responseParameter -, ret 0 IF_PRESENT } |
Detailed Comments |
---|
Constraint Name | cpdu_any_SetMMI_rsp |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | Any valid SetMMI response |
Constraint Value |
---|
action_response: { fill ?, eid ?, iid ?, responseParameter ?, ret * } |
Detailed Comments |
---|
Constraint Name | cpdu_default_echo_rsp |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | default valid ECHO response containing an empty octetstring |
Constraint Value |
---|
action_response: { fill ?, eid ?, iid -, responseParameter octetstring:''O, ret * } |
Detailed Comments |
---|
Constraint Name | cpdu_ok_get_stamped_rsp(session_eid : Dsrc_EID) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | valid GET_STAMPED response indicating "ok" |
Constraint Value |
---|
action_response: { fill ?, eid session_eid, iid -, responseParameter gstrs : { attributeList ?, authenticator '????'O, attributeString ? }, ret 0 IF_PRESENT } |
Detailed Comments |
---|
Constraint Name | cpdu_VST_s1(prof : Profile; appId:DSRCApplicationEntityID; eid:Dsrc_EID; conf : ObeConfiguration) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments |
Constraint Value |
---|
initialisation_response : { fill ?, profile prof, applications cts_vst_applist_s1(appId, eid), obeConfiguration conf } |
Detailed Comments |
---|
Constraint Name | cpdu_default_echo_req_s1(AC_CR:AccessCredentials) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | Echo request containing an empty OCTET STRING |
Constraint Value |
---|
action_request: { mode TRUE, eid TSC_System_EID, actionType TSC_ActionType_ECHO, accessCredentials AC_CR, actionParameter octetstring:''H, iid - } |
Detailed Comments |
---|
Constraint Name | cpdu_BST1(beaconid : BeaconID ; t : Time ; apps : ApplicationList) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | Default BST that will be recognized by the OBU under test |
Constraint Value |
---|
initialisation_request : { rsu beaconid , time t, profile 0, mandApplications apps, profileList {0} } |
Detailed Comments |
---|
Constraint Name | cpdu_get_req_s1(session_eid : Dsrc_EID ; accr : AccessCredentials ; attribute_id_list : AttributeIdList) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | GET.request with accessCredentials |
Constraint Value |
---|
get_request: { fill '0'B, eid session_eid, accessCredentials accr, iid -, attrIdList attribute_id_list } |
Detailed Comments |
---|
Constraint Name | cpdu_set_req_s1(session_eid : Dsrc_EID ; session_mode : BOOLEAN ; accr : AccessCredentials ; attribute_list : AttributeList) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | SET.request without accessCredentials |
Constraint Value |
---|
set_request: { fill '0'B, mode session_mode, eid session_eid, accessCredentials accr, attrList attribute_list, iid - } |
Detailed Comments |
---|
Constraint Name | cpdu_nok_GET_STAMPED_rsp |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | valid GET_STAMPED response indicating "not ok" |
Constraint Value |
---|
action_response: { fill ?, eid ?, iid -, responseParameter *, ret (1,2,3,4,5,6) } |
Detailed Comments |
---|
Constraint Name | cpdu_noconf_SetMMI_req |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | SetMMI request |
Constraint Value |
---|
action_request: { mode FALSE, eid TSC_System_EID, actionType TSC_ActionType_SetMMI, accessCredentials - , actionParameter integer: TSPX_SetMMIActionParameter, iid - } |
Detailed Comments |
---|
Constraint Name | cpdu_nok_SetMMI_rsp |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | SetMMI response indicating "not ok" |
Constraint Value |
---|
action_response: { fill ?, eid ?, iid -, responseParameter *, ret (1,2,3,4,5,6) } |
Detailed Comments |
---|
Constraint Name | cpdu_noconf_echo_req |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | Echo request containing an empty OCTET STRING |
Constraint Value |
---|
action_request: { mode FALSE, eid TSC_System_EID, actionType TSC_ActionType_ECHO, accessCredentials - , actionParameter octetstring:''H, iid - } |
Detailed Comments |
---|
Constraint Name | cpdu_nok_echo_rsp |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | Any valid echo response |
Constraint Value |
---|
action_response: { fill ?, eid ?, iid -, responseParameter -, ret (1,2,3,4,5,6) } |
Detailed Comments |
---|
Constraint Name | cpdu_inv_echo_req |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | Echo request containing an invalid actionParameter |
Constraint Value |
---|
action_request: { mode TRUE, eid TSC_System_EID, actionType TSC_ActionType_ECHO, accessCredentials - , actionParameter integer: 1, iid - } |
Detailed Comments |
---|
Constraint Name | cpdu_noconf_SetMMI_req_s1(AC_CR:AccessCredentials) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | SetMMI request |
Constraint Value |
---|
action_request: { mode FALSE, eid TSC_System_EID, actionType TSC_ActionType_SetMMI, accessCredentials AC_CR, actionParameter integer: TSPX_SetMMIActionParameter, iid - } |
Detailed Comments |
---|
Constraint Name | cpdu_noconf_echo_req_s1(AC_CR:AccessCredentials) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | Echo request containing an empty OCTET STRING |
Constraint Value |
---|
action_request: { mode FALSE, eid TSC_System_EID, actionType TSC_ActionType_ECHO, accessCredentials AC_CR, actionParameter octetstring:''H, iid - } |
Detailed Comments |
---|
Constraint Name | cpdu_inv_echo_req_s1(AC_CR:AccessCredentials) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | Echo request containing an invalid actionParameter |
Constraint Value |
---|
action_request: { mode TRUE, eid TSC_System_EID, actionType TSC_ActionType_ECHO, accessCredentials AC_CR, actionParameter integer: 1, iid - } |
Detailed Comments |
---|
Constraint Name | cpdu_default_SetMMI_req_s1(AC_CR:AccessCredentials) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | SetMMI request |
Constraint Value |
---|
action_request: { mode TRUE, eid TSC_System_EID, actionType TSC_ActionType_SetMMI, accessCredentials AC_CR, actionParameter integer: TSPX_SetMMIActionParameter, iid - } |
Detailed Comments |
---|
Constraint Name | cpdu_get_stamped_req(element_id:INTEGER; ac:OCTETSTRING; attribute_ids:AttributeIdList; rnd:OCTETSTRING; key:INTEGER) |
---|---|
Group | |
PDU Type | T_APDU |
Derivation Path | |
Encoding Rule Name | |
Encoding Variation | |
Comments | GET_STAMPED request |
Constraint Value |
---|
action_request: { mode TRUE, eid element_id, actionType TSC_ActionType_GET_STAMPED, accessCredentials ac, actionParameter gstrq: { attributeIdList attribute_ids, nonce rnd, keyRef key }, iid - } |
Detailed Comments |
---|
Group Name | AP_0BAS |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the application I-kernel, security level 0 |
Group Name | OBU |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the application I-kernel, security level 0, implemented in an On-Board Unit |
Group Name | BV |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the valid behaviour of the application I-kernel, security level 0, implemented in an On-Board Unit |
Test Case Name | TC_AP_0BAS_OBU_BV_10 |
---|---|
Group | AP_0BAS/OBU/BV/ |
Purpose | Verify that the DUT replies to a BST with a VST |
Configuration | |
Default | DF_Standard_Default |
Comments | [EN 15509] clause 5.1.4 DUT not in sleep mode and not yet initialized |
Selection Ref | SEL_MANDATORY |
Description | Verify that the DUT replies to a BST with a VST |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_OBU_wakeup(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID1_1, TSO_get_system_time(), TSPX_Default_profile, {{aid TSPX_Default_applicationID}}, {}, {}), -1, -1) |
2 |
||
3 |
TPCO1 ? INIT_RSP (TCV_session_lid := INIT_RSP.LID) CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST(?, ?, ?), ?, 0) |
P |
3 |
|
4 |
?TIMEOUT T_wakeup |
F |
4 |
Detailed Comments | 1. Wakeup OBU. 2. Transmit a BST with BeaconID1. 3. The OBU should now perform an initialization sequence. If VST received, the LID will be stored for later use 4. If the response is not received, the Initialization sequence failed |
---|
Group Name | AP_0FUN |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the application T-kernel, security level 0 |
Group Name | OBU |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the application T-kernel, security level 0, implemented in an On-Board Unit |
Group Name | BV |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the valid behaviour of the application T-kernel, security level 0, implemented in an On-Board Unit |
Test Case Name | TC_AP_0FUN_OBU_BV_17 |
---|---|
Group | AP_0FUN/OBU/BV/ |
Purpose | Support of DSRC L7 GET |
Configuration | |
Default | DF_Standard_Default |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Support of DSRC L7 GET |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 7. Read data back 8. Read data different to write data 9. Read data equal to write data 10. GET.Request for invalid attribute 11. Receive returnCode=0 and some attribute data 12. Receive returnCode<>0 (error) 13. GET.Request with invalid eid 14. Receive returnCode=0 and some attribute data 15. Receive returnCode<>0 (error) |
---|
Test Case Name | TC_AP_0FUN_OBU_BV_18 |
---|---|
Group | AP_0FUN/OBU/BV/ |
Purpose | Support of DSRC L7 SET |
Configuration | |
Default | DF_Standard_Default |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Support of DSRC L7 SET |
Detailed Comments | 1. Initialise OBU 2. Write data1 to OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 5. SET.Request for invalid attribute 6. Receive returnCode=0 7. Receive returnCode<>0 (error) 8. SET.Request with invalid eid 9. Receive returnCode=0 10. Receive returnCode<>0 (error) |
---|
Test Case Name | TC_AP_0FUN_OBU_BV_19 |
---|---|
Group | AP_0FUN/OBU/BV/ |
Purpose | Support of DSRC EFC GET STAMPED |
Configuration | |
Default | DF_Standard_Default |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Support of DSRC EFC GET STAMPED |
Detailed Comments |
---|
Test Case Name | TC_AP_0FUN_OBU_BV_20 |
---|---|
Group | AP_0FUN/OBU/BV/ |
Purpose | Support of DSRC EFC SET MMI |
Configuration | |
Default | DF_Standard_Default |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Support of DSRC EFC SET MMI |
Detailed Comments |
---|
Test Case Name | TC_AP_0FUN_OBU_BV_21 |
---|---|
Group | AP_0FUN/OBU/BV/ |
Purpose | Support of DSRC EFC ECHO |
Configuration | |
Default | DF_Standard_Default |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Support of DSRC EFC ECHO |
Detailed Comments |
---|
Group Name | AP_0DAT |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the application data attributes, security level 0 |
Group Name | OBU |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the application data attributes, security level 0, implemented in an On-Board Unit |
Group Name | BV |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the valid behaviour of the application data attributes, security level 0, implemented in an On-Board Unit |
Test Case Name | TC_AP_0DAT_OBU_BV_01 |
---|---|
Group | AP_0DAT/OBU/BV/ |
Purpose | Support of DSRC L7 GET |
Configuration | |
Default | DF_Standard_Default |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Support of DSRC L7 GET |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 7. Read data back 8. Read data different to write data 9. Read data equal to write data 10. GET.Request for invalid attribute 11. Receive returnCode=0 and some attribute data 12. Receive returnCode<>0 (error) 13. GET.Request with invalid eid 14. Receive returnCode=0 and some attribute data 15. Receive returnCode<>0 (error) |
---|
Test Case Name | TC_AP_0DAT_OBU_BV_02 |
---|---|
Group | AP_0DAT/OBU/BV/ |
Purpose | Support of DSRC L7 SET |
Configuration | |
Default | DF_Standard_Default |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Support of DSRC L7 SET |
Detailed Comments | 1. Initialise OBU 2. Write data1 to OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 5. SET.Request for invalid attribute 6. Receive returnCode=0 7. Receive returnCode<>0 (error) 8. SET.Request with invalid eid 9. Receive returnCode=0 10. Receive returnCode<>0 (error) |
---|
Test Case Name | TC_AP_0DAT_OBU_BV_03 |
---|---|
Group | AP_0DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET.rq) of the Vehicle data group attributes, i. e.: - VehicleLicencePlateNumber, - VehicleClass, - VehicleDimensions, - VehicleAxles, - VehicleWeigthLimits, - VehicleSpecificCharacteristics |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the read (by means of GET.rq) of the Vehicle data group attributes, i. e.: - VehicleLicencePlateNumber, - VehicleClass, - VehicleDimensions, - VehicleAxles, - VehicleWeigthLimits, - VehicleSpecificCharacteristics |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_get_req(TSPX_default_eid_s0, TSC_AttrIdList_Vehicle_group), -1, -1) |
7 |
||
3 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0(TSPX_default_eid_s0), ?, 0) |
4 |
||
4 |
[TCV_attribute_list = TSPX_VehicleGroupList] |
P |
9 |
||
5 |
[TCV_attribute_list <> TSPX_VehicleGroupList] |
F |
8 |
||
6 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp(TSPX_default_eid_s0, ?), ?, 0) |
F |
4 |
|
7 |
?TIMEOUT T_wait_for_private_uplink |
F |
3 |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 5. Failure at layer 7 6. no error at L7 7. Read data back 8. Read data different to expected data 9. Read data equal to expected data |
---|
Test Case Name | TC_AP_0DAT_OBU_BV_04 |
---|---|
Group | AP_0DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET) of the Vehicle attributes, one at the time |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the read (by means of GET) of the Vehicle attributes, one at the time |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 7. Read data back |
---|
Test Case Name | TC_AP_0DAT_OBU_BV_05 |
---|---|
Group | AP_0DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET.rq) of the Equipment data group attributes, i. e.: - EquipmentOBUId, - EquipmentStatus |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the read (by means of GET.rq) of the Equipment data group attributes, i. e.: - EquipmentOBUId, - EquipmentStatus |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_get_req(TSPX_default_eid_s0, TSC_AttrIdList_Equipment_group), -1, -1) |
7 |
||
3 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0(TSPX_default_eid_s0), ?, 0) |
4 |
||
4 |
[TCV_attribute_list = TSPX_EquipmentGroupList] |
P |
9 |
||
5 |
[TCV_attribute_list <> TSPX_EquipmentGroupList] |
F |
8 |
||
6 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp(TSPX_default_eid_s0, ?), ?, 0) |
F |
4 |
|
7 |
?TIMEOUT T_wait_for_private_uplink |
F |
3 |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 5. Failure at layer 7 6. no error at L7 7. Read data back 8. Read data different to write data 9. Read data equal to write data |
---|
Test Case Name | TC_AP_0DAT_OBU_BV_06 |
---|---|
Group | AP_0DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET) of the Equipment attributes, one at the time |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the read (by means of GET) of the Equipment attributes, one at the time |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 7. Read data back |
---|
Test Case Name | TC_AP_0DAT_OBU_BV_07 |
---|---|
Group | AP_0DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET.rq) of the Receipt data group attributes, i. e.: - ReceiptData1, - ReceiptData2 |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the read (by means of GET.rq) of the Receipt data group attributes, i. e.: - ReceiptData1, - ReceiptData2 |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_get_req(TSPX_default_eid_s0, TSC_AttrIdList_ReceiptData_group), -1, -1) |
7 |
||
3 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0(TSPX_default_eid_s0), ?, 0) |
4 |
||
4 |
[TCV_attribute_list = TSPX_ReceiptDataGroupList] |
P |
9 |
||
5 |
[TCV_attribute_list <> TSPX_ReceiptDataGroupList] |
F |
8 |
||
6 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp(TSPX_default_eid_s0, ?), ?, 0) |
F |
4 |
|
7 |
?TIMEOUT T_wait_for_private_uplink |
F |
3 |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 5. Failure at layer 7 6. no error at L7 7. Read data back 8. Read data different to write data 9. Read data equal to write data |
---|
Test Case Name | TC_AP_0DAT_OBU_BV_08 |
---|---|
Group | AP_0DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET) of the Receipt attributes, one at the time |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the read (by means of GET) of the Receipt attributes, one at the time |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 7. Read data back |
---|
Test Case Name | TC_AP_0DAT_OBU_BV_09 |
---|---|
Group | AP_0DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET.rq) of the PaymentMeans attribute |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the read (by means of GET.rq) of the PaymentMeans attribute |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_get_req(TSPX_default_eid_s0, TSC_AttrIdList_PaymentMeans), -1, -1) |
7 |
||
3 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0(TSPX_default_eid_s0), ?, 0) |
(P) |
4 |
|
4 |
[TCV_attribute_list.[0].attributeValue=TSPX_attribute_PaymentMeans.attributeValue] |
P |
9 |
||
5 |
[TCV_attribute_list.[0].attributeValue<>TSPX_attribute_PaymentMeans.attributeValue] |
F |
8 |
||
6 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp(TSPX_default_eid_s0, ?), ?, 0) |
F |
4 |
|
7 |
?TIMEOUT T_wait_for_private_uplink |
F |
3 |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 7. Read data back |
---|
Test Case Name | TC_AP_0DAT_OBU_BV_10 |
---|---|
Group | AP_0DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET-STAMPED.rq) of the Vehicle data group attributes, i. e.: - VehicleLicencePlateNumber, - VehicleClass, - VehicleDimensions, - VehicleAxles, - VehicleWeigthLimits, - VehicleSpecificCharacteristics |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-STAMPED-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the read (by means of GET-STAMPED.rq) of the Vehicle data group attributes, i. e.: - VehicleLicencePlateNumber, - VehicleClass, - VehicleDimensions, - VehicleAxles, - VehicleWeigthLimits, - VehicleSpecificCharacteristics |
Detailed Comments |
---|
Test Case Name | TC_AP_0DAT_OBU_BV_11 |
---|---|
Group | AP_0DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the Equipment data group attributes, i. e.: - EquipmentOBUId, - EquipmentStatus |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-STAMPED-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the Equipment data group attributes, i. e.: - EquipmentOBUId, - EquipmentStatus |
Detailed Comments |
---|
Test Case Name | TC_AP_0DAT_OBU_BV_12 |
---|---|
Group | AP_0DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the Receipt data group attributes, i. e.: - ReceiptData1, - ReceiptData2 |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-STAMPED-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the Receipt data group attributes, i. e.: - ReceiptData1, - ReceiptData2 |
Detailed Comments |
---|
Test Case Name | TC_AP_0DAT_OBU_BV_13 |
---|---|
Group | AP_0DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the PaymentMeans attribute |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-STAMPED-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the PaymentMeans attribute |
Detailed Comments |
---|
Test Case Name | TC_AP_0DAT_OBU_BV_14 |
---|---|
Group | AP_0DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the update of the EquipmentStatus attribute |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request and SET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the update of the EquipmentStatus attribute |
Detailed Comments |
---|
Test Case Name | TC_AP_0DAT_OBU_BV_15 |
---|---|
Group | AP_0DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the update of the Receipt attributes |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request and SET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the update of the Receipt attributes |
Detailed Comments |
---|
Group Name | BI |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the invalid behaviour of the application data attributes, security level 0, implemented in an On-Board Unit |
Test Case Name | TC_AP_0DAT_OBU_BI_01 |
---|---|
Group | AP_0DAT/OBU/BI/ |
Purpose | Verify that the OBU prevents the update of the read-only Vehicle attributes, one at the time |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a SET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU prevents the update of the read-only Vehicle attributes, one at the time |
Detailed Comments |
---|
Test Case Name | TC_AP_0DAT_OBU_BI_02 |
---|---|
Group | AP_0DAT/OBU/BI/ |
Purpose | Verify that the OBU prevents the update of the read-only Vehicle attributes list |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a SET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU prevents the update of the read-only Vehicle attributes list |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST(TSO_get_system_time()) |
||||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_set_req(TSPX_default_eid_s0, TRUE, TSPX_VehicleGroupList), -1, -1) |
|||
3 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(*), ?, 0) |
F |
||
4 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp(*, ?), ?, 0) |
P |
||
5 |
?TIMEOUT T_wait_for_private_uplink |
F |
Detailed Comments |
---|
Test Case Name | TC_AP_0DAT_OBU_BI_03 |
---|---|
Group | AP_0DAT/OBU/BI/ |
Purpose | Verify that the OBU prevents the update of the read-only PaymentMeans attribute |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a SET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU prevents the update of the read-only PaymentMeans attribute |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST(TSO_get_system_time()) |
||||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_set_req(TSPX_default_eid_s0, TRUE, {TSPX_attribute_PaymentMeans}), -1, -1) |
|||
3 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(*), ?, 0) |
F |
||
4 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp(*, ?), ?, 0) |
P |
||
5 |
?TIMEOUT T_wait_for_private_uplink |
F |
Detailed Comments |
---|
Test Case Name | TC_AP_0DAT_OBU_BI_04 |
---|---|
Group | AP_0DAT/OBU/BI/ |
Purpose | Verify that the OBU prevents the update of the read-only EquipmentOBUId attribute |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a SET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU prevents the update of the read-only EquipmentOBUId attribute |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST(TSO_get_system_time()) |
||||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_set_req(TSPX_default_eid_s0, TRUE, cts_EquipmentOBUId), -1, -1) |
|||
3 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(*), ?, 0) |
F |
||
4 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp(*, ?), ?, 0) |
P |
||
5 |
?TIMEOUT T_wait_for_private_uplink |
F |
Detailed Comments |
---|
Test Case Name | TC_AP_0DAT_OBU_BI_05 |
---|---|
Group | AP_0DAT/OBU/BI/ |
Purpose | Verify that the OBU prevents the update of the Equipment attributes list |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a SET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU prevents the update of the Equipment attributes list |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST(TSO_get_system_time()) |
||||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_set_req(TSPX_default_eid_s0, TRUE, TSPX_EquipmentGroupList), -1, -1) |
|||
3 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(*), ?, 0) |
F |
||
4 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp(*, ?), ?, 0) |
P |
||
5 |
?TIMEOUT T_wait_for_private_uplink |
F |
Detailed Comments |
---|
Group Name | AP_0SEC |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the application security, security level 0 |
Group Name | OBU |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the application security, security level 0, implemented in an On-Board Unit |
Group Name | BV |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the valid behaviour of the application security, security level 0, implemented in an On-Board Unit |
Test Case Name | TC_AP_0SEC_OBU_BV_01 |
---|---|
Group | AP_0SEC/OBU/BV/ |
Purpose | Test GetStamped with correct and incorrect parameters |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Authentication keys 1÷ 8 and Authenticator (RndRSE value = r1, KeyRef value = k1) |
Detailed Comments |
---|
Test Case Name | TC_AP_0SEC_OBU_BV_02 |
---|---|
Group | AP_0SEC/OBU/BV/ |
Purpose | Test GetStamped with correct and incorrect parameters |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Authentication keys 1÷ 8 and Authenticator (RndRSE value = r2, KeyRef value = k2) |
Detailed Comments |
---|
Test Case Name | TC_AP_0SEC_OBU_BV_03 |
---|---|
Group | AP_0SEC/OBU/BV/ |
Purpose | Test GetStamped with correct and incorrect parameters |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Authentication keys 1÷ 8 and Authenticator (RndRSE value = r3, KeyRef value = k3) |
Detailed Comments |
---|
Test Case Name | TC_AP_0SEC_OBU_BV_04 |
---|---|
Group | AP_0SEC/OBU/BV/ |
Purpose | Test GetStamped with correct and incorrect parameters |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Authentication keys 1÷ 8 and Authenticator (RndRSE value = r4, KeyRef value = k4) |
Detailed Comments |
---|
Test Case Name | TC_AP_0SEC_OBU_BV_05 |
---|---|
Group | AP_0SEC/OBU/BV/ |
Purpose | Test GetStamped with correct and incorrect parameters |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Authentication keys 1÷ 8 and Authenticator (RndRSE value = r5, KeyRef value = k5) |
Detailed Comments |
---|
Test Case Name | TC_AP_0SEC_OBU_BV_06 |
---|---|
Group | AP_0SEC/OBU/BV/ |
Purpose | Test GetStamped with correct and incorrect parameters |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Authentication keys 1÷ 8 and Authenticator (RndRSE value = r6, KeyRef value = k6) |
Detailed Comments |
---|
Test Case Name | TC_AP_0SEC_OBU_BV_07 |
---|---|
Group | AP_0SEC/OBU/BV/ |
Purpose | Test GetStamped with correct and incorrect parameters |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Authentication keys 1÷ 8 and Authenticator (RndRSE value = r7, KeyRef value = k7) |
Detailed Comments |
---|
Test Case Name | TC_AP_0SEC_OBU_BV_08 |
---|---|
Group | AP_0SEC/OBU/BV/ |
Purpose | Test GetStamped with correct and incorrect parameters |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Authentication keys 1÷ 8 and Authenticator (RndRSE value = r8, KeyRef value = k8) |
Detailed Comments |
---|
Group Name | AP_0TRA |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the application transaction, security level 0 |
Group Name | OBU |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the application transaction, security level 0, implemented in an On-Board Unit |
Group Name | BV |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the valid behaviour of the application transaction, security level 0, implemented in an On-Board Unit |
Test Case Name | TC_AP_0TRA_OBU_BV_01 |
---|---|
Group | AP_0TRA/OBU/BV/ |
Purpose | Support of CARDME transaction |
Configuration | |
Default | DF_Standard_Default |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Support of CARDME transaction |
Detailed Comments |
---|
Group Name | AP_1BAS |
---|---|
Selection Ref | SEL_SEC1 |
Test Group Objective | Testing of the application I-kernel, security level 1 |
Group Name | OBU |
---|---|
Selection Ref | SEL_SEC1 |
Test Group Objective | Testing of the application I-kernel, security level 1, implemented in an On-Board Unit |
Group Name | BV |
---|---|
Selection Ref | SEL_SEC1 |
Test Group Objective | Testing of the valid behaviour of the application I-kernel, security level 1, implemented in an On-Board Unit |
Test Case Name | TC_AP_1BAS_OBU_BV_01 |
---|---|
Group | AP_1BAS/OBU/BV/ |
Purpose | Verify that the OBU can receive and manage INITIALISATION.request (BST) with FlowControl=2 |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clauses 6.2 and Annex A |
Selection Ref | SEL_I_KERNEL |
Description | Verify that the OBU can receive and manage INITIALISATION.request (BST) with FlowControl=2 |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_OBU_wakeup(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID1_1, TSO_get_system_time(), TSPX_Default_profile, {{aid TSPX_Default_applicationID}}, {}, {}), -1, -1) |
2 |
||
3 |
TPCO1 ? INIT_RSP (TCV_session_lid := INIT_RSP.LID) CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST_s1(?, 1, TSPX_default_eid_s1, ?), ?, 0) |
(P) |
3 |
|
4 |
+STP_default_first_private_request |
4 |
|||
5 |
[TCV_first_response_received = TRUE] |
(P) |
5 |
||
6 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID1_1, TSO_get_system_time(), TSPX_Default_profile, {{aid TSPX_Default_applicationID}},{},{}), -1, -1) |
6 |
||
7 |
?TIMEOUT T_wakeup |
P |
7 |
||
8 |
TPCO1 ? INIT_RSP CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST_s1(?, 1, TSPX_default_eid_s1, ?), ?, 0) |
F |
8 |
|
9 |
[TCV_first_response_received = FALSE] |
F |
9 |
||
10 |
?TIMEOUT T_wakeup |
F |
9 |
Detailed Comments | 1. Wakeup OBU. 2. Transmit a BST with BeaconID1. 3. The OBU should now perform an initialization sequence. If VST received, the LID will be stored for later use 4. After VST received, send first privately addressed request to finalize the initialization sequence 5. If the response is received, the Initialization sequence has been successfully finalized 6. Transmit BST using same BeaconID as the BST that caused the initilaization process 7. If no response on last BST, the OBU passed the test 8. If BST results in new initialization, the test fails 9. If the response is not received, the Initialization sequence failed |
---|
Test Case Name | TC_AP_1BAS_OBU_BV_02 |
---|---|
Group | AP_1BAS/OBU/BV/ |
Purpose | Verify that the OBU can receive and manage EVENT-REPORT.request (RELEASE) with mode=0 and FlowControl=1 |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clauses 6.2 and Annex A |
Selection Ref | SEL_I_KERNEL |
Description | Verify that the OBU can receive and manage EVENT-REPORT.request (RELEASE) with mode=0 and FlowControl=1 |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+ STP_default_initialisation_s1 (TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! ASGE_REQ |
casp_asge_req (TCV_session_lid, 1, cpdu_release_req, -1, -1) |
2 |
||
3 |
+STP_default_echo_request_s1 |
3 |
|||
4 |
[TCV_default_echo_response_received = FALSE] |
P |
5 |
||
5 |
[TCV_default_echo_response_received = TRUE] |
F |
4 |
Detailed Comments | 1. Perform initialization sequence (BST-VST) 2. Transmit the RELASE.Request command 3. Transmit ECHO.Request and wait for possible response 4. If ECHO.Response received, the OBU did not receive, or did not process the RELEASE.Request 5. No response to the ECHO.Request is the expected result |
---|
Test Case Name | TC_AP_1BAS_OBU_BV_03 |
---|---|
Group | AP_1BAS/OBU/BV/ |
Purpose | Verify that the OBU can read and manage the BeaconID contained in the BST |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clause 7.3.2 and Annex A |
Selection Ref | SEL_I_KERNEL |
Description | Verify that the OBU can read and manage the BeaconID contained in the BST |
Detailed Comments | 1. Perform initialization sequence (BST-VST-ECHO) with cts_beaconID1_1. 2. Attemp new initialization by sending BST with different ManufacturerID and copy LID to previous_LID for later use 3. If no response, the test has failed 4. Receive any valid VST and store the LID for later use 5a. If different, the test continues 5b. If equal, the test fails 6. Transmit ECHO.Request to finalize the initalization sequence 6a. Response received. 6b. If the OBU does not respond, the test has failed 7. Attemp new initialization by sending BST with different IndividualID and copy LID to previous_LID for later use 8. Test passed successfully if current LID is different from previous LID |
---|
Test Case Name | TC_AP_1BAS_OBU_BV_04 |
---|---|
Group | AP_1BAS/OBU/BV/ |
Purpose | Verify that the OBU can read and manage time of reception of BST contained in the parameter Time of the BST |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clause 7.3.2 and Annex A If the OBU uses time from an own clock, i.e.not retrieving time from BST, this test case should not be used without modification to insert a delay >256s |
Selection Ref | SEL_I_KERNEL |
Description | Verify that the OBU can read and manage time of reception of BST contained in the parameter Time of the BST |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+ STP_default_initialisation_s1(TSPX_Tref) |
1 |
|||
2 |
START T_256 |
||||
3 |
?TIMEOUT T_256 |
2 |
|||
4 |
TPCO1 ! INIT_REQ |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID1_1, (TSPX_Tref+256), TSPX_Default_profile, { { aid TSPX_Default_applicationID} }, {}, {}), -1, -1) |
3 |
||
5 |
TPCO1 ! INIT_REQ (TCV_previous_session_lid :=TCV_session_lid) START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID1_1, (TSPX_Tref+256), TSPX_Default_profile, { { aid TSPX_Default_applicationID} }, {}, {}), -1, -1) |
4 |
||
6 |
TPCO1 ? INIT_RSP (TCV_session_lid := INIT_RSP.LID, TCV_VST_s1 := INIT_RSP.Init_Param) CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST_s1(?, 1, TSPX_default_eid_s1, ?), ?, 0) |
(P) |
4a. |
|
7 |
+STP_default_first_private_request |
5 |
|||
8 |
[TCV_first_response_received = TRUE] |
P |
5a. |
||
9 |
[TCV_first_response_received = FALSE] |
F |
5b. |
||
10 |
?TIMEOUT T_wakeup |
F |
4b. |
Detailed Comments | 1. Perform initialization sequence (BST-VST) using Tref 2. Wait 256s for time-out of BeaconID 3. Wakeup OBU newly 4. Send BST using Tref+256s and check if the OBU performs a new initialization sequence 4a. If VST is received, test continues, 4b. otherwise test fails 5. Finalize the expected initialization sequence 5a. If proper resonse is received, test passes. 5b. otherwise test fails. |
---|
Test Case Name | TC_AP_1BAS_OBU_BV_09 |
---|---|
Group | AP_1BAS/OBU/BV/ |
Purpose | Verify that the OBU can manage profile selection (Profiles 0 and 1 supported). Only valid for OBUs according to EN 13372 expecting profiles 0/1 in BST.profile. |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clauses 7.3.2 and Annex A, EN 13372 clause 8, EN 12253 clause 5.3 |
Selection Ref | SEL_PROFILE_EN13372 |
Description | Verify that the OBU can manage profile selection (Profiles 0 and 1 supported). Only valid for OBUs according to EN 13372 expecting profiles 0/1 in BST.profile. |
Detailed Comments | 1. Wake up the OBU and make sure it has received a BST wit beaconID2 2. Send BST using beaconID1 and profile 0 3. Check that the response contains the correct profile 0 4. Send BST using beaconID2 and profile 0, and both profile 1 and profile #C contained in profileList 5. Send BST using beaconID1 and profile 1 6. Check that the response contains the correct profile 1 7. Send BST using beaconID2 and profile 1, and both profile 0 and profile #C contained in profileList 8. If no response from OBU, the test has failed |
---|
Test Case Name | TC_AP_1BAS_OBU_BV_10 |
---|---|
Group | AP_1BAS/OBU/BV/ |
Purpose | Verify that the DUT replies to a BST with a VST |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 DUT not in sleep mode and not yet initialized |
Selection Ref | SEL_SEC1 |
Description | Verify that the DUT replies to a BST with a VST |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_OBU_wakeup(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID1_1, TSO_get_system_time(), TSPX_Default_profile, {{aid TSPX_Default_applicationID}}, {}, {}), -1, -1) |
2 |
||
3 |
TPCO1 ? INIT_RSP (TCV_session_lid := INIT_RSP.LID) CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST_s1(?, 1, TSPX_default_eid_s1, ?), ?, 0) |
(P) |
3 |
|
4 |
+STP_default_first_private_request |
4 |
|||
5 |
[TCV_first_response_received = TRUE] |
(P) |
5 |
||
6 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID1_1, TSO_get_system_time(), TSPX_Default_profile, {{aid TSPX_Default_applicationID}},{},{}), -1, -1) |
6 |
||
7 |
?TIMEOUT T_wakeup |
P |
7 |
||
8 |
TPCO1 ? INIT_RSP CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST_s1(?, 1, TSPX_default_eid_s1, ?), ?, 0) |
F |
8 |
|
9 |
[TCV_first_response_received = FALSE] |
F |
9 |
||
10 |
?TIMEOUT T_wakeup |
F |
9 |
Detailed Comments | 1. Wakeup OBU. 2. Transmit a BST with BeaconID1. 3. The OBU should now perform an initialization sequence. If VST received, the LID will be stored for later use 4. After VST received, send first privately addressed request to finalize the initialization sequence 5. If the response is received, the Initialization sequence has been successfully finalized 6. Transmit BST using same BeaconID as the BST that caused the initilaization process 7. If no response on last BST, the OBU passed the test 8. If BST results in new initialization, the test fails |
---|
Group Name | BI |
---|---|
Selection Ref | SEL_SEC1 |
Test Group Objective | Testing of the invalid behaviour of the application I-kernel, security level 1, implemented in an On-Board Unit |
Test Case Name | TC_AP_1BAS_OBU_BI_01 |
---|---|
Group | AP_1BAS/OBU/BI/ |
Purpose | Verify that the OBU can manage profile selection |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clauses 7.3.2 and Annex A |
Selection Ref | SEL_I_KERNEL |
Description | Verify that the OBU can manage profile selection |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_OBU_wakeup(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID1_1, TSO_get_system_time(), TSPX_profile_C, { { aid TSPX_Default_applicationID} }, {}, { } ), -1, -1) |
2 |
||
3 |
?TIMEOUT T_wakeup |
(P) |
4 |
||
4 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID2_1, TSO_get_system_time(), TSPX_profile_D, { { aid TSPX_Default_applicationID} }, {}, {} ), -1, -1) |
5 |
||
5 |
?TIMEOUT T_wakeup |
P |
6 |
||
6 |
TPCO1 ? INIT_RSP CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST_s1(?, 1, TSPX_default_eid_s1, ?), ?, 0) |
F |
3 |
|
7 |
TPCO1 ? INIT_RSP CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST_s1(?, 1, TSPX_default_eid_s1, ?), ?, 0) |
F |
3 |
Detailed Comments | 1. Wake up the OBU and make sure it has received a BST wit beaconID2 2. Send BST using beaconID1 and unknown profile = #C 3. Check that there is no response 4. If no response from OBU, the test continues 5. Send BST using beaconID1 and unknown profile = #D 6. If no response from OBU, the test passed successfully |
---|
Test Case Name | TC_AP_1BAS_OBU_BI_02 |
---|---|
Group | AP_1BAS/OBU/BI/ |
Purpose | Verify that the OBU can manage applications |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clauses 7.3.2 and Annex A |
Selection Ref | SEL_I_KERNEL |
Description | Verify that the OBU can manage applications |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_OBU_wakeup(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID1_1, TSO_get_system_time(), TSPX_Default_profile, { { aid TSPX_Unsupported_applicationID_a} }, {} ,{} ), -1, -1) |
2 |
||
3 |
?TIMEOUT T_wakeup |
(P) |
4 |
||
4 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID2_1, TSO_get_system_time(), TSPX_Default_profile, { { aid TSPX_Unsupported_applicationID_b} }, { { aid TSPX_Unsupported_applicationID_a} }, {} ), -1, -1) |
5 |
||
5 |
?TIMEOUT T_wakeup |
P |
6 |
||
6 |
TPCO1 ? INIT_RSP (TCV_session_lid := INIT_RSP.LID) CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST(?, cts_vst_applist(TSPX_Default_applicationID), ?), ?, 0) |
F |
3 |
|
7 |
TPCO1 ? INIT_RSP (TCV_session_lid := INIT_RSP.LID) CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST(?, cts_vst_applist(TSPX_Default_applicationID), ?), ?, 0) |
F |
3 |
Detailed Comments | 1. Wake up the OBU 2. Send BST using beaconID1 and mandapplist contains unsupported applicationID #a 3. Check that there is no response from the OBU 4. If no response from OBU, the test continues 5. Send BST using beaconID2 and mandapplist contains unsupported applicationID #b and nonmandapplist contains the unsupported applicationID #a 6. If no response from OBU, the test passes succesfully |
---|
Group Name | AP_1FUN |
---|---|
Selection Ref | SEL_SEC1 |
Test Group Objective | Testing of the application T-kernel, security level 1 |
Group Name | OBU |
---|---|
Selection Ref | SEL_SEC1 |
Test Group Objective | Testing of the application T-kernel, security level 1, implemented in an On-Board Unit |
Group Name | BV |
---|---|
Selection Ref | SEL_SEC1 |
Test Group Objective | Testing of the valid behaviour of the application T-kernel, security level 1, implemented in an On-Board Unit |
Test Case Name | TC_AP_1FUN_OBU_BV_01 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Verify that the OBU can receive and manage GET.request with FlowControl=7 and LID=private |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clauses 6.2 and Annex A |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage GET.request with FlowControl=7 and LID=private |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_get_req_s1(TSPX_default_eid_s1, TCV_accessCredentials, {TSPX_attributes_7.attributeId}), -1, -1) |
7 |
||
3 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0(TSPX_default_eid_s1), ?, 0) |
4 |
||
4 |
[TCV_attribute_list.[0].attributeValue=TSPX_attributes_7.attributeValue] |
P |
9 |
||
5 |
[TCV_attribute_list.[0].attributeValue<>TSPX_attributes_7.attributeValue] |
F |
8 |
||
6 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp(TSPX_default_eid_s1, ?), ?, 0) |
F |
4 |
|
7 |
?TIMEOUT T_wait_for_private_uplink |
F |
3 |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 5. Failure at layer 7 6. no error at L7 7. Read data back 8. Read data different to write data 9. Read data equal to write data |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_02 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Verify that the OBU can receive and manage SET.request with Mode=1, FlowControl=7 and LID=private |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clauses 6.2 and Annex A |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage SET.request with Mode=1, FlowControl=7 and LID=private |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_set_req_s1(TSPX_default_eid_s1, TRUE, TCV_accessCredentials, {TSPX_attributes_7}), -1, -1) |
2 |
||
3 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_s1), ?, 0) |
P |
4 |
|
4 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp(TSPX_default_eid_s1 , ?), ?, 0) |
F |
4 |
|
5 |
?TIMEOUT T_wait_for_private_uplink |
F |
3 |
Detailed Comments | 1. Initialise OBU 2. Write data1 to OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 5. Failure at layer 7 6. no error at L7 |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_03 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Verify that the OBU can receive and manage SET.request with mode=1 and GET.request, both with FlowControl=7 and LID=private |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clauses 6.2 and Annex A |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage SET.request with mode=1 and GET.request, both with FlowControl=7 and LID=private |
Detailed Comments | 1. Initialise OBU 2. Write data1 to OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 6. no error at L7 7. Read data back 8. Read data different to write data 9. Read data equal to write data 10. Write data2 to OBU |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_04 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Verify that the OBU can receive and manage SET.request with mode=0 and FlowControl=4 and GET.request, both with LID=private |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clauses 6.2 and Annex A |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage SET.request with mode=0 and FlowControl=4 and GET.request, both with LID=private |
Detailed Comments | 1. Initialise OBU 2. Write data1 to OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 5. Failure at layer 7 6. no error at L7 7. Read data back 8. Read data different to write data 9. Read data equal to write data 10. Write data2 to OBU |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_05 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Verify that the OBU can receive and manage SET.request with mode=0 and FlowControl=1 and GET.request, both with LID=private |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clauses 6.2 and Annex A |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage SET.request with mode=0 and FlowControl=1 and GET.request, both with LID=private |
Detailed Comments | 1. Initialise OBU 2. Write data1 to OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 5. Failure at layer 7 6. no error at L7 7. Read data back 8. Read data different to write data 9. Read data equal to write data 10. Write data2 to OBU |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_06 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Verify that the OBU can receive and manage SET.request with mode=0, FlowControl=1 and LID=BC after initialisation, and GET.request |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clauses 6.2 and Annex A |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage SET.request with mode=0, FlowControl=1 and LID=BC after initialisation, and GET.request |
Detailed Comments | 1. Initialise OBU 2. Write data1 to OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 6. no error at L7 7. Read data back 8. Read data different to write data 9. Read data equal to write data 10. Write data2 to OBU |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_08 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Verify that the OBU can receive and manage ACTION.request with FlowControl=7 and LID=private |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clauses 6.2 and Annex A |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage ACTION.request with FlowControl=7 and LID=private |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req (TCV_session_lid, 7, TSPX_ACTION_7_req, -1, -1) |
2 |
||
3 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp (TCV_session_lid, 9, TSPX_ACTION_7_rsp, ?, 0) |
P |
4 |
|
4 |
?TIMEOUT T_wait_for_private_uplink |
F |
3 |
Detailed Comments | 1. Initialise OBU 2. Send L7 command 3. Time out in uplink 4. Read L7 acknowlege from OBU |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_09 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Verify that the OBU can receive and manage ACTION.request with FlowControl=4 and LID=private |
Configuration | |
Default | |
Comments | EN 12834 clauses 6.2 and Annex A |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage ACTION.request with FlowControl=4 and LID=private |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req (TCV_session_lid, 4, TSPX_ACTION_4_req, -1, -1) |
2 |
||
3 |
(TCV_boolean:=TSO_operator_acknowledge(TSPX_ACTION_4_Prompt)) |
4 |
|||
4 |
[TCV_boolean=TRUE] |
P |
5 |
||
5 |
[TCV_boolean=FALSE] |
F |
6 |
Detailed Comments | 1. Initialise OBU 2. Send L7 command 4. ReadTest Operator prompt 5. OK prompt received 6. FAILED prompt received |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_10 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Verify that the OBU can receive and manage ACTION.request with FlowControl=1 and LID=private |
Configuration | |
Default | |
Comments | EN 12834 clauses 6.2 and Annex A |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage ACTION.request with FlowControl=1 and LID=private |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req (TCV_session_lid, 1, TSPX_ACTION_1_req, -1, -1) |
2 |
||
3 |
(TCV_boolean:=TSO_operator_acknowledge(TSPX_ACTION_1_Prompt)) |
4 |
|||
4 |
[TCV_boolean=TRUE] |
P |
5 |
||
5 |
[TCV_boolean=FALSE] |
F |
6 |
Detailed Comments | 1. Initialise OBU 2. Send L7 command 4. ReadTest Operator prompt 5. OK prompt received 6. FAILED prompt received |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_11 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Verify that the OBU can receive and manage ACTION.request with FlowControl=1 and LID=BC after OBU was iniitialised |
Configuration | |
Default | |
Comments | EN 12834 clauses 6.2 and Annex A |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage ACTION.request with FlowControl=1 and LID=BC after OBU was iniitialised |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req (TSC_BC_LID, 1, TSPX_ACTION_1_BC_init_req, -1, -1) |
2 |
||
3 |
(TCV_boolean:=TSO_operator_acknowledge(TSPX_ACTION_1_BC_init_Prompt)) |
4 |
|||
4 |
[TCV_boolean=TRUE] |
P |
5 |
||
5 |
[TCV_boolean=FALSE] |
F |
6 |
Detailed Comments | 1. Initialise OBU 2. Send L7 command 4. ReadTest Operator prompt 5. OK prompt received 6. FAILED prompt received |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_12 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Verify that the OBU can receive and manage ACTION.request with FlowControl=1 and LID=BC without OBU being iniitialised |
Configuration | |
Default | |
Comments | EN 12834 clauses 6.2 and Annex A |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage ACTION.request with FlowControl=1 and LID=BC without OBU being iniitialised |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_OBU_wakeup(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req (TSC_BC_LID, 1, TSPX_ACTION_1_BC_req, -1, -1) |
2 |
||
3 |
(TCV_boolean:=TSO_operator_acknowledge(TSPX_ACTION_1_BC_Prompt)) |
4 |
|||
4 |
[TCV_boolean=TRUE] |
P |
5 |
||
5 |
[TCV_boolean=FALSE] |
F |
6 |
Detailed Comments | 1. Initialise OBU 2. Send L7 command 4. ReadTest Operator prompt 5. OK prompt received 6. FAILED prompt received |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_13 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Verify that the OBU can receive and manage non-fragmented PDUs with random PDU number |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clauses 6.3.3 |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage non-fragmented PDUs with random PDU number |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
1 |
|||
2 |
(TCV_LoopCounter:=31) |
||||
3 |
Loop |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req (TCV_session_lid, 7, TSPX_APDU_7a_EIDa_req, TSO_random_pdu(), -1) |
2 |
|
4 |
TPCO1 ? ASGE_RSP (TCV_LoopCounter:=TCV_LoopCounter-1) CANCEL T_wait_for_private_uplink |
casp_asge_rsp (TCV_session_lid, 9, TSPX_APDU_7a_EIDa_rsp, ?, 0) |
(P) |
4 |
|
5 |
[TCV_LoopCounter>0] |
||||
6 |
GOTO Loop |
5 |
|||
7 |
[TCV_LoopCounter=0] |
P |
6 |
||
8 |
[TCV_LoopCounter<0] |
F |
7 |
||
9 |
?TIMEOUT T_wait_for_private_uplink |
F |
3 |
Detailed Comments | 1. Initialise OBU 2. Send L7 command 3. Time out in uplink 4. Read L7 acknowlege from OBU 5. Continue loop 6. Test passed successfullz 7. This should never happen |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_14 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Verify that the OBU can receive and manage multilexed APDUs from two different applications or two different contexts of same application type |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clauses 6.3.5 and 6.3.9 OBU already initialized for two applications #A and #B, waiting to be served by tester. It is allowed to be #A = #B, i.e. APDUs related only to a single type of application, but using different EIDs. |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage multilexed APDUs from two different applications or two different contexts of same application type |
Detailed Comments | 1. Wakeup OBU 2. Request a for EID a 3. Uplink failed 4. Response a for EID a 5. Request a for EID b 6. Response a for EID b 7. Request b for EID a 8. Response b for EID a 9. Request b for EID b 10. Response b for EID b |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_16 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Verify that OBU can receive and manage chained APDUs from a single application |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clauses 6.3.8 OBU already initialized for test application, waiting to be served by tester |
Selection Ref | SEL_SEC1 |
Description | Verify that OBU can receive and manage chained APDUs from a single application |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1( TSO_get_system_time() ) |
1 |
|||
2 |
TPCO1 ! CONCAT_REQ START T_wait_for_private_uplink |
casp_concat_req( TCV_session_lid, TRUE, 7, TSPX_APDU_chain_7_req ) |
2 |
||
3 |
TPCO1 ? CONCAT_RSP |
casp_concat_rsp( TCV_session_lid, TRUE, 9, TSPX_APDU_chain_7_rsp ) |
P |
3 |
|
4 |
?TIMEOUT T_wait_for_private_uplink |
F |
4 |
Detailed Comments | 1. Initialise OBU 2. Send concatenated and chained requests. 3. Receive expected response properly 4. Time out. Test failed. |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_17 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Support of DSRC L7 GET |
Configuration | |
Default | DF_Standard_Default |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Support of DSRC L7 GET |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 7. Read data back 8. Read data different to write data 9. Read data equal to write data 10. GET.Request for invalid attribute 11. Receive returnCode=0 and some attribute data 12. Receive returnCode<>0 (error) 13. GET.Request with invalid eid 14. Receive returnCode=0 and some attribute data 15. Receive returnCode<>0 (error) |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_18 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Support of DSRC L7 SET |
Configuration | |
Default | DF_Standard_Default |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Support of DSRC L7 SET |
Detailed Comments | 1. Initialise OBU 2. Write data1 to OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 5. SET.Request for invalid attribute 6. Receive returnCode=0 7. Receive returnCode<>0 (error) 8. SET.Request with invalid eid 9. Receive returnCode=0 10. Receive returnCode<>0 (error) |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_19 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Support of DSRC EFC GET STAMPED |
Configuration | |
Default | DF_Standard_Default |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Support of DSRC EFC GET STAMPED |
Detailed Comments |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_20 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Support of DSRC EFC SET MMI |
Configuration | |
Default | DF_Standard_Default |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Support of DSRC EFC SET MMI |
Detailed Comments |
---|
Test Case Name | TC_AP_1FUN_OBU_BV_21 |
---|---|
Group | AP_1FUN/OBU/BV/ |
Purpose | Support of DSRC EFC ECHO |
Configuration | |
Default | DF_Standard_Default |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Support of DSRC EFC ECHO |
Detailed Comments |
---|
Group Name | BI |
---|---|
Selection Ref | SEL_SEC1 |
Test Group Objective | Testing of the invalid behaviour of the application T-kernel, security level 1, implemented in an On-Board Unit |
Test Case Name | TC_AP_1FUN_OBU_BI_01 |
---|---|
Group | AP_1FUN/OBU/BI/ |
Purpose | Verify that the OBU can receive and manage PDUs addressed to the Broadcast Kernel in case the OBU only supports the I-Kernel and the T-Kernel. |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clause 6.3.3 |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage PDUs addressed to the Broadcast Kernel in case the OBU only supports the I-Kernel and the T-Kernel. |
Detailed Comments | 1. Initialise OBU 2. Request retrieval of attribute to verify content 3. Time out in uplink 4. Read L7 acknowlege from OBU 5. Failure at layer 7 6. No error at layer 7. 7. Unexpected data 8. Expected data 9. Write new value to same attribute with illegal PDU number 0. 10. Write new value to same attribute with illegal PDU number 1. 11. Timeout: OBU has discarded PDU with illegal PDU number. 12. OBU responds with return code, as result of illegal PDU number. 13. OBU responds wtih no indication of errror, despite illegal PDU number. |
---|
Test Case Name | TC_AP_1FUN_OBU_BI_02 |
---|---|
Group | AP_1FUN/OBU/BI/ |
Purpose | Verify that the OBU can receive and manage PDUs addressed to the Broadcast Kernel in case the OBU only supports the Initialisation Kernel and the Transport Kernel |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clause 6.3.3 OBU awake but not yet initialized |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage PDUs addressed to the Broadcast Kernel in case the OBU only supports the Initialisation Kernel and the Transport Kernel |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_OBU_wakeup(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID1_1, TSO_get_system_time(), TSPX_Default_profile, {{aid TSPX_Default_applicationID}}, {}, {}), 0, -1) |
2 |
||
3 |
?TIMEOUT T_wakeup |
(P) |
4 |
||
4 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID2_1,TSO_get_system_time(), TSPX_Default_profile, {{aid TSPX_Default_applicationID}}, {}, {}), 1, -1) |
5 |
||
5 |
?TIMEOUT T_wakeup |
P |
4 |
||
6 |
TPCO1 ? INIT_RSP (TCV_session_lid := INIT_RSP.LID) CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST_s1(?, 1, TSPX_default_eid_s1, ?), ?, 0) |
F |
3 |
|
7 |
TPCO1 ? INIT_RSP (TCV_session_lid := INIT_RSP.LID) CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST_s1(?, 1, TSPX_default_eid_s1, ?), ?, 0) |
F |
3 |
Detailed Comments | 1. Wakeup OBU. 2. Send BST with illegal PDU number set to 0 3. Receive unexpected response 4. Expected timeout 5. Send BST with new BeaconID and with illegal PDU number set to 1 |
---|
Test Case Name | TC_AP_1FUN_OBU_BI_03 |
---|---|
Group | AP_1FUN/OBU/BI/ |
Purpose | Verify that the OBU can receive and manage non-fragmented PDUs with wrong fragment counter |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clause 6.3.3 OBU already initialized, waiting to be served by tester !!! Does not test the behaviour in case a two or three octet fragmentation header is received. This should be tested as well!!!!! |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage non-fragmented PDUs with wrong fragment counter |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
1 |
|||
2 |
(TCV_LoopCounter:=1) |
||||
3 |
Loop |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req (TCV_session_lid, 7, TSPX_APDU_7a_EIDa_req, -1, TCV_LoopCounter) |
2 |
|
4 |
?TIMEOUT T_wait_for_private_uplink |
(P) |
4 |
||
5 |
(TCV_LoopCounter:=TCV_LoopCounter+1) |
||||
6 |
[TCV_LoopCounter<4] |
||||
7 |
GOTO Loop |
5 |
|||
8 |
[TCV_LoopCounter=4] |
||||
9 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req (TCV_session_lid, 7, TSPX_ACTION_7_req, -1, 0) |
6 |
||
10 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp (TCV_session_lid, 9, TSPX_ACTION_7_rsp, ?, 0) |
P |
7 |
|
11 |
?TIMEOUT T_wait_for_private_uplink |
F |
8 |
||
12 |
[TCV_LoopCounter>4] |
F |
|||
13 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp (TCV_session_lid, 9, TSPX_APDU_7a_EIDa_rsp, ?, 0) |
F |
3 |
Detailed Comments | 1. Initialise OBU 2. Send L7 command with illegal fragment counter value 3. Unexpected L7 acknowledge 4. Expected Time out in uplink 5. Repeat test with next illegal fragment counter value 6. Send L7 command with correct fragment counter value 7. Expected response 8. Unexpected time-out |
---|
Test Case Name | TC_AP_1FUN_OBU_BI_04 |
---|---|
Group | AP_1FUN/OBU/BI/ |
Purpose | Verify that the OBU can receive and manage non-fragmented PDUs with wrong fragment counter value |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clause 6.3.3 OBU awake but not yet initialized !!! Does not test the behaviour in case a two or three octet fragmentation header is received. This should be tested as well!!!!! |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage non-fragmented PDUs with wrong fragment counter value |
Detailed Comments | 1. Wakeup OBU. 2. Send BST with illegal fragment counter value 3. Receive unexpected response 4. Expected timeout 5. Repeat test with further illegal fragment counter values 6. Seend BST with correct fragment counter value 7. Unexpected timeout 8. Expected reponse |
---|
Test Case Name | TC_AP_1FUN_OBU_BI_06 |
---|---|
Group | AP_1FUN/OBU/BI/ |
Purpose | Verify that the OBU can receive and manage concatenated and chained APDUs from a single application with chaining error |
Configuration | |
Default | DF_Standard_Default |
Comments | EN 12834 clauses 6.3.8 |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU can receive and manage concatenated and chained APDUs from a single application with chaining error |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! CONCAT_REQ START T_wait_for_private_uplink |
casp_concat_req( TCV_session_lid, TRUE, 7, TSPX_APDU_chain_error_7_req ) |
2 |
||
3 |
TPCO1 ? CONCAT_RSP CANCEL T_wait_for_private_uplink |
casp_concat_rsp( TCV_session_lid, TRUE, 9, TSPX_APDU_chain_error_7_rsp ) |
P |
4 |
|
4 |
? TIMEOUT T_wait_for_private_uplink |
F |
3 |
Detailed Comments | 1. Wakeup and initialise OBU. 2. Send concatenated and chained APDUs such that chainingError occurs 3. Unexpected timeout 4. Expected response |
---|
Group Name | AP_1DAT |
---|---|
Selection Ref | SEL_SEC1 |
Test Group Objective | Testing of the application data attributes, security level 1 |
Group Name | OBU |
---|---|
Selection Ref | SEL_SEC1 |
Test Group Objective | Testing of the application data attributes, security level 1, implemented in an On-Board Unit |
Group Name | BV |
---|---|
Selection Ref | SEL_SEC1 |
Test Group Objective | Testing of the valid behaviour of the application data attributes, security level 1, implemented in an On-Board Unit |
Test Case Name | TC_AP_1DAT_OBU_BV_01 |
---|---|
Group | AP_1DAT/OBU/BV/ |
Purpose | Attribute encoding tests – GET |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request |
Selection Ref | SEL_SEC1 |
Description | Attribute encoding tests – GET |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 7. Read data back 8. Read data different to write data 9. Read data equal to write data 10. GET.Request for invalid attribute 11. Receive returnCode=0 and some attribute data 12. Receive returnCode<>0 (error) 13. GET.Request with invalid eid 14. Receive returnCode=0 and some attribute data 15. Receive returnCode<>0 (error) |
---|
Test Case Name | TC_AP_1DAT_OBU_BV_02 |
---|---|
Group | AP_1DAT/OBU/BV/ |
Purpose | Attribute encoding tests – SET |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a SET-request |
Selection Ref | SEL_SEC1 |
Description | Attribute encoding tests – SET |
Detailed Comments | 1. Initialise OBU 2. Write data1 to OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 5. SET.Request for invalid attribute 6. Receive returnCode=0 7. Receive returnCode<>0 (error) 8. SET.Request with invalid eid 9. Receive returnCode=0 10. Receive returnCode<>0 (error) |
---|
Test Case Name | TC_AP_1DAT_OBU_BV_03 |
---|---|
Group | AP_1DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET.rq) of the Vehicle data group attributes, i. e.: - VehicleLicencePlateNumber, - VehicleClass, - VehicleDimensions, - VehicleAxles, - VehicleWeigthLimits, - VehicleSpecificCharacteristics |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU supports the read (by means of GET.rq) of the Vehicle data group attributes, i. e.: - VehicleLicencePlateNumber, - VehicleClass, - VehicleDimensions, - VehicleAxles, - VehicleWeigthLimits, - VehicleSpecificCharacteristics |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_get_req_s1(TSPX_default_eid_s1, TCV_accessCredentials, TSC_AttrIdList_Vehicle_group), -1, -1) |
7 |
||
3 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0(TSPX_default_eid_s1), ?, 0) |
4 |
||
4 |
[TCV_attribute_list = TSPX_VehicleGroupList] |
P |
9 |
||
5 |
[TCV_attribute_list <> TSPX_VehicleGroupList] |
F |
8 |
||
6 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp(TSPX_default_eid_s1, ?), ?, 0) |
F |
4 |
|
7 |
?TIMEOUT T_wait_for_private_uplink |
F |
3 |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 5. Failure at layer 7 6. no error at L7 7. Read data back 8. Read data different to expected data 9. Read data equal to expected data |
---|
Test Case Name | TC_AP_1DAT_OBU_BV_04 |
---|---|
Group | AP_1DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET) of the Vehicle attributes, one at the time |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU supports the read (by means of GET) of the Vehicle attributes, one at the time |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 7. Read data back |
---|
Test Case Name | TC_AP_1DAT_OBU_BV_05 |
---|---|
Group | AP_1DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET.rq) of the Equipment data group attributes, i. e.: - EquipmentOBUId, - EquipmentStatus |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU supports the read (by means of GET.rq) of the Equipment data group attributes, i. e.: - EquipmentOBUId, - EquipmentStatus |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_get_req_s1(TSPX_default_eid_s1, TCV_accessCredentials, TSC_AttrIdList_Equipment_group), -1, -1) |
7 |
||
3 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0(TSPX_default_eid_s1), ?, 0) |
4 |
||
4 |
[TCV_attribute_list = TSPX_EquipmentGroupList] |
P |
9 |
||
5 |
[TCV_attribute_list <> TSPX_EquipmentGroupList] |
F |
8 |
||
6 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp(TSPX_default_eid_s1, ?), ?, 0) |
F |
4 |
|
7 |
?TIMEOUT T_wait_for_private_uplink |
F |
3 |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 5. Failure at layer 7 6. no error at L7 7. Read data back 8. Read data different to write data 9. Read data equal to write data |
---|
Test Case Name | TC_AP_1DAT_OBU_BV_06 |
---|---|
Group | AP_1DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET) of the Equipment attributes, one at the time |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU supports the read (by means of GET) of the Equipment attributes, one at the time |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 7. Read data back |
---|
Test Case Name | TC_AP_1DAT_OBU_BV_07 |
---|---|
Group | AP_1DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET.rq) of the Receipt data group attributes, i. e.: - ReceiptData1, - ReceiptData2 |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU supports the read (by means of GET.rq) of the Receipt data group attributes, i. e.: - ReceiptData1, - ReceiptData2 |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_get_req_s1(TSPX_default_eid_s1, TCV_accessCredentials, TSC_AttrIdList_ReceiptData_group), -1, -1) |
7 |
||
3 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0(TSPX_default_eid_s1), ?, 0) |
4 |
||
4 |
[TCV_attribute_list = TSPX_ReceiptDataGroupList] |
P |
9 |
||
5 |
[TCV_attribute_list <> TSPX_ReceiptDataGroupList] |
F |
8 |
||
6 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp(TSPX_default_eid_s1, ?), ?, 0) |
F |
4 |
|
7 |
?TIMEOUT T_wait_for_private_uplink |
F |
3 |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 5. Failure at layer 7 6. no error at L7 7. Read data back 8. Read data different to write data 9. Read data equal to write data |
---|
Test Case Name | TC_AP_1DAT_OBU_BV_08 |
---|---|
Group | AP_1DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET) of the Receipt attributes, one at the time |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU supports the read (by means of GET) of the Receipt attributes, one at the time |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 7. Read data back |
---|
Test Case Name | TC_AP_1DAT_OBU_BV_09 |
---|---|
Group | AP_1DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET.rq) of the PaymentMeans attribute |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU supports the read (by means of GET.rq) of the PaymentMeans attribute |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
1 |
|||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_get_req_s1(TSPX_default_eid_s1, TCV_accessCredentials, TSC_AttrIdList_PaymentMeans), -1, -1) |
7 |
||
3 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0(TSPX_default_eid_s1), ?, 0) |
(P) |
4 |
|
4 |
[TCV_attribute_list.[0].attributeValue=TSPX_attribute_PaymentMeans.attributeValue] |
P |
9 |
||
5 |
[TCV_attribute_list.[0].attributeValue<>TSPX_attribute_PaymentMeans.attributeValue] |
F |
8 |
||
6 |
TPCO1 ? ASGE_RSP (TCV_attribute_list:=ASGE_RSP.ASGE_PARAM.get_response.attributelist) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp(TSPX_default_eid_s1, ?), ?, 0) |
F |
4 |
|
7 |
?TIMEOUT T_wait_for_private_uplink |
F |
3 |
Detailed Comments | 1. Initialise OBU 3. Time out in uplink 4. Read L7 acknowlege from OBU 7. Read data back |
---|
Test Case Name | TC_AP_1DAT_OBU_BV_10 |
---|---|
Group | AP_1DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET-STAMPED.rq) of the Vehicle data group attributes, i. e.: - VehicleLicencePlateNumber, - VehicleClass, - VehicleDimensions, - VehicleAxles, - VehicleWeigthLimits, - VehicleSpecificCharacteristics |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-STAMPED-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the read (by means of GET-STAMPED.rq) of the Vehicle data group attributes, i. e.: - VehicleLicencePlateNumber, - VehicleClass, - VehicleDimensions, - VehicleAxles, - VehicleWeigthLimits, - VehicleSpecificCharacteristics |
Detailed Comments |
---|
Test Case Name | TC_AP_1DAT_OBU_BV_11 |
---|---|
Group | AP_1DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the Equipment data group attributes, i. e.: - EquipmentOBUId, - EquipmentStatus |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-STAMPED-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the Equipment data group attributes, i. e.: - EquipmentOBUId, - EquipmentStatus |
Detailed Comments |
---|
Test Case Name | TC_AP_1DAT_OBU_BV_12 |
---|---|
Group | AP_1DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the Receipt data group attributes, i. e.: - ReceiptData1, - ReceiptData2 |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-STAMPED-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the Receipt data group attributes, i. e.: - ReceiptData1, - ReceiptData2 |
Detailed Comments |
---|
Test Case Name | TC_AP_1DAT_OBU_BV_13 |
---|---|
Group | AP_1DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the PaymentMeans attribute |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-STAMPED-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU supports the read (by means of GET_STAMPED.rq) of the PaymentMeans attribute |
Detailed Comments |
---|
Test Case Name | TC_AP_1DAT_OBU_BV_14 |
---|---|
Group | AP_1DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the update of the EquipmentStatus attribute |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request and SET-request |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU supports the update of the EquipmentStatus attribute |
Detailed Comments |
---|
Test Case Name | TC_AP_1DAT_OBU_BV_15 |
---|---|
Group | AP_1DAT/OBU/BV/ |
Purpose | Verify that the OBU supports the update of the Receipt attributes |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a GET-request and SET-request |
Selection Ref | SEL_SEC1 |
Description | Verify that the OBU supports the update of the Receipt attributes |
Detailed Comments |
---|
Group Name | BI |
---|---|
Selection Ref | SEL_SEC1 |
Test Group Objective | Testing of the invalid behaviour of the application data attributes, security level 1, implemented in an On-Board Unit |
Test Case Name | TC_AP_1DAT_OBU_BI_01 |
---|---|
Group | AP_1DAT/OBU/BI/ |
Purpose | Verify that the OBU prevents the update of the read-only Vehicle attributes, one at the time |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a SET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU prevents the update of the read-only Vehicle attributes, one at the time |
Detailed Comments |
---|
Test Case Name | TC_AP_1DAT_OBU_BI_02 |
---|---|
Group | AP_1DAT/OBU/BI/ |
Purpose | Verify that the OBU prevents the update of the read-only Vehicle attributes list |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a SET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU prevents the update of the read-only Vehicle attributes list |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
||||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_set_req_s1(TSPX_default_eid_s1, TRUE, TCV_accessCredentials, TSPX_VehicleGroupList), -1, -1) |
|||
3 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(*), ?, 0) |
F |
||
4 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp(*, ?), ?, 0) |
P |
||
5 |
?TIMEOUT T_wait_for_private_uplink |
F |
Detailed Comments |
---|
Test Case Name | TC_AP_1DAT_OBU_BI_03 |
---|---|
Group | AP_1DAT/OBU/BI/ |
Purpose | Verify that the OBU prevents the update of the read-only PaymentMeans attribute |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a SET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU prevents the update of the read-only PaymentMeans attribute |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
||||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_set_req_s1(TSPX_default_eid_s1, TRUE,TCV_accessCredentials, {TSPX_attribute_PaymentMeans}), -1, -1) |
|||
3 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(*), ?, 0) |
F |
||
4 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp(*, ?), ?, 0) |
P |
||
5 |
?TIMEOUT T_wait_for_private_uplink |
F |
Detailed Comments |
---|
Test Case Name | TC_AP_1DAT_OBU_BI_04 |
---|---|
Group | AP_1DAT/OBU/BI/ |
Purpose | Verify that the OBU prevents the update of the read-only EquipmentOBUId attribute |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a SET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU prevents the update of the read-only EquipmentOBUId attribute |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
||||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_set_req_s1(TSPX_default_eid_s1, TRUE, TCV_accessCredentials, cts_EquipmentOBUId), -1, -1) |
|||
3 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(*), ?, 0) |
F |
||
4 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp(*, ?), ?, 0) |
P |
||
5 |
?TIMEOUT T_wait_for_private_uplink |
F |
Detailed Comments |
---|
Test Case Name | TC_AP_1DAT_OBU_BI_05 |
---|---|
Group | AP_1DAT/OBU/BI/ |
Purpose | Verify that the OBU prevents the update of the Equipment attributes list |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 OBU initialised and that can accept a SET-request |
Selection Ref | SEL_MANDATORY |
Description | Verify that the OBU prevents the update of the Equipment attributes list |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_default_wakeup_BST_VST_s1(TSO_get_system_time()) |
||||
2 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, 7, cpdu_set_req_s1(TSPX_default_eid_s1, TRUE, TCV_accessCredentials, TSPX_EquipmentGroupList), -1, -1) |
|||
3 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(*), ?, 0) |
F |
||
4 |
TPCO1 ? ASGE_RSP CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp(*, ?), ?, 0) |
P |
||
5 |
?TIMEOUT T_wait_for_private_uplink |
F |
Detailed Comments |
---|
Group Name | AP_1SEC |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the application security, security level 0 |
Group Name | OBU |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the application security, security level 0, implemented in an On-Board Unit |
Group Name | BV |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the valid behaviour of the application security, security level 0, implemented in an On-Board Unit |
Test Case Name | TC_AP_1SEC_OBU_BV_01 |
---|---|
Group | AP_1SEC/OBU/BV/ |
Purpose | Test GetStamped with correct and incorrect parameters |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Authentication keys 1÷ 8 and Authenticator (RndRSE value = r1, KeyRef value = k1) |
Detailed Comments |
---|
Test Case Name | TC_AP_1SEC_OBU_BV_02 |
---|---|
Group | AP_1SEC/OBU/BV/ |
Purpose | Test GetStamped with correct and incorrect parameters |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Authentication keys 1÷ 8 and Authenticator (RndRSE value = r2, KeyRef value = k2) |
Detailed Comments |
---|
Test Case Name | TC_AP_1SEC_OBU_BV_03 |
---|---|
Group | AP_1SEC/OBU/BV/ |
Purpose | Test GetStamped with correct and incorrect parameters |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Authentication keys 1÷ 8 and Authenticator (RndRSE value = r3, KeyRef value = k3) |
Detailed Comments |
---|
Test Case Name | TC_AP_1SEC_OBU_BV_04 |
---|---|
Group | AP_1SEC/OBU/BV/ |
Purpose | Test GetStamped with correct and incorrect parameters |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Authentication keys 1÷ 8 and Authenticator (RndRSE value = r4, KeyRef value = k4) |
Detailed Comments |
---|
Test Case Name | TC_AP_1SEC_OBU_BV_05 |
---|---|
Group | AP_1SEC/OBU/BV/ |
Purpose | Test GetStamped with correct and incorrect parameters |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Authentication keys 1÷ 8 and Authenticator (RndRSE value = r5, KeyRef value = k5) |
Detailed Comments |
---|
Test Case Name | TC_AP_1SEC_OBU_BV_06 |
---|---|
Group | AP_1SEC/OBU/BV/ |
Purpose | Test GetStamped with correct and incorrect parameters |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Authentication keys 1÷ 8 and Authenticator (RndRSE value = r6, KeyRef value = k6) |
Detailed Comments |
---|
Test Case Name | TC_AP_1SEC_OBU_BV_07 |
---|---|
Group | AP_1SEC/OBU/BV/ |
Purpose | Test GetStamped with correct and incorrect parameters |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Authentication keys 1÷ 8 and Authenticator (RndRSE value = r7, KeyRef value = k7) |
Detailed Comments |
---|
Test Case Name | TC_AP_1SEC_OBU_BV_08 |
---|---|
Group | AP_1SEC/OBU/BV/ |
Purpose | Test GetStamped with correct and incorrect parameters |
Configuration | |
Default | |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Authentication keys 1÷ 8 and Authenticator (RndRSE value = r8, KeyRef value = k8) |
Detailed Comments |
---|
Group Name | AP_1TRA |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the application transaction, security level 0 |
Group Name | OBU |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the application transaction, security level 0, implemented in an On-Board Unit |
Group Name | BV |
---|---|
Selection Ref | SEL_MANDATORY |
Test Group Objective | Testing of the valid behaviour of the application transaction, security level 0, implemented in an On-Board Unit |
Test Case Name | TC_AP_1TRA_OBU_BV_01 |
---|---|
Group | AP_1TRA/OBU/BV/ |
Purpose | Support of CARDME transaction |
Configuration | |
Default | DF_Standard_Default |
Comments | [EN 15509] clause 5.1.4 |
Selection Ref | SEL_MANDATORY |
Description | Support of CARDME transaction |
Detailed Comments |
---|
Test Step Name | STP_OBU_wakeup(time : Time) |
---|---|
Group | |
Objective | Transmit frame of at least 11 octets including preamble (EN 12253) in order to wake up OBU |
Default | DF_Wakeup_Default |
Comments | Transmit frame of at least 11 octets including preamble (EN 12253) in order to wake up OBU |
Description | Transmit frame of at least 11 octets including preamble (EN 12253) in order to wake up OBU |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID2_1, time-256, TSPX_Default_profile, {{aid TSPX_Default_applicationID}}, {}, {} ), -1, -1) |
1 |
||
2 |
?TIMEOUT T_wakeup |
2 |
|||
3 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID2_1, time-256, TSPX_Default_profile, {{aid TSPX_Default_applicationID}},{}, {}), -1, -1) |
3 |
||
4 |
?TIMEOUT T_wakeup |
2 |
Detailed Comments | 1. Transmit a first BST with beaconID_2 2. Wait for possible time out 3. Transmit BST again. Now OBU should be awake |
---|
Test Step Name | STP_default_BST_VST(time : Time) |
---|---|
Group | |
Objective | Send default BST (TSPX_Default_profile, TSPX_Default_applicationID). Await any VST. |
Default | DF_Standard_Preamble_Default |
Comments | Send default BST (TSPX_Default_profile, TSPX_Default_applicationID). Await any VST. Retrieves TCV_session_LID from VST frame. |
Description | Send default BST (TSPX_Default_profile, TSPX_Default_applicationID). Await any VST. |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID1_1, time, TSPX_Default_profile, {{aid TSPX_Default_applicationID}},{},{}), -1, -1) |
1 |
||
2 |
TPCO1 ? INIT_RSP (TCV_session_lid := INIT_RSP.LID, TCV_VST_Parameter := INIT_RSP.Init_Param.initialisation_response.applications.[TSPX_IndexOfApplUnderTest].parameter.octetstring) CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST(?, ?, ?), ?, 0) |
(P) |
2 |
|
3 |
?TIMEOUT T_wakeup |
I |
Detailed Comments | 1. Send BST 2. Receive VST and read details of application |
---|
Test Step Name | STP_default_echo_request |
---|---|
Group | |
Objective | Transmit an ECHO.Request and wait for the response. |
Default | DF_Standard_Default |
Comments | Transmit an ECHO.Request and wait for the response. - If response received, TCV_default_echo_response_received is set to TRUE - if timeout (no response), TCV_default_echo_response_received is set to FALSE |
Description | Transmit an ECHO.Request and wait for the response. |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
TPCO1 ! ASGE_REQ START T_wakeup |
casp_asge_req(TCV_session_lid, 7, cpdu_default_echo_req, -1, -1) |
1 |
||
2 |
TPCO1 ? ASGE_RSP (TCV_default_echo_response_received := TRUE) CANCEL T_wakeup |
casp_asge_rsp(TCV_session_lid, 9, cpdu_any_echo_rsp, ?, 0) |
2 |
||
3 |
?TIMEOUT T_wakeup (TCV_default_echo_response_received := FALSE) |
3 |
Detailed Comments | 1. Send ECHO.Request 2. If the ECHO.Response is received, set TCV_default_echo_response_received to TRUE 3. If the ECHO.Response is not received, set TCV_default_echo_response_received to FALSE |
---|
Test Step Name | STP_default_first_private_request |
---|---|
Group | |
Objective | Transmit an ECHO.Request and wait for the response. |
Default | DF_Standard_Preamble_Default |
Comments | Transmit an ECHO.Request and wait for the response. - If response received, TCV_default_echo_response_received is set to TRUE - if timeout (no response), TCV_default_echo_response_received is set to FALSE |
Description | Transmit an ECHO.Request and wait for the response. |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
TPCO1 ! ASGE_REQ START T_wait_for_private_uplink |
casp_asge_req(TCV_session_lid, TSPX_first_private_FlowControl, TSPX_first_private_APDU_req, -1, -1) |
1 |
||
2 |
TPCO1 ? ASGE_RSP (TCV_first_response_received := TRUE) CANCEL T_wait_for_private_uplink |
casp_asge_rsp(TCV_session_lid, ?, TSPX_first_private_APDU_rsp, ?, 0) |
2 |
||
3 |
?TIMEOUT T_wait_for_private_uplink (TCV_first_response_received := FALSE) |
3 |
Detailed Comments | 1. Send ECHO.Request 2. If the ECHO.Response is received, set TCV_default_echo_response_received to TRUE 3. If the ECHO.Response is not received, set TCV_default_echo_response_received to FALSE |
---|
Test Step Name | STP_default_initialisation(time : Time) |
---|---|
Group | |
Objective | Transmit default BST to start an initialization sequence, finalise the initialization by transmitting a privately addressed command |
Default | DF_Standard_Preamble_Default |
Comments | |
Description | Transmit default BST to start an initialization sequence, finalise the initialization by transmitting a privately addressed command |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_OBU_wakeup(time) |
1 |
|||
2 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID1_1, time, TSPX_Default_profile, {{aid TSPX_Default_applicationID}}, {}, {}), -1, -1) |
2 |
||
3 |
TPCO1 ? INIT_RSP (TCV_session_lid := INIT_RSP.LID, TCV_VST_Parameter := INIT_RSP.Init_Param.initialisation_response.applications.[TSPX_IndexOfApplUnderTest].parameter.octetstring) CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST(?, ?, ?), ?, 0) |
(P) |
3 |
|
4 |
+STP_default_first_private_request |
4 |
|||
5 |
[TCV_first_response_received = TRUE] |
(P) |
5 |
||
6 |
[TCV_first_response_received = FALSE] |
F |
6 |
||
7 |
?TIMEOUT T_wakeup |
F |
7 |
Detailed Comments | 1. Wakeup OBU. 2. Transmit a BST with BeaconID1. 3. The OBU should now perform an initialization sequence. If VST received, the LID will be stored for later use 4. After VST received, send first privately addressed request to finalize the initialization sequence 5. If the response is receive, the Initialization sequence has been successfully finalized 6. If the response is not received, the Initialization sequence failed 7. If no VST received, Initialization has failed |
---|
Test Step Name | STP_default_wakeup_BST_VST(time : Time) |
---|---|
Group | |
Objective | Wakeup OBU, send default BST, await default VST. Retrieves TCV_session_LID |
Default | |
Comments | |
Description | Wakeup OBU, send default BST, await default VST. Retrieves TCV_session_LID |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_OBU_wakeup(time) |
1 |
|||
2 |
+STP_default_BST_VST(time) |
2 |
Detailed Comments | 1. Wakeup OBU 2. Send BST |
---|
Test Step Name | STP_release(prv_lid :Lid) |
---|---|
Group | |
Objective | Transmit a RELEASE.Request |
Default | |
Comments | |
Description | Transmit a RELEASE.Request |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
TPCO1 ! ASGE_REQ START T_blocked |
casp_asge_req(prv_lid, 1, cpdu_release_req, -1, -1) |
1 |
||
2 |
? TIMEOUT T_blocked |
Detailed Comments | 1. Send RELEASE.Request |
---|
Test Step Name | STP_two_apps_BST_VST(time : Time) |
---|---|
Group | |
Objective | Send BST offering two known applications, await VST requesting a context for each of these applications. |
Default | |
Comments | Send BST offering two known applications, await VST requesting a context for each of these applications. Retrieves TCV_session_LID |
Description | Send BST offering two known applications, await VST requesting a context for each of these applications. |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID1_1, TSO_get_system_time(), TSPX_Default_profile, { { aid TSPX_Default_applicationID}, { aid TSPX_Second_applicationID} }, {}, {} ), -1, -1) |
2 |
||
2 |
TPCO1 ? INIT_RSP (TCV_session_lid := INIT_RSP.LID, TCV_first_eid := INIT_RSP.Init_Param.initialisation_response.applications.[0].eid, TCV_second_eid := INIT_RSP.Init_Param.initialisation_response.applications.[1].eid) CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST(?, ?, ?), ?, 0) |
(P) |
3 |
|
3 |
?TIMEOUT T_wakeup |
I |
Detailed Comments | 1. Wakeup OBU 2. Send BST 3. Receive VST and read details of application |
---|
Test Step Name | STP_two_apps_wakeup_BST_VST(time : Time) |
---|---|
Group | |
Objective | Wakeup OBU, send BST offering two known applications, await VST requesting a context for each of these applications. |
Default | |
Comments | Wakeup OBU, send BST offering two known applications, await VST requesting a context for each of these applications. Retrieves TCV_session_LID |
Description | Wakeup OBU, send BST offering two known applications, await VST requesting a context for each of these applications. |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_OBU_wakeup(time) |
1 |
|||
2 |
+STP_two_apps_BST_VST(time) |
2 |
Detailed Comments | 1. Wakeup OBU 2. Send BST 3. Receive VST and read details of application |
---|
Test Step Name | STP_default_echo_request_s1 |
---|---|
Group | |
Objective | Transmit an ECHO.Request and wait for the response. |
Default | DF_Standard_Default |
Comments | Transmit an ECHO.Request and wait for the response. - If response received, TCV_default_echo_response_received is set to TRUE - if timeout (no response), TCV_default_echo_response_received is set to FALSE |
Description | Transmit an ECHO.Request and wait for the response. |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
TPCO1 ! ASGE_REQ START T_wakeup |
casp_asge_req(TCV_session_lid, 7, cpdu_default_echo_req_s1(TCV_accessCredentials), -1, -1) |
1 |
||
2 |
TPCO1 ? ASGE_RSP (TCV_default_echo_response_received := TRUE) CANCEL T_wakeup |
casp_asge_rsp(TCV_session_lid, 9, cpdu_any_echo_rsp, ?, 0) |
2 |
||
3 |
?TIMEOUT T_wakeup (TCV_default_echo_response_received := FALSE) |
3 |
Detailed Comments | 1. Send ECHO.Request 2. If the ECHO.Response is received, set TCV_default_echo_response_received to TRUE 3. If the ECHO.Response is not received, set TCV_default_echo_response_received to FALSE |
---|
Test Step Name | STP_default_initialisation_s1(time : Time) |
---|---|
Group | |
Objective | Transmit default BST to start an initialization sequence, finalise the initialization by transmitting a privately addressed command |
Default | DF_Standard_Preamble_Default |
Comments | |
Description | Transmit default BST to start an initialization sequence, finalise the initialization by transmitting a privately addressed command |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_OBU_wakeup(time) |
1 |
|||
2 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID1_1, time, TSPX_Default_profile, {{aid TSPX_Default_applicationID}}, {}, {}), -1, -1) |
2 |
||
3 |
TPCO1 ? INIT_RSP (TCV_session_lid := INIT_RSP.LID, TCV_VST_Parameter := INIT_RSP.Init_Param.initialisation_response.applications.[TSPX_IndexOfApplUnderTest].parameter.octetstring) CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST_s1(?, 1, TSPX_default_eid_s1, ?), ?, 0) |
(P) |
3 |
|
4 |
(TCV_accessCredentials:=TSO_calc_accessCredentials(TCV_VST_Parameter, TSPX_MAcKey)) |
||||
5 |
+STP_default_first_private_request |
4 |
|||
6 |
[TCV_first_response_received = TRUE] |
(P) |
5 |
||
7 |
[TCV_first_response_received = FALSE] |
F |
6 |
||
8 |
?TIMEOUT T_wakeup |
F |
7 |
Detailed Comments | 1. Wakeup OBU. 2. Transmit a BST with BeaconID1. 3. The OBU should now perform an initialization sequence. If VST received, the LID will be stored for later use 4. After VST received, send first privately addressed request to finalize the initialization sequence 5. If the response is receive, the Initialization sequence has been successfully finalized 6. If the response is not received, the Initialization sequence failed 7. If no VST received, Initialization has failed |
---|
Test Step Name | STP_default_wakeup_BST_VST_s1(time : Time) |
---|---|
Group | |
Objective | Wakeup OBU, send default BST, await default VST. Retrieves TCV_session_LID |
Default | |
Comments | |
Description | Wakeup OBU, send default BST, await default VST. Retrieves TCV_session_LID |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_OBU_wakeup(time) |
1 |
|||
2 |
+STP_default_BST_VST_s1(time) |
2 |
Detailed Comments | 1. Wakeup OBU 2. Send BST |
---|
Test Step Name | STP_default_BST_VST_s1(time : Time) |
---|---|
Group | |
Objective | Send default BST (TSPX_Default_profile, TSPX_Default_applicationID). Await any VST. |
Default | DF_Standard_Preamble_Default |
Comments | Send default BST (TSPX_Default_profile, TSPX_Default_applicationID). Await any VST. Retrieves TCV_session_LID from VST frame. |
Description | Send default BST (TSPX_Default_profile, TSPX_Default_applicationID). Await any VST. |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID1_1, time, TSPX_Default_profile, {{aid TSPX_Default_applicationID}},{},{}), -1, -1) |
1 |
||
2 |
TPCO1 ? INIT_RSP (TCV_session_lid := INIT_RSP.LID, TCV_VST_Parameter := INIT_RSP.Init_Param.initialisation_response.applications.[TSPX_IndexOfApplUnderTest].parameter.octetstring) CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST_s1(?, 1, TSPX_default_eid_s1, ?), ?, 0) |
(P) |
2 |
|
3 |
(TCV_accessCredentials:=TSO_calc_accessCredentials(TCV_VST_Parameter, TSPX_MAcKey)) |
||||
4 |
?TIMEOUT T_wakeup |
I |
Detailed Comments | 1. Send BST 2. Receive VST and read details of application |
---|
Test Step Name | STP_two_apps_wakeup_BST_VST_s1(time : Time) |
---|---|
Group | |
Objective | Wakeup OBU, send BST offering two known applications, await VST requesting a context for each of these applications. |
Default | |
Comments | Wakeup OBU, send BST offering two known applications, await VST requesting a context for each of these applications. Retrieves TCV_session_LID |
Description | Wakeup OBU, send BST offering two known applications, await VST requesting a context for each of these applications. |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
+STP_OBU_wakeup(time) |
1 |
|||
2 |
+STP_two_apps_BST_VST_s1(time) |
2 |
Detailed Comments | 1. Wakeup OBU 2. Send BST 3. Receive VST and read details of application |
---|
Test Step Name | STP_two_apps_BST_VST_s1(time : Time) |
---|---|
Group | |
Objective | Send BST offering two known applications, await VST requesting a context for each of these applications. |
Default | |
Comments | Send BST offering two known applications, await VST requesting a context for each of these applications. Retrieves TCV_session_LID |
Description | Send BST offering two known applications, await VST requesting a context for each of these applications. |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
TPCO1 ! INIT_REQ START T_wakeup |
casp_init_req (cts_broadcast_LID, 2, cpdu_BST(cts_beaconID1_1, TSO_get_system_time(), TSPX_Default_profile, { { aid TSPX_Default_applicationID}, { aid TSPX_Second_applicationID} }, {}, {} ), -1, -1) |
2 |
||
2 |
TPCO1 ? INIT_RSP (TCV_session_lid := INIT_RSP.LID, TCV_first_eid := INIT_RSP.Init_Param.initialisation_response.applications.[0].eid, TCV_second_eid := INIT_RSP.Init_Param.initialisation_response.applications.[1].eid) CANCEL T_wakeup |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST_s1(?, 1, TSPX_default_eid_s1, ?), ?, 0) |
(P) |
3 |
|
3 |
?TIMEOUT T_wakeup |
I |
Detailed Comments | 1. Wakeup OBU 2. Send BST 3. Receive VST and read details of application |
---|
Default Name | DF_Standard_Default |
---|---|
Group | |
Objective | Standard default for use in test cases |
Comments | Handles unexpected events, leads to failure |
Description | Standard default for use in test cases |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
?OTHERWISE CANCEL |
F |
|||
2 |
?TIMEOUT |
F |
Detailed Comments |
---|
Default Name | DF_Standard_Preamble_Default |
---|---|
Group | |
Objective | Standard default for use in preambles |
Comments | Handles unexpected events, leads to inconclusive verdict |
Description | Standard default for use in preambles |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
?OTHERWISE CANCEL |
I |
|||
2 |
?TIMEOUT |
I |
Detailed Comments |
---|
Default Name | DF_Wakeup_Default |
---|---|
Group | |
Objective | Consume any INIT_RSP (VST) which results from the wakeup procedure |
Comments | Handles any INIT_RSP which results from wakeup procedure, and which is not requried for the test case |
Description | Consumes any INIT_RSP (VST) which results from the wakeup procedure |
Nr | Label | Behaviour Description | Constraints Ref | Verdict | Comments |
---|---|---|---|---|---|
1 |
TPCO1 ? INIT_RSP |
casp_init_rsp(cts_any_private_LID, 3, cpdu_VST(?, ?, ?), ?, 0) |
1 |
||
2 |
RETURN |
2 |
|||
3 |
?OTHERWISE CANCEL |
I |
3 |
Detailed Comments | 1. Accept any INIT_RSP with any VST, which might be in reply to the wakeup INIT_REQ/BST and which we don't want to keep in the queue 2. Return to the top level of the set of alternatives (the ?TIMEOUT T_wakeup), without cancelling the timer, i.e. wait until the timer expires 3. Something else unexpected has been received: can't start the testcase so Inconclusive verdict |
---|