/** * @author ETSI / STF484 / TTF002 * @version $Url: https://oldforge.etsi.org/svn/ITS/tags/20170222_STF527_Final/ttcn/AtsMapemSpatem/ItsSpatem_TestCases.ttcn $ * $Id: ItsSpatem_TestCases.ttcn 2646 2016-12-16 07:35:58Z garciay $ * @desc Testcases for TLM Service * @reference ETSI TS 103 301 v1.3.1 * @copyright ETSI Copyright Notification * No part may be reproduced except as authorized by written permission. * The copyright and the foregoing restriction extend to reproduction in all media. * All rights reserved. * */ module ItsSpatem_TestCases { // LibItsMapemSpatem import from LibItsMapemSpatem_TestSystem all; // LibItsMapemSpatem import from ItsSpatem_TpFunctions all; group spateMessageDissemination { group spateMessageFormat { /** * @desc Check that protocolVersion is set to 1 and messageID is set to 4 *
* Pics Selection: PICS_SPATEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * } * Expected behaviour: * ensure that { * when { * a SPATEM is generated * } * then { * the IUT sends a valid SPATEM * containing ITS PDU header * containing protocolVersion * indicating value '1' * and containing messageID * indicating value '4' * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_MSGF_BV_01 * @reference ETSI TS 103 301 v1.1.1 Clause 5.3 */ testcase TC_IS_TLM_GEN_MSGF_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_MSGF_BV_01(); } // End of testcase TC_IS_TLM_GEN_MSGF_BV_01 /** * @desc An IUT shall include the unique identifier for the intersection as part of * the signal phase and timing message broadcast *
* Pics Selection: PICS_SPATEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * } * Expected behaviour: * ensure that { * when { * the TLM service is requested to send a SPATEM * } * then { * the IUT sends a valid SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing id * indicating unique intersection identifier * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_MSGF_BV_02 * @reference CEN ISO/TS 19091 [4], clauses 6.7.3, G */ testcase TC_IS_TLM_GEN_MSGF_BV_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_MSGF_BV_02(); } // End of testcase TC_IS_TLM_GEN_MSGF_BV_02 /** * @desc Check that TLM service generates a SPAT message with the revision data element * synchronized with the revision data element in the intersection configuration * of the roadway geometric information (MAP) *
* Pics Selection: PICS_SPATEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * and the Iast broadcastet MAPEM is * containing id of type IntersectionReferenceID * indicating ID * and containing elements of type IntersectionGeometry * containing revision * indicating (R) * } * Expected behaviour: * ensure that { * when { * the TLM service is requested to send a SPATEM * containing id of type IntersectionReferenceID * indicating ID * } * then { * the IUT sends a valid SPATEM * containing the elements of type IntersectionState * containing revision * indicating R * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_MSGF_BV_03 * @reference CEN ISO/TS 19091 [4], clause G.4 */ testcase TC_IS_TLM_GEN_MSGF_BV_03 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_MSGF_BV_03(); } // End of testcase TC_IS_TLM_GEN_MSGF_BV_03 /** * @desc An IUT shall include a timestamp as part of the signal phase and timing message broadcast. *
* Pics Selection: PICS_SPATEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * } * Expected behaviour: * ensure that { * when { * the TLM service is requested to send a SPATEM * } * then { * the IUT sends a valid SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing moy * indicating the minute of the year when message was generated * containing timeStamp * indicating the millisecond of the current minute * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_MSGF_BV_04 * @reference CEN ISO/TS 19091 [4], clauses 6.7.5, G */ testcase TC_IS_TLM_GEN_MSGF_BV_04 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_MSGF_BV_04(); } // End of testcase TC_IS_TLM_GEN_MSGF_BV_04 /** * @desc An IUT shall include signalGroupe for each intersection if this signalGroup is defined in the * intersection configuration of the roadway geometric information (MAP) *
* Pics Selection: PICS_SPATEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * and the last broadcasted MAPEM is * containing id of type IntersectionReferenceID * indicating ID * and containing elements of type IntersectionGeometry * containing laneSet * containing elements of type GenericLane * containing connectsTo * containing elements of type Connection * containing signalGroup * indicating (SG) * } * Expected behaviour: * ensure that { * when { * the TLM service is requested to send a SPATEM * containing id of type IntersectionReferenceID * indicating ID * } * then { * the IUT sends a valid SPATEM * containing elements of type IntersectionState * containing spat * containing intersections * containing as many elements of type IntersectionState as needed * containing states * containing as many elements of type MovementState as needed * containing signalGroup * indicating SG * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_MSGF_BV_05 * @reference CEN ISO/TS 19091 [4], clause 6.7.6 */ testcase TC_IS_TLM_GEN_MSGF_BV_05 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_MSGF_BV_05(); } // End of testcase TC_IS_TLM_GEN_MSGF_BV_05 /** * @desc For each vehicular manoeuvre at a signalized intersection, an IUT shall include the current * movement state. *
* Pics Selection: PICS_SPATEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * and the last broadcasted MAPEM is * containing id of type IntersectionReferenceID * indicating ID * and containing elements of type IntersectionGeometry * containing laneSet * containing elements of type GenericLane * containing laneAttributes * containing laneType * containing vehicle * and containing connectsTo * containing elements of type Connection * containing signalGroup * indicating (SG) * } * Expected behaviour: * ensure that { * when { * the TLM service is requested to send a SPATEM * } * then { * the IUT sends a valid SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing id of type IntersectionReferenceID * indicating ID * and containing states * containing elements of type MovementState * containing signalGroup * indicating SG * containing state-time-speed * containing elements of type MovementEvent * not containing timing * or containing timing * indicating time interval containing current time * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_MSGF_BV_06 * @reference CEN ISO/TS 19091 [4], clauses 6.7.8 */ testcase TC_IS_TLM_GEN_MSGF_BV_06 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_MSGF_BV_06(); } // End of testcase TC_IS_TLM_GEN_MSGF_BV_06 /** * @desc For each pedestrian manoeuvre at a signalized intersection, an IUT shall include the current * movement state. *
* Pics Selection: PICS_SPATEM_GENERATION and PICS_PEDESTRIAN_MANOEUVRES * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * and the last broadcasted MAPEM is * containing id of type IntersectionReferenceID * indicating ID * and containing elements of type IntersectionGeometry * containing laneSet * containing elements of type GenericLane * containing laneAttributes * containing laneType * containing crosswalk * or containing sidewalk * and containing connectsTo * containing elements of type Connection * containing signalGroup * indicating (SG) * } * Expected behaviour: * ensure that { * when { * the TLM service is requested to send a SPATEM * } * then { * the IUT sends a valid SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing id of type IntersectionReferenceID * indicating ID * and containing states * containing elements of type MovementState * containing signalGroup * indicating SG * containing state-time-speed * containing elements of type MovementEvent * not containing timing * or containing timing * indicating time interval containing current time * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_MSGF_BV_07 * @reference CEN ISO/TS 19091 [4], clauses 6.7.9 */ testcase TC_IS_TLM_GEN_MSGF_BV_07 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_MSGF_BV_07(); } // End of testcase TC_IS_TLM_GEN_MSGF_BV_07 /** * @desc For each active manoeuvre an IUT shall include the earliest time point when the manoeuvre * state is predicted to change *
* Pics Selection: PICS_SPATEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * and the last broadcasted MAPEM is * containing id of type IntersectionReferenceID * indicating ID * and containing elements of type IntersectionGeometry * containing laneSet * containing elements of type GenericLane * containing laneAttributes * containing laneType * containing vehicle * and containing connectsTo * containing elements of type Connection * containing signalGroup * indicating (SG) * } * Expected behaviour: * ensure that { * when { * the TLM service is requested to send a SPATEM * } * then { * the IUT sends a valid SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing id of type IntersectionReferenceID * indicating ID * and containing states * containing elements of type MovementState * containing signalGroup * indicating SG * and containing state-time-speed * containing elements of type MovementEvent * containing timing * containing minEndTime * indicating time point when state can be changed * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_MSGF_BV_08 * @reference CEN ISO/TS 19091 [4], clause 6.7.11 */ testcase TC_IS_TLM_GEN_MSGF_BV_08 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_MSGF_BV_08(); } // End of testcase TC_IS_TLM_GEN_MSGF_BV_08 /** * @desc For each manoeuvre at a signalized intersection, an IUT shall include: * - the next expected movement states pertaining to that manoeuvre * - the time point for when the succeeding manoeuvre state is predicted to change * - the start time for each pending manoeuvre *
* Pics Selection: PICS_SPATEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * and the last broadcasted MAPEM is * containing id of type IntersectionReferenceID * indicating ID * and containing elements of type IntersectionGeometry * containing laneSet * containing elements of type GenericLane * containing laneAttributes * containing laneType * containing vehicle * and containing connectsTo * containing elements of type Connection * containing signalGroup * indicating (SG) * } * Expected behaviour: * ensure that { * when { * the TLM service is requested to send a SPATEM * } * then { * the IUT sends a valid SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing id of type IntersectionReferenceID * indicating ID * and containing states * containing elements of type MovementState * containing signalGroup * indicating SG * and containing state-time-speed * containing elements of type MovementEvent [1..N] * containing timing * containing minEndTime * indicating the earliest time point when state ends * and optionally containing startTime * indicating time point when state starts * and containing nextTime * indicating time point when the manoeuvre will next be permitted * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_MSGF_BV_09 * @reference CEN ISO/TS 19091 [4], clauses 6.7.13, 6.7.14 */ testcase TC_IS_TLM_GEN_MSGF_BV_09 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_MSGF_BV_09(); } // End of testcase TC_IS_TLM_GEN_MSGF_BV_09 /** * @desc Check that SPAT message prioritization is encoded using regional extension. *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_SPATEM_PRIORITIZATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * and the IUT received CAM * containing stationId * indicating (PrioSID) * triggerring the prioritization request * } * Expected behaviour: * ensure that { * when { * the TLM service is requested to send a SPATEM * containing prioritization response * } * then { * the IUT sends a valid SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing id of type IntersectionReferenceID * indicating ID * and containing regional * containing element of type IntersectionState-addGrpC * containing activePrioritizations * containing stationID * indicating PrioSID * and containing priorState * indicating prioritization request status * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_MSGF_BV_10 * @reference CEN ISO/TS 19091 [4], clauses G.5.1.4 and G.8.2.5.2 */ testcase TC_IS_TLM_GEN_MSGF_BV_10 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_MSGF_BV_10(); } // End of testcase TC_IS_TLM_GEN_MSGF_BV_10 /** * @desc For each manoeuvre at a signalized intersection, an IUT shall indicate if one or * more pedestrians have been detected in the pedestrian crossing. *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_SPATEM_PEDESTRIAN_MANOEUVRES * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * and the last broadcasted MAPEM is * containing id of type IntersectionReferenceID * indicating ID * and containing elements of type IntersectionGeometry * containing laneSet * containing elements of type GenericLane * containing laneAttributes * containing laneType * containing vehicle * and containing connectsTo * containing elements of type Connection * containing connectionID (CONN_ID) * } * Expected behaviour: * ensure that { * when { * the TLM service is requested to send a SPATEM * indicating presence of pedestrians on the signalized intersection * } * then { * the IUT sends a valid SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing id of type IntersectionReferenceID * indicating ID * and containing maneuverAssistList * containing elements of type ConnectionManeuverAssist * containing connectionID * indicating CONN_ID * and containing pedBicycleDetect * indicating true * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_MSGF_BV_12 * @reference CEN ISO/TS 19091 [4], clauses 6.7.16 */ testcase TC_IS_TLM_GEN_MSGF_BV_11 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_MSGF_BV_11(); } // End of testcase TC_IS_TLM_GEN_MSGF_BV_11 /** * @desc An IUT shall transmit information about the optimal speed for vehicles on each lane *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_SPATEM_HAS_OPTIMAL_SPEED * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * and the last broadcasted MAPEM is * containing id of type IntersectionReferenceID * indicating ID * and containing elements of type IntersectionGeometry * containing laneSet * containing elements of type GenericLane * containing laneAttributes * containing laneType * containing vehicle * and containing connectsTo * containing elements of type Connection * containing signalGroup * indicating (SG) * } * Expected behaviour: * ensure that { * when { * the TLM service is requested to send a SPATEM * } * then { * the IUT sends a valid SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing id of type IntersectionReferenceID * indicating ID * and containing states * containing elements of type MovementState * containing signalGroup * indicating SG * and containing state-time-speed * containing elements of type MovementEvent * containing speeds * containing element of type AdvisorySpeed * containing type * indicating ecoDrive or transit * and containing speed * indicating optimal speed * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_MSGF_BV_12 * @reference CEN ISO/TS 19091 [4], clauses 6.7.18 */ testcase TC_IS_TLM_GEN_MSGF_BV_12 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_MSGF_BV_12(); } // End of testcase TC_IS_TLM_GEN_MSGF_BV_12 /** * @desc An IUT shall transmit information about the signal timing progression speed along the * roadway. *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_SPATEM_HAS_SIGNAL_PROGRESSION_SPEED * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * and the last broadcasted MAPEM is * containing id of type IntersectionReferenceID * indicating ID * and containing elements of type IntersectionGeometry * containing laneSet * containing elements of type GenericLane * containing laneAttributes * containing laneType * containing vehicle * and containing connectsTo * containing elements of type Connection * containing signalGroup * indicating (SG) * } * Expected behaviour: * ensure that { * when { * the TLM service is requested to send a SPATEM * } * then { * the IUT sends a valid SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing id of type IntersectionReferenceID * indicating ID * and containing states * containing elements of type MovementState * containing signalGroup * indicating SG * and containing state-time-speed * containing elements of type MovementEvent * containing speeds * containing element of type AdvisorySpeed * containing type * indicating greenwave * and containing speed * indicating the signal timing progression speed * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_MSGF_BV_13 * @reference CEN ISO/TS 19091 [4], clauses 6.7.19 */ testcase TC_IS_TLM_GEN_MSGF_BV_13 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_MSGF_BV_13(); } // End of testcase TC_IS_TLM_GEN_MSGF_BV_13 /** * @desc An IUT shall transmit the length of the queue and the length of available * vehicular storage on each egress lane. *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_SPATEM_HAS_EGRESS_QUEUE * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * and the last broadcasted MAPEM is * containing id of type IntersectionReferenceID * indicating ID * and containing elements of type IntersectionGeometry * containing laneSet * containing elements of type GenericLane * containing laneAttributes * containing laneType * containing vehicle * } * Expected behaviour: * ensure that { * when { * the TLM service is requested to send a SPATEM * } * then { * the IUT sends a valid SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing id of type IntersectionReferenceID * indicating ID * and containing maneuverAssistList * containing elements of type ConnectionManeuverAssist * containing queueLength * indicating current length of the queue * and containing availableStorageLength * indicating available space for the line queue * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_MSGF_BV_13 * @reference CEN ISO/TS 19091 [4], clauses 6.7.20, 6.7.21 */ testcase TC_IS_TLM_GEN_MSGF_BV_14 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_MSGF_BV_14(); } // End of testcase TC_IS_TLM_GEN_MSGF_BV_14 } // End of group spateMessageFormat group spateEventGeneration { /** * @desc Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM _Start request *
* Pics Selection: PICS_SPATEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT has not sent any SPATEM yet * } * Expected behaviour: * ensure that { * when { * the IUT receives an AppSPATEM_Start request from the application layer * } * then { * the IUT sends a valid SPATEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_EVGN_BV_01 * @reference ETSI TS 103 301 v1.1.1 Clause 5.4.2 */ testcase TC_IS_TLM_GEN_EVGN_BV_01() runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_EVGN_BV_01(); } // End of testcase TC_IS_TLM_GEN_EVGN_BV_01 /** * @desc Check that TLM Service generates SPATEM are time ordered *
* Pics Selection: PICS_SPATEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT has sent a SPATEM * } * Expected behaviour: * ensure that { * when { * several SPATEM are generated * } * then { * the IUT sends SPATEM in time order * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_EVGN_BV_02 * @reference ETSI TS 103 301 v1.1.1 Clause 5.4.2 */ testcase TC_IS_TLM_GEN_EVGN_BV_02() runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_EVGN_BV_02(); } // End of testcase TC_IS_TLM_GEN_EVGN_BV_02 /** * @desc Check that TLM Service terminates on reception of a valid AppSPATEM _Stop request *
* Pics Selection: PICS_SPATEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * } * Expected behaviour: * ensure that { * when { * the IUT receives an AppSPATEM _Stop request from the application layer * } * then { * the IUT stops sending SPATEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_EVGN_BV_03 * @reference ETSI TS 103 301 v1.1.1 Clause 5.4.2 */ testcase TC_IS_TLM_GEN_EVGN_BV_03() runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_EVGN_BV_03(); } // End of testcase TC_IS_TLM_GEN_EVGN_BV_03 /** * @desc Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM_Trigger request *
* Pics Selection: PICS_SPATEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * } * Expected behaviour: * ensure that { * when { * the IUT receives an AppSPATEM _Stop request from the application layer * } * then { * the IUT stops sending SPATEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_EVGN_BV_04 * @reference ETSI TS 103 301 v1.1.1 Clause 5.4.2 */ testcase TC_IS_TLM_GEN_EVGN_BV_04() runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_EVGN_BV_04(); } // End of testcase TC_IS_TLM_GEN_EVGN_BV_04 } // End of group spateEventGeneration group spateCommunication { /** * @desc Check that TLM Service provides the destination area in SPATEM *
* Pics Selection: PICS_SPATEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * } * Expected behaviour: * ensure that { * when { * a SPATEM is generated * } * then { * the IUT sends a valid SPATEM * containg spat * containing regional * containing at least on region * indicating a regionId * and indication a regExtValue * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_COM_BV_01 * @reference ETSI TS 103 301 v1.1.1 Clause 5.4.3.2 */ testcase TC_IS_TLM_GEN_COM_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_COM_BV_01(); } // End of testcase TC_IS_TLM_GEN_COM_BV_01 /** * @desc Check that SPATEM uses BTP_B packet. Check that the destination port for SPATEM is set to 2004 *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_SHORT_RANGE * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * } * Expected behaviour: * ensure that { * when { * a SPATEM is generated * } * then { * the IUT sends a valid SPATEM * encapsulated in a BTP-B packet * containing a destination port value set to 2004 * and containing a destination port info value set to 0 * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_COM_BV_02 * @reference ETSI TS 103 301 [2], clauses 10.2 and 5.4.3.2 */ testcase TC_IS_TLM_GEN_COM_BV_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_COM_BV_02(); } // End of testcase TC_IS_TLM_GEN_COM_BV_02 /** * @desc Check that TLM service encapsulates SPATEM in a GBC with the HeaderType field set to the value of 4 *
* Pics Selection: PICS_SPATEM_GENERATION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT sending SPATEM * } * Expected behaviour: * ensure that { * when { * a SPATEM is generated * } * then { * the IUT sends a valid SPATEM * encapsulated in a GBC packet * containing a correctly formatted Common Header * containing HeaderType field * indicating the value '4' * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_COM_BV_03 * @reference ETSI TS 103 301 v1.1.1 Clause 5.4.3.2 */ testcase TC_IS_TLM_GEN_COM_BV_03 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_COM_BV_03(); } // End of testcase TC_IS_TLM_GEN_COMM_BV_03 } // End of group spateCommunication } // End of group spateMessageDissemination group spateSecurityParameters { /** * @desc Check that TLM service uses certificate containing valid ITS AID to sign SPATEM messages. *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "SPATEM initial state" * and the IUT is operating in secured mode * and the IUT sending SPATEM * } * Expected behaviour: * ensure that { * when { * a SPATEM is generated * } * then { * the IUT sends a valid SPATEM * containing a correctly formatted Security Header as a EtsiTs103097Data structure * containing signedData.tbsData.headerInfo * containing psid * indicating ITS_AID_SPATEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_SEC_BV_01 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_GEN_SEC_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_SEC_BV_01(); } // End of testcase TC_IS_TLM_GEN_SEC_BV_01 /** * @desc Check that TLM service uses generic security profile to sign SPATEM message and does * not include additional security header elements *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "SPATEM initial state" * and the IUT is operating in secured mode * and the IUT sending SPATEM * } * Expected behaviour: * ensure that { * when { * a SPATEM is generated * } * then { * the IUT sends a valid SPATEM * containing a correctly formatted Security Header as a EtsiTs103097Data structure * containing signedData.tbsData.headerInfo * containing psid * indicating ITS_AID_SPATEM * and containing generationTime * indicating realistic generation time * and optionally containing generationLocation * and not containing other header items * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_SEC_BV_02 * @reference ETSI TS 103 301 [2], clause 12 */ testcase TC_IS_TLM_GEN_SEC_BV_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_SEC_BV_02(); } // End of testcase TC_IS_TLM_GEN_SEC_BV_02 /** * @desc Check that TLM service uses certificate containing valid Service Specific Permissions of * type BitmapSsp to sign SPATEM messages and the SSP version is set to 1 *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "SPATEM initial state" * and the IUT is operating in secured mode * and the IUT is authorized to sign SPATEM with the certificate CERT_SPAT_SSP_NONE * containing appPermission item * containing psid * indicating ITS_AID_SPATEM * containing bitmapSSP * indicating octet at position 0 set to 0x01 * and indicating other bits set to 0 * } * Expected behaviour: * ensure that { * when { * the IUT is requested to generate a SPATEM * not containing intersection states * and not containing prioritization * and not containing manoeuvre assist information * } * then { * the IUT sends a SPATEM * signed with the CERT_SPAT_SSP_NONE * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_SSP_BV_01 * @reference ETSI TS 103 301 [2], clause 4.5.1 */ testcase TC_IS_TLM_GEN_SSP_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_SSP_BV_01(); } // End of testcase TC_IS_TLM_GEN_SSP_BV_01 /** * @desc Check that TLM service sends a SPAT message containing IntersectionState without * prioritization and manoeuvre assist information when it is permitted by the signing certificate *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "SPATEM initial state" * and the IUT is operating in secured mode * and the IUT is authorized to sign SPATEM with the certificate CERT_SPAT_SSP_ALL * containing appPermission item * containing psid * indicating ITS_AID_SPATEM * containing bitmapSSP * indicating octet at position 0 set to 0x01 * and indicating bit at position 8 set to 1 * } * Expected behaviour: * ensure that { * when { * the IUT is requested to generate a SPATEM * not containing prioritization and manoeuvre assist information * } * then { * the IUT sends a SPATEM * signed with the CERT_SPAT_SSP_ALL * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_SSP_BV_02 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_GEN_SSP_BV_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_SSP_BV_02(); } // End of testcase TC_IS_TLM_GEN_SSP_BV_02 /** * @desc Check that TLM service does not send a SPAT message containing IntersectionState if it is * not permitted by the certificate *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "SPATEM initial state" * and the IUT is operating in secured mode * and the IUT is authorized to sign SPATEM with the certificate CERT_SPAT_NONE * containing appPermission item * containing psid * indicating ITS_AID_SPATEM * containing bitmapSSP * indicating octet at position 0 set to 0x01 * and indicating other bits set to 0 * } * Expected behaviour: * ensure that { * when { * the IUT is requested to generate a SPATEM * containing intersections state * } * then { * the IUT does not send a SPATEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_SSP_BO_03 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_GEN_SSP_BO_03 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_SSP_BO_03(); } // End of testcase TC_IS_TLM_GEN_SSP_BO_03 /** * @desc Check that TLM service sends a SPAT message containing public transport prioritization * response when it is permitted by the signing certificate . *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "SPATEM initial state" * and the IUT is operating in secured mode * and the IUT is authorized to sign SPATEM with the certificate CERT_SPAT_SSP_ALL * containing appPermission item * containing psid * indicating ITS_AID_SPATEM * containing bitmapSSP * indicating octet at position 0 set to 0x01 * and indicating bit at position 9 set to 1 * } * Expected behaviour: * ensure that { * when { * the IUT is requested to generate a SPATEM * containing public transport prioritization respond * } * then { * the IUT sends a SPATEM * signed with the CERT_SPAT_SSP_ALL * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_SSP_BV_04 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_GEN_SSP_BV_04 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_SSP_BV_04(); } // End of testcase TC_IS_TLM_GEN_SSP_BV_04 /** * @desc Check that TLM service does not send a SPAT message containing IntersectionState if it is * not permitted by the certificate. *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "SPATEM initial state" * and the IUT is operating in secured mode * and the IUT is authorized to sign SPATEM with the certificate CERT_SPAT_SSP_NONE * containing appPermission item * containing psid * indicating ITS_AID_SPATEM * containing bitmapSSP * indicating octet at position 0 set to 0x01 * and indicating bit at position 9 set to 0 * } * Expected behaviour: * ensure that { * when { * the IUT is requested to generate a SPATEM * containing public transport prioritization respond * } * then { * the IUT does not send a SPATEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_SSP_BO_05 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_GEN_SSP_BO_05 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_SSP_BO_05(); } // End of testcase TC_IS_TLM_GEN_SSP_BO_05 /** * @desc Check that TLM service sends a SPAT message containing Intersection maneuver assisting * information when it is permitted by the signing certificate *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "SPATEM initial state" * and the IUT is operating in secured mode * and the IUT is authorized to sign SPATEM with the certificate CERT_SPAT_SSP_ALL * containing appPermission item * containing psid * indicating ITS_AID_SPATEM * containing bitmapSSP * indicating octet at position 0 set to 0x01 * and indicating bit at position 10 set to 1 * } * Expected behaviour: * ensure that { * when { * the IUT is requested to generate a SPATEM * containing spat.intersections.IntersectionState.maneuverAssistList * } * then { * the IUT sends a SPATEM * signed with the CERT_SPAT_SSP_ALL * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_SSP_BV_06 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_GEN_SSP_BV_06 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_SSP_BV_06(); } // End of testcase TC_IS_TLM_GEN_SSP_BV_06 /** * @desc Check that TLM service sends a SPAT message containing movement state maneuver * assisting information when it is permitted by the signing certificate. *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "SPATEM initial state" * and the IUT is operating in secured mode * and the IUT is authorized to sign SPATEM with the certificate CERT_SPAT_SSP_ALL * containing appPermission item * containing psid * indicating ITS_AID_SPATEM * containing bitmapSSP * indicating octet at position 0 set to 0x01 * and indicating bit at position 10 set to 1 * } * Expected behaviour: * ensure that { * when { * the IUT is requested to generate a SPATEM * containing spat.intersections.IntersectionState.states.MovementState.maneuverAssistList * } * then { * the IUT sends a SPATEM * signed with the CERT_SPAT_SSP_ALL * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_SSP_BV_07 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_GEN_SSP_BV_07 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_SSP_BV_07(); } // End of testcase TC_IS_TLM_GEN_SSP_BV_07 /** * @desc Check that TLM service does not send a SPAT message containing intersection maneuver * assisting information if it is not permitted by the certificate. *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "SPATEM initial state" * and the IUT is operating in secured mode * and the IUT is authorized to sign SPATEM with the certificate CERT_SPAT_SSP_NONE * containing appPermission item * containing psid * indicating ITS_AID_SPATEM * containing bitmapSSP * indicating octet at position 0 set to 0x01 * and indicating bit at position 10 set to 0 * } * Expected behaviour: * ensure that { * when { * the IUT is requested to generate a SPATEM * containing spat.intersections.IntersectionState.maneuverAssistList * } * then { * the IUT does not send a SPATEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_SSP_BO_08 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_GEN_SSP_BO_08 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_SSP_BO_08(); } // End of testcase TC_IS_TLM_GEN_SSP_BO_08 /** * @desc Check that TLM service does not send a SPAT message containing movement state * maneuver assisting information if it is not permitted by the certificate. *
* Pics Selection: PICS_SPATEM_GENERATION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "SPATEM initial state" * and the IUT is operating in secured mode * and the IUT is authorized to sign SPATEM with the certificate CERT_SPAT_SSP_NONE * containing appPermission item * containing psid * indicating ITS_AID_SPATEM * containing bitmapSSP * indicating octet at position 0 set to 0x01 * and indicating bit at position 10 set to 0 * } * Expected behaviour: * ensure that { * when { * the IUT is requested to generate a SPATEM * containing spat.intersections.IntersectionState.states.MovementState.maneuverAssistList * } * then { * the IUT sends a SPATEM * the IUT does not sends a SPATEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_SSP_BO_09 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_GEN_SSP_BO_09 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_SSP_BO_09(); } // End of testcase TC_IS_TLM_GEN_SSP_BO_09 } //end group spateSecurityParameters group spateTransmissionRateReq { /** * @desc Check that the IUT transmits SPATEM with valid transmission rate. *
* Pics Selection: PICS_SPATEM_GENERTION AND PICS_SPATEM_TRANSMISSION_RATE * Initial conditions: * with { * the IUT being in the "SPATEM initial state" * the IUT has sent SPATEM message at TIME_1 * } * Expected behaviour: * ensure that { * when { * UIT is triggered to send a next SPATEM * } * then { * the IUT sends SPATEM at TIME_2 * indicating DELTA = TIME_2 - TIME_1 * where DELTA is less than 2 second and more then 100ms * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_GEN_RATE_BV_01 * @reference CEN ISO/TS 19091 [4], clauses 6.17 */ testcase TC_IS_TLM_GEN_RATE_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_GEN_RATE_BV_01(); } // End of testcase TC_IS_TLM_GEN_RATE_BV_01 } // End of group spateTransmissionRateReq group spateMessageProcessing { /** * @desc Check that the IUT can successfully process all mandatory fields of SPATEM received *
* Pics Selection: PICS_SPATEM_RECEPTION * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT having receive a valid SPATEM * } * Expected behaviour: * ensure that { * when { * the IUT receives a valid SPATEM * } * then { * the IUT forwards the SPATEM content to upper layers * and the IUT forwards the SPATEM content to other facilities * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_RCV_MSGF_BV_01 * @reference ETSI TS 103 301 v1.1.1 Clause 5.3 */ testcase TC_IS_TLM_RCV_MSGF_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_RCV_MSGF_BV_01(); } // End of testcase TC_IS_TLM_RCV_MSGF_BV_01 /** * @desc Check that the IUT accepts the SPATEM message permitted by the signing certificate. *
* Pics Selection: PICS_SPATEM_RECEPTION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT is operating in secured mode * } * Expected behaviour: * ensure that { * when { * the IUT receives a SPATEM * containing spat * not containing intersections * containing any elements of type IntersectionState * containing states * not containing any element * and not containing regional * and signed with the certificate * containing appPermission item * containing psid * indicating ITS_AID_SPATEM * } * then { * the IUT accepts the received SPATEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_RCV_SEC_BV_01 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_RCV_SEC_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_RCV_SEC_BV_01(); } // End of testcase TC_IS_TLM_RCV_SEC_BV_01 /** * @desc Check that the IUT discards the SPATEM message not permitted by the signing certificate. *
* Pics Selection: PICS_SPATEM_RECEPTION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT is operating in secured mode * } * Expected behaviour: * ensure that { * when { * the IUT receives a SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing states * not containing any element * and not containing regional * and signed with the certificate * not containing appPermission item * containing psid * indicating ITS_AID_SPATEM * } * then { * the IUT skips the received SPATEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_RCV_SEC_BO_01 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_RCV_SEC_BO_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_RCV_SEC_BO_01(); } // End of testcase TC_IS_TLM_RCV_SEC_BO_01 /** * @desc Check that the IUT accepts the SPATEM message containing IntersectionState without * additional information permitted by the signing certificate. *
* Pics Selection: PICS_SPATEM_RECEPTION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT is operating in secured mode * } * Expected behaviour: * ensure that { * when { * the IUT receives a SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing states * not containing elements of type MovementState * containing maneuverAssistList * and signed with the certificate * containing appPermission item * containing psid * indicating ITS_AID_SPATEM * containing bitmapSSP * indicating octet at position 0 set to 0x01 * and indicating bit at position 8 set to 1 * } * then { * the IUT accepts the received SPATEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_RCV_SSP_BV_01 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_RCV_SSP_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_RCV_SSP_BV_01(); } // End of testcase TC_IS_TLM_RCV_SSP_BV_01 /** * @desc Check that the IUT skips the SPATEM message containing IntersectionState without * additional information not permitted by the signing certificate. *
* Pics Selection: PICS_SPATEM_RECEPTION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT is operating in secured mode * } * Expected behaviour: * ensure that { * when { * the IUT receives a SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing states * not containing elements of type MovementState * containing maneuverAssistList * and not containing maneuverAssistList * and not containing regional * and signed with the certificate * containing appPermission item * containing psid * indicating ITS_AID_SPATEM * and containing bitmapSSP * indicating octet at position 0 set to 0x01 * and indicating bit at position 8 set to 0 * } * then { * the IUT skips the received SPATEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_RCV_SSP_BO_02 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_RCV_SSP_BO_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_RCV_SSP_BO_02(); } // End of testcase TC_IS_TLM_RCV_SSP_BO_02 /** * @desc Check that the IUT accepts the SPATEM message containing IntersectionState with public * transport prioritization response permitted by the signing certificate. *
* Pics Selection: PICS_SPATEM_RECEPTION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT is operating in secured mode * } * Expected behaviour: * ensure that { * when { * the IUT receives a SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing states * not containing elements of type MovementState * containing maneuverAssistList * and not containing maneuverAssistList * and containing regional * containing element of type IntersectionState-aggGrpC * containing activePrioritizations * and signed with the certificate * containing appPermission item * containing psid * indicating ITS_AID_SPATEM * and containing bitmapSSP * indicating octet at position 0 set to 0x01 * and indicating bit at position 9 set to 1 * } * then { * the IUT accepts the received SPATEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_RCV_SSP_BV_03 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_RCV_SSP_BV_03 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_RCV_SSP_BV_03(); } // End of testcase TC_IS_TLM_RCV_SSP_BV_03 /** * @desc Check that the IUT skips the SPATEM message containing IntersectionState with public * transport prioritization response not permitted by the signing certificate. *
* Pics Selection: PICS_SPATEM_RECEPTION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT is operating in secured mode * } * Expected behaviour: * ensure that { * when { * the IUT receives a SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing states * not containing elements of type MovementState * containing maneuverAssistList * and not containing maneuverAssistList * and containing regional * containing element of type IntersectionState-aggGrpC * containing activePrioritizations * and signed with the certificate * containing appPermission item * containing psid * indicating ITS_AID_SPATEM * and containing bitmapSSP * indicating octet at position 0 set to 0x01 * and indicating bit at position 9 set to 0 * } * then { * the IUT skips the received SPATEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_RCV_SSP_BO_04 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_RCV_SSP_BO_04 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_RCV_SSP_BO_04(); } // End of testcase TC_IS_TLM_RCV_SSP_BO_04 /** * @desc Check that the IUT accepts the SPATEM message containing IntersectionState with * manoeuvre assist information permitted by the signing certificate. *
* Pics Selection: PICS_SPATEM_RECEPTION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT is operating in secured mode * } * Expected behaviour: * ensure that { * when { * the IUT receives a SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing maneuverAssistList * and not containing regional * and signed with the certificate * containing appPermission item * containing psid * indicating ITS_AID_SPATEM * and containing bitmapSSP * indicating octet at position 0 set to 0x01 * and indicating bit at position 10 set to 1 * } * then { * the IUT accepts the received SPATEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_RCV_SSP_BV_05 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_RCV_SSP_BV_05 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_RCV_SSP_BV_05(); } // End of testcase TC_IS_TLM_RCV_SSP_BV_05 /** * @desc Check that the IUT skips the SPATEM message containing IntersectionState with * manoeuvre assist information permitted by the signing certificate *
* Pics Selection: PICS_SPATEM_RECEPTION AND PICS_IS_IUT_SECURED * Initial conditions: * with { * the IUT being in the "initial state" * and the IUT is operating in secured mode * } * Expected behaviour: * ensure that { * when { * the IUT receives a SPATEM * containing spat * containing intersections * containing elements of type IntersectionState * containing maneuverAssistList * and not containing regional * and signed with the certificate * containing appPermission item * containing psid * indicating ITS_AID_SPATEM * and containing bitmapSSP * indicating octet at position 0 set to 0x01 * and indicating bit at position 10 set to 0 * } * then { * the IUT skips the received SPATEM * } * } ** * @version 1.1.1 * @see ETSI TS 103 191-2 v1.2.5 TP_IS_TLM_RCV_SSP_BO_06 * @reference ETSI TS 103 301 [2], clause 5.4.3.2 */ testcase TC_IS_TLM_RCV_SSP_BO_06 () runs on ItsMapemSpatem system ItsMapemSpatemSystem { f_IS_TLM_RCV_SSP_BO_06(); } // End of testcase TC_IS_TLM_RCV_SSP_BO_06 } // End of group spateMessageProcessing } // End of module ItsSpatem_TestCases