/** * @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