ItsSpatem_TestCases.ttcn 87.2 KB
Newer Older
Yann Garcia's avatar
Yann Garcia committed
 *    @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
garciay's avatar
garciay committed
 *    @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
             * <pre>
garciay's avatar
garciay committed
             * 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'
             *        }
             *    }
             * </pre>
             * 
             * @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 {
            } // 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
             * <pre>
             * 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
             *        }
             *    }
             * </pre>
             * 
             * @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)
garciay's avatar
garciay committed
             * 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
             *                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 {
            } // 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.
garciay's avatar
garciay committed
             * Pics Selection: PICS_SPATEM_GENERATION
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            the TLM service is requested to send a SPATEM
             *            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 {
            } // 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)
garciay's avatar
garciay committed
             * 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
             *            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
Yann Garcia's avatar
Yann Garcia committed
            testcase TC_IS_TLM_GEN_MSGF_BV_05 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
            } // 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. 
garciay's avatar
garciay committed
             * 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
             *            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
Yann Garcia's avatar
Yann Garcia committed
            testcase TC_IS_TLM_GEN_MSGF_BV_06 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
            } // 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. 
             * <pre>
             * 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
             *        }
             *    }
             * </pre>
             * 
             * @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
             */
Yann Garcia's avatar
Yann Garcia committed
            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
             * <pre>
             * 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)
             *            the TLM service is requested to send a SPATEM
             *            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
             *        }
             *    }
             * </pre>
             * 
             * @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
garciay's avatar
garciay committed
             * 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
             *                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]
             *                                                    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 {
            } // End of testcase TC_IS_TLM_GEN_MSGF_BV_09
            /**
             * @desc Check that SPAT message prioritization is encoded using regional extension.
             * <pre>
             * 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
             *                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
             *        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)
             *            the TLM service is requested to send a SPATEM
             *                indicating presence of pedestrians on the signalized intersection
             *            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
             *        }
             *    }
             * </pre>
             * 
             * @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
             * <pre>
             * 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
             *                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
             *                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.
             * <pre>
             * 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
             *            the TLM service is requested to send a SPATEM
             *            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
             * @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
             * @desc Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM _Start request
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            the IUT receives an AppSPATEM_Start request from the application layer
             * @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
             * <pre>
             * 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
             *        }
             *    }
             * </pre>
             * 
             * @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
             * <pre>
             * 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
             *        }
             *    }
             * </pre>
             * 
             * @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
             * <pre>
             * 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
             *        }
             *    }
             * </pre>
             * 
             * @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
             * <pre>
             * 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
             *        }
             *    }
             * </pre>
             * 
             * @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
             * <pre>
             * 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
             *        }
             *    }
             * </pre>
             * 
             * @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
             * <pre>
             * 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'
             *        }
             *    }
             * </pre>
             * 
             * @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.
             * <pre>
             * 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
             *        }