Newer
Older
* containing camParameters
* containing highFrequencyContainer
* containing basicVehicleContainerHighFrequency
* containing speed set to SPEED_1
* the IUT not having sent any CAM since T_GenCam_Dcc
* }
* Expected behaviour:
* ensure that {
* when {
* T_GenCam_Dcc expires
* and the IUT is alerted that abs(CurrentSpeed – SPEED_1) > 0,5 m/s
* }
* then {
* the IUT sends a CAM immediately
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.1 TP/CAM/MSD/GFQ/BV-06
* @reference ETSI EN 302 637-2 v1.3.2, clause 6.1.3
*/
testcase TC_CAM_MSD_GFQ_BV_06() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_GFQ_BV_06();
} // end TC_CAM_MSD_GFQ_BV_06
/**
* @desc Check that CAM is generated immediately when the time
* elapsed since the last CAM generation is equal or larger
* than T_GenCam and equal or larger than T_GenCam_Dcc.
* <pre>
* Initial conditions:
* with {
* the IUT being in the "initial state"
* the IUT having sent a CAM
* }
* Expected behaviour:
* ensure that {
* when {
* T_GenCam expires
* and T_GenCam_Dcc expires
* }
* then {
* the IUT sends another CAM
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.1 TP/CAM/MSD/GFQ/TI-07
* @reference ETSI EN 302 637-2 v1.3.2, clause 6.1.3
testcase TC_CAM_MSD_GFQ_TI_07() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_GFQ_TI_07();
} // end TC_CAM_MSD_GFQ_TI_07
/**
* @desc Check that maximum CAM generation frequency for RSU ITS-S is 1Hz
*
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* IUT sends a CAM
* }
* then {
* the IUT does not send another CAM afterbefore 1s
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.1 TP/CAM/MSD/GFQ/TI-08
* @reference ETSI EN 302 637-2 v1.3.2, clause 6.1.4
testcase TC_CAM_MSD_GFQ_TI_08() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_GFQ_TI_08();
} // end TC_CAM_MSD_GFQ_TI_08
} // end group camGenerationFrequency
group camLowerLayerParameters {
/**
* @desc Check that CAM is encapsulated in BTP type B packet
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* a CAM is generated
* }
* then {
* the IUT sends a CAM
* encapsulated in a BTP-B packet
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.1 TP/CAM/MSD/PAR/BV-01
* @reference ETSI EN 302 637-2 v1.3.2, clause 5.3.4.1
*/
testcase TC_CAM_MSD_PAR_BV_01() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_PAR_BV_01();
} // end TC_CAM_MSD_PAR_BV_01
/**
* @desc Check that CAM is encapsulated in SHB packet
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* a CAM is generated
* }
* then {
* the IUT sends a CAM
* encapsulated in a SHB packet
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.1 TP/CAM/MSD/PAR/BV-02
* @reference ETSI EN 302 637-2 v1.3.2, clause 5.3.4.1
*/
testcase TC_CAM_MSD_PAR_BV_02() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_PAR_BV_02();
} // end TC_CAM_MSD_PAR_BV_02
/**
* @desc Check that CAM is encapsulated in GN packet with lifetime lower than 1s
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* a CAM is generated
* }
* then {
* the IUT sends a CAM
* encapsulated in a GN packet
* containing Basic Header
* containing Lifetime field
* indicating value lower than 1s
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.1 TP/CAM/MSD/PAR/BV-03
* @reference ETSI EN 302 637-2 v1.3.2, clause 5.3.4.1
*/
testcase TC_CAM_MSD_PAR_BV_03() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_PAR_BV_03();
} // end TC_CAM_MSD_PAR_BV_03
} // end group camLowerLayerParameters
/**
* @desc Check that the IUT does not send a CAM
* when its content is not permitted by signing certificate
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND PICS_IS_IUT_SECURED
* Initial conditions:
* the IUT is authorized to sign CAMs with the certificate
* containing CAM SSP
* indicating bit at position '1' set to 0
* Expected behaviour:
* ensure that {
* when {
* the IUT generates a CAM
* }
* then {
* the IUT does not send this CAM
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.1 TP/CAM/MSD/SSP/BO-01
* @reference ETSI EN 302 637-2 v1.3.2, clause 6.2.2.1
testcase TC_CAM_MSD_SSP_BO_01() runs on ItsCam system ItsCamSystem {
/**
* @desc Check that the IUT does not send a CAM
* when its content is not permitted by signing certificate
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND PICS_IS_IUT_SECURED
* AND PICS_SPECIALVEHICLECONTAINER AND PICS_PUBLICTRANS
* Initial conditions:
* the IUT is authorized to sign CAMs with the certificate
* containing CAM SSP
* indicating bit at position '2' set to 0
* Expected behaviour:
* ensure that {
* when {
* the IUT generates a CAM
* containing publicTransportContainer
* }
* then {
* the IUT does not send this CAM
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.1 TP/CAM/MSD/SSP/BO-02
* @reference ETSI EN 302 637-2 v1.3.2, clause 6.2.2.1
testcase TC_CAM_MSD_SSP_BO_02() runs on ItsCam system ItsCamSystem {
/**
* @desc Check that the IUT does not send a CAM
* when its content is not permitted by signing certificate
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND PICS_IS_IUT_SECURED
* AND PICS_SPECIALVEHICLECONTAINER AND PICS_SPECIALTRANS
* Initial conditions:
* the IUT is authorized to sign CAMs with the certificate
* containing CAM SSP
* indicating bit at position '3' set to 0
* Expected behaviour:
* ensure that {
* when {
* the IUT generates a CAM
* containing specialTransportContainer
* }
* then {
* the IUT does not send this CAM
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.1 TP/CAM/MSD/SSP/BO-03
* @reference ETSI EN 302 637-2 v1.3.2, clause 6.2.2.1
*/
testcase TC_CAM_MSD_SSP_BO_03() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_SSP_BO_03();
} // end TC_CAM_MSD_SSP_BO_03
} // end group camGenerationSSP
} // end group camMessageDissemination
group camMessageProcessing {
/**
* @desc Check that content of received CAM is transmitted to
* applications and other facilities.
* <pre>
* Pics Selection: PICS_CAM_RECEPTION
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a valid CAM
* }
* then {
* the IUT forwards the CAM content to upper layers
* and the IUT forwards the CAM content to other facilities
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.1 TP/CAM/MSP/BV-01
* @reference ETSI EN 302 637-2 v1.3.2, clause 4.2.2
*/
testcase TC_CAM_MSP_BV_01() runs on ItsCam system ItsCamSystem {
f_CAM_MSP_BV_01();
/**
* @desc Check that IUT discards CAM if SSP value of the signing certificate
* is not consistent with the provided containers.
* <pre>
* Pics Selection: PICS_CAM_RECEPTION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a secured CAM
* containing CenDsrcTollingZone/ProtectedCommunicationZonesRSU
* signed with certificate
* containing CAM SSP bit at position 0
* indicating 0
* }
* then {
* the IUT discards the CAM
* and the IUT does not forward the CAM content to upper layers
* and the IUT does not forward the CAM content to other facilities
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.1 TP/CAM/MSP/SSP/BV-01-01
* @reference ETSI EN 302 637-2 v1.3.2, clause 6.2.2.1
*/
testcase TC_CAM_MSP_SSP_BV_01() runs on ItsCam system ItsCamSystem {
f_CAM_MSP_SSP_BV_01();
} // end TC_CAM_MSP_BV_01
/**
* @desc Check that IUT discards CAM if SSP value of the signing certificate
* is not consistent with the provided containers.
* <pre>
* Pics Selection: PICS_CAM_RECEPTION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a secured CAM
* containing publicTransportContainer
* and signed with certificate
* containing CAM SSP bit at position 1
* indicating 0
* }
* then {
* the IUT discards the CAM
* and the IUT does not forward the CAM content to upper layers
* and the IUT does not forward the CAM content to other facilities
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.1 TP/CAM/MSP/SSP/BV-01-02
* @reference ETSI EN 302 637-2 v1.3.2, clause 6.2.2.1
*/
testcase TC_CAM_MSP_SSP_BV_02() runs on ItsCam system ItsCamSystem {
} // end TC_CAM_MSP_BV_02
/**
* @desc Check that IUT discards CAM if SSP value of the signing certificate
* is not consistent with the provided containers.
* <pre>
* Pics Selection: PICS_CAM_RECEPTION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a secured CAM
* containing specialTransportContainer
* and signed with certificate
* containing CAM SSP bit at position 2
* indicating 0
* }
* then {
* the IUT discards the CAM
* and the IUT does not forward the CAM content to upper layers
* and the IUT does not forward the CAM content to other facilities
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.1 TP/CAM/MSP/SSP/BV-01-03
* @reference ETSI EN 302 637-2 v1.3.2, clause 6.2.2.1
*/
testcase TC_CAM_MSP_SSP_BV_03() runs on ItsCam system ItsCamSystem {
f_CAM_MSP_SSP_BV_03();
} // end TC_CAM_MSP_BV_03
}// end group camProcessingSSP
} // end group camMessageProcessing
} // end ItsCam_TestCases