Newer
Older
* 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 TP/CAM/MSD/GFQ/BV-06
* @reference ETSI EN 302 637-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>
* Pics Selection: PICS_CAM_GENERATION
* 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 TP/CAM/MSD/GFQ/TI-07
* @reference ETSI EN 302 637-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 TP/CAM/MSD/GFQ/TI-08
* @reference ETSI EN 302 637-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 {
2089
2090
2091
2092
2093
2094
2095
2096
2097
2098
2099
2100
2101
2102
2103
2104
2105
2106
2107
2108
2109
2110
2111
2112
/**
* @desc Check that CAM is encapsulated in BTP type B packet
* <pre>
* Pics Selection: PICS_CAM_GENERATION
* 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 TP/CAM/MSD/PAR/BV-01
* @reference ETSI EN 302 637-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
2118
2119
2120
2121
2122
2123
2124
2125
2126
2127
2128
2129
2130
2131
2132
2133
2134
2135
2136
2137
2138
2139
2140
2141
2142
2143
2144
2145
2146
2147
2148
2149
2150
2151
2152
2153
2154
2155
2156
2157
2158
2159
2160
2161
2162
2163
2164
2165
2166
2167
2168
2169
2170
2171
2172
2173
2174
2175
2176
2177
2178
2179
/**
* @desc Check that CAM is encapsulated in SHB packet
* <pre>
* Pics Selection: PICS_CAM_GENERATION
* 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 TP/CAM/MSD/PAR/BV-02
* @reference ETSI EN 302 637-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
* 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 TP/CAM/MSD/PAR/BV-03
* @reference ETSI EN 302 637-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:
* with {
* the IUT being in the "initial state"
* 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 TP/CAM/MSD/SSP/BO-01
* @reference ETSI EN 302 637-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:
* with {
* the IUT being in the "initial state"
* 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 TP/CAM/MSD/SSP/BO-02
* @reference ETSI EN 302 637-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:
* with {
* the IUT being in the "initial state"
* 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 TP/CAM/MSD/SSP/BO-03
* @reference ETSI EN 302 637-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 TP/CAM/MSP/BV-01
* @reference ETSI EN 302 637-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 TP/CAM/MSP/SSP/BV-01-01
* @reference ETSI EN 302 637-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 TP/CAM/MSP/SSP/BV-01-02
* @reference ETSI EN 302 637-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 TP/CAM/MSP/SSP/BV-01-03
* @reference ETSI EN 302 637-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