ItsGeoNetworking_TestCases.ttcn

					* Config Id: CF02
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeD and
					*      the IUT having received Beacon information from ItsNodeB
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT is requested to send a GBC packet
					*              containing TrafficClass.SCF set to 1
					*              containing DestinationArea
					*                  indicating AREA2
					*      }
					*      then {
					*          the IUT broadcasts immediately the GBC packet
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/NONAREA/CBF/BV-01
					* @reference   EN 302 636-4-1 [1], clauses 10.3.11.2, Annex E.3
					*/
					testcase TC_GEONW_PON_GBC_NONAREA_CBF_BV_01() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_NONAREA_CBF_BV_01();
                    
					} // end TC_GEONW_PON_GBC_NONAREA_CBF_BV_01

					/**
					* @desc    Check that a received GBC packet is forwarded at the correct time according to the contention 
					*          based forwarding rules
					* <pre>
					* Pics Selection:  PICS_GN_GBC_FWD AND PICS_GN_NON_AREA_FORWARDING_ALGORITHM == 'CBF'
					* Config Id: CF03
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB and
					*      the IUT having received Beacon information from ItsNodeC and
					*      the distance between IUT and ItsNodeA being
					*          less than itsGnDefaultMaxCommunicationRange MIB attribute
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives a GBC packet addressed to ItsNodeA from ItsNodeC
					*              containing TrafficClass.SCF set to 1
					*              containing Basic Header
					*                  containing RHL field
					*                      indicating value greater than 1
					*      }
					*      then {
					*          the IUT re-broadcasts the received GBC packet
					*              upon expiry of calculated CBF delay (see note)
					*      }
					*  }
					*  NOTE: The CBF delay timer value is calculated from the itsGnDefaultMaxCommunicationRange, 
					*        itsGnGeoCbfMinTime, and itsGnGeoCbfMaxTime MIB attributes, and the distance value between IUT and ItsNodeC.
					*  
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/NONAREA/CBF/BV-02
					* @reference   EN 302 636-4-1 [1], clauses 10.3.11.3, Annex E.3
					*/
					testcase TC_GEONW_PON_GBC_NONAREA_CBF_BV_02() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_NONAREA_CBF_BV_02();
                    
					} // end TC_GEONW_PON_GBC_NONAREA_CBF_BV_02					

					/**
					* @desc    Check that GBC packet forwarding correctly avoids packet duplication according to the 
					*          contention based forwarding rules
					* <pre>
					* Pics Selection:  PICS_GN_GBC_FWD AND PICS_GN_NON_AREA_FORWARDING_ALGORITHM == 'CBF'
					* Config Id: CF03
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
                    *      the IUT having received Beacon information from ItsNodeB and
                    *      the IUT having received Beacon information from ItsNodeC and
                    *      the distance between IUT and ItsNodeA being 
                    *          less than the itsGnDefaultMaxCommunicationRange MIB attribute and
                    *      the IUT having received a GBC packet addressed to ItsNodeA from ItsNodeC
                    *          containing TrafficClass.SCF set to 1
                    *          containing Basic Header
                    *              containing RHL field
                    *                  indicating value greater than 1 and 
                    *      the IUT having started a CBF timer for this packet (see note)
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives the same GBC packet from ItsNodeB
					*              before expiration of the CBF timer
					*      }
					*      then {
					*          the IUT does not re-broadcast the GBC packet
					*      }
					*  }
					*  NOTE: The CBF delay timer value is calculated from the itsGnDefaultMaxCommunicationRange, 
					*        itsGnGeoCbfMinTime, and itsGnGeoCbfMaxTime MIB attributes, and the distance value between IUT and ItsNodeC.
					*  
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/NONAREA/CBF/BV-07
					* @reference   EN 302 636-4-1 [1], clauses 10.3.11.3, Annex E.3
					*/
					testcase TC_GEONW_PON_GBC_NONAREA_CBF_BV_07() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_NONAREA_CBF_BV_07();
                    
					} // end TC_GEONW_PON_GBC_NONAREA_CBF_BV_07 

					/**
					* @desc    Check that a received GBC packet forwarding is correctly handling the minimum delay value
					*          according to the contention based forwarding rules
					* <pre>
					* Pics Selection:  PICS_GN_GBC_FWD AND PICS_GN_NON_AREA_FORWARDING_ALGORITHM == 'CBF'
					* Config Id: CF03
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB and
					*      the IUT having received Beacon information from ItsNodeC and
					*      the distance between IUT and ItsNodeC being
					*          less than itsGnDefaultMaxCommunicationRange MIB attribute
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives a GBC packet addressed to ItsNodeA from ItsNodeC
					*              containing TrafficClass.SCF set to 1
					*              containing Basic Header
					*                  containing RHL field
					*                      indicating value greater than 1
					*      }
					*      then {
					*          the IUT re-broadcasts the received GBC packet
					*              upon expiry of itsGnGeoCbfMinTime delay
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/NONAREA/CBF/BV-20
					* @reference   EN 302 636-4-1 [1], clauses 10.3.11.3, Annex E.3
					*/
					testcase TC_GEONW_PON_GBC_NONAREA_CBF_BV_20() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_NONAREA_CBF_BV_20();
                    
					} // end TC_GEONW_PON_GBC_NONAREA_CBF_BV_20 

                    /**
                    * @desc    Check that a received GBC packet is forwarded at the correct time according to the contention 
                    *          based forwarding rules if received for the first time when IUT is outside of the destination area 
                    *          from an unknown sender
                    * <pre>
                    * Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_NON_AREA_FORWARDING_ALGORITHM == 'CBF'
                    * Config Id: CF04
                    * Initial conditions:
                    *  with {
                    *      the IUT being in the "initial state" and
                    *      the IUT having received Beacon information from ItsNodeB and
                    *      the IUT not having received any message from ItsNodeD
                    *  }
                    * Expected behaviour:
                    *  ensure that {
                    *      when {
                    *          the IUT receives the a GBC packet generated by ItsNodeC from ItsNodeD
                    *              containing TrafficClass.SCF set to 1
                    *              containing GBC Extended Header
                    *                  containing DestinationArea
                    *                      indicating AREA2
                    *      }
                    *      then {
                    *          the IUT re-broadcasts the GBC packet 
                    *              upon expiry of CBF_MAX
                    *      }
                    *  }
                    *
                    * </pre>
                    *
                    * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/NONAREA/CBF/BV-21
                    * @reference   EN 302 636-4-1 [1], Annex E.3
                    */
                    testcase TC_GEONW_PON_GBC_NONAREA_CBF_BV_21() runs on ItsMtc system ItsGeoNetworkingSystem {
                        
                        f_GEONW_PON_GBC_NONAREA_CBF_BV_21();
                            
                    } // end TC_GEONW_PON_GBC_NONAREA_CBF_BV_21
                        
                    /**
                    * @desc    Check that a received GBC packet is forwarded at the correct time according to the contention 
                    *          based forwarding rules if received for the first time when IUT is outside of the destination area 
                    *          from a known sender having an uncertain position (PAI = 0)
                    * <pre>
                    * Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_NON_AREA_FORWARDING_ALGORITHM == 'CBF'
                    * Config Id: CF04
                    * Initial conditions:
                    * with {
                    *    the IUT being in the "initial state" and
                    *    the IUT having received Beacon information from ItsNodeB and
                    *    the IUT having received Beacon information from ItsNodeD
                    *        containing Beacon ExtendedHeader
                    *            containing SOPV field
                    *                containing PAI
                    *                    set to '0'
                    * }
                    * Expected behaviour:
                    *  ensure that {
                    *      when {
                    *          the IUT receives the a GBC packet generated by ItsNodeC from ItsNodeD
                    *              containing TrafficClass.SCF set to 1
                    *              containing GBC Extended Header
                    *                  containing DestinationArea
                    *                      indicating AREA2
                    *      }
                    *      then {
                    *          the IUT re-broadcasts the GBC packet
                    *              upon expiry of CBF_MAX
                    *      }
                    *  }
                    *
                    * </pre>
                    *
                    * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/NONAREA/CBF/BV-22
                    * @reference   EN 302 636-4-1 [1], Annex E.3
                    */
                    testcase TC_GEONW_PON_GBC_NONAREA_CBF_BV_22() runs on ItsMtc system ItsGeoNetworkingSystem {
                        
                        f_GEONW_PON_GBC_NONAREA_CBF_BV_22();
                            
                    } // end TC_GEONW_PON_GBC_NONAREA_CBF_BV_22
                
				} // end gbcNonAreaContentionBasedForwarding
				        		
        	} // end gbcNonAreaForwarding
            
			group gbcAreaForwarding {
				
				group gbcAreaAllForwardingAlgorithm {
					
					/**
					* @desc    Check that a GBC request over upper Gn SAP triggers broadcasting of a GBC packet if the IUT is within the Destination Area
					* <pre>
					* Pics Selection: PICS_GN_GBC_SRC
					* Config Id: CF02
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeD and
					*      the IUT having received Beacon information from ItsNodeB
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT is requested to send a GBC packet
					*              containing TrafficClass.SCF set to 1
					*              containing DestinationArea
					*                  indicating AREA1
					*      }
					*      then {
					*          the IUT broadcasts immediately the GBC packet
					*              containing DestinationArea
					*                  indicating AREA1
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/ALL/BV-01
					* @reference   EN 302 636-4-1 [1], clauses 10.3.11.2
					*/
					testcase TC_GEONW_PON_GBC_AREA_ALL_BV_01() runs on ItsMtc system ItsGeoNetworkingSystem {
    
						f_GEONW_PON_GBC_AREA_ALL_BV_01();
        
					} // end TC_GEONW_PON_GBC_AREA_ALL_BV_01

					/**
					* @desc    Check that the protocol header fields (RHL) are correctly updated during a GBC re-
					*          broadcasting step
					* <pre>
					* Pics Selection:  PICS_GN_GBC_FWD
					* Config Id: CF02
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeD and
					*      the IUT having received Beacon information from ItsNodeB
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives a GBC packet
					*              containing TrafficClass.SCF set to 1
					*              containing Basic Header
					*                  containing RHL field
					*                      indicating value HL1 higher than 1
					*              containing Common Header
					*                  containing MHL field
					*                      indicating value MHL1
					*              containing DestinationArea
					*                      indicating AREA1
					*      }
					*      then {
					*          the IUT retransmits the GBC packet
					*              containing Basic Header
					*                  containing RHL field
					*                      indicating value (HL1 -1)
					*              containing Common Header
					*                  containing MHL field
					*                      indicating value MHL1
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/ALL/BV-03
					* @reference   EN 302 636-4-1 [1], clauses 9.3.11.3
					*/
					testcase TC_GEONW_PON_GBC_AREA_ALL_BV_03() runs on ItsMtc system ItsGeoNetworkingSystem {
    
						f_GEONW_PON_GBC_AREA_ALL_BV_03();
        
					} // end TC_GEONW_PON_GBC_AREA_ALL_BV_03
    
					/**
					* @desc    Check that the RHL restriction is correctly handled at a GBC re-broadcasting step
					* <pre>
					* Pics Selection: PICS_GN_GBC_FWD
					* Config Id: CF02
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeD and
					*      the IUT having received Beacon information from ItsNodeB
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives a GBC packet
					*              containing TrafficClass.SCF set to 1
					*              containing Basic Header
					*                  containing RHL field
					*                      indicating 1
					*              containing GBC Extended Header
					*                  containing DestinationArea
					*                      indicating AREA1
					*      }
					*      then {
					*          the IUT does not retransmit the GBC packet
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/ALL/BV-04
					* @reference   EN 302 636-4-1 [1], clauses 10.3.11.3
					*/
					testcase TC_GEONW_PON_GBC_AREA_ALL_BV_04() runs on ItsMtc system ItsGeoNetworkingSystem {
    
						f_GEONW_PON_GBC_AREA_ALL_BV_04();
        
					} // end TC_GEONW_PON_GB_AREA_ALLC_BV_04

					/**
					* @desc    Check that a received GBC packet is passed over the Gn SAP to the correct upper
					*          protocol if it is received for the first time within the GBC destination area
					* <pre>
					* Pics Selection: PICS_GN_GBC_DST
					* Config Id: CF01
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives a GBC packet
					*              containing TrafficClass.SCF set to 1
					*              containing DestinationArea
					*                  indicating AREA1
					*      }
					*      then {
					*          the IUT passes the received GBC packet to the correct Upper Layer protocol
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/ALL/BV-05
					* @reference   EN 302 636-4-1 [1], clauses 10.3.11.3
					*/
					testcase TC_GEONW_PON_GBC_AREA_ALL_BV_05() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_AREA_ALL_BV_05();
                
					} // end TC_GEONW_PON_GBC_AREA_ALL_BV_05
            
					/**
					* @desc    Check that a received GBC packet is not passed over the Gn SAP if it is received for the
					*          second or more time
					* <pre>
					* Pics Selection: PICS_GN_GBC_DST
					* Config Id: CF02
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeD and
					*      the IUT having received Beacon information from ItsNodeB and
					*      the IUT having received a GBC packet from ItsNodeB
					*          containing TrafficClass.SCF set to 1
					*          containing Basic Header
					*              containing RHL field
					*                  indicating HL1
					*          containing GBC Extended Header
					*              containing SN field
					*                  indicating value SN1
					*              containing DestinationArea
					*                  indicating AREA1 and
					*      the IUT having passed the received GBC packet to the correct Upper Layer protocol
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives the same GBC packet from ItsNodeD
					*              containing Basic Header
					*                  containing RHL field
					*                      indicating value lower than HL1
					*                  containing SN field
					*                      indicating value SN1
					*      }
					*      then {
					*          the IUT does not pass the received GBC packet to any Upper Layer protocol
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/ALL/BO-08
					* @reference   EN 302 636-4-1 [1], clauses 10.3.11.3
					*/
					testcase TC_GEONW_PON_GBC_AREA_ALL_BO_08() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_AREA_ALL_BO_08();
                    
					} // end TC_GEONW_PON_GBC_AREA_ALL_BO_08                					
    
				} // end gbcAreaAllForwardingAlgorithm
				
				group gbcAreaSimpleForwarding {

					/**
					* @desc    Check that a received GBC packet is triggering re-broadcasting if received for the first
					*          time within its destination area
					* <pre>
					* Pics Selection: PICS_GN_GBC_FWD AND (PICS_GN_AREA_FORWARDING_ALGORITHM == 'SIMPLE'
					*                                       OR PICS_GN_AREA_FORWARDING_ALGORITHM == 'UNSPECIFIED')
					* Config Id: CF02
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeD and
					*      the IUT having received Beacon information from ItsNodeB
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives a GBC packet
					*              containing TrafficClass.SCF set to 1
					*              containing DestinationArea
					*                  indicating AREA1
					*      }
					*      then {
					*          the IUT re-broadcasts immediately the GBC packet
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/SMP/BV-02
					* @reference   EN 302 636-4-1 [1], clauses 10.3.11.3, Annex E.2
					*/
					testcase TC_GEONW_PON_GBC_AREA_SMP_BV_02() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_AREA_SMP_BV_02();
                    
					} // end TC_GEONW_PON_GBC_AREA_SMP_BV_02
                
					/**
					* @desc    Check that a received GBC packet is not triggering re-broadcasting if received for
					*          the second or more time (duplicate packet detection)
					* <pre>
					* Pics Selection:  PICS_GN_GBC_FWD  AND (PICS_GN_AREA_FORWARDING_ALGORITHM == 'SIMPLE' 
					*                                        OR PICS_GN_AREA_FORWARDING_ALGORITHM == 'UNSPECIFIED')
					* Config Id: CF02
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeD and
					*      the IUT having received Beacon information from ItsNodeB and
					*      the IUT having received a GBC packet from ItsNodeB
					*          containing TrafficClass.SCF set to 1
					*          containing Basic Header
					*              containing RHL field
					*                  indicating value HL1 higher than 1
					*          containing GBC Extended Header
					*              containing SN field
					*                  indicating value SN1
					*              containing DestinationArea
					*                  indicating AREA1 and
					*      the IUT having re-broadcast the GBC packet
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives the same GBC packet from ItsNodeD
					*              containing Basic Header
					*                  containing RHL field
					*                      indicating value lower than HL1
					*              containing GBC Extended Header
					*                  containing SN field
					*                      indicating value SN1
					*      }
					*      then {
					*          the IUT does not re-broadcast the GBC packet
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/SMP/BO-07
					* @reference   EN 302 636-4-1 [1], clauses 10.3.11.3, Annex A.2
					*/
					testcase TC_GEONW_PON_GBC_AREA_SMP_BO_07() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_AREA_SMP_BO_07();
                    
					} // end TC_GEONW_PON_GBC_AREA_SMP_BO_07
                
				} // end gbcAreaSimpleForwarding
				
				group gbcAreaContentionBasedForwarding {

					/**
					* @desc    Check that a received GBC packet is triggering contention if received for the first time from a known sender
					*          when inside of the destination area
					* <pre>
					* Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_AREA_FORWARDING_ALGORITHM == 'CBF'
					* Config Id: CF04
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB and
					*      the IUT having received Beacon information from ItsNodeD and
					*      the IUT having received Beacon information from ItsNodeC
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives the a GBC packet from ItsNodeC
					*              containing TrafficClass.SCF set to 1
					*              containing GBC Extended Header
					*                  containing DestinationArea
					*                      indicating AREA1
					*      }
					*      then {
					*          the IUT saves the GBC packet into the CBF buffer and
					*          the IUT starts the contention timer and
					*          the IUT re-broadcasts the received GBC packet
					*              upon expiry of the contention timer
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/CBF/BV-02
					* @reference   EN 302 636-4-1 [1], Annex E.3
					*/
					testcase TC_GEONW_PON_GBC_AREA_CBF_BV_02() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_AREA_CBF_BV_02();
                    
					} // end TC_GEONW_PON_GBC_AREA_CBF_BV_02     
					
					/**
					* @desc    Check that a received GBC packet is discarded if received twice or more
					* <pre>
					* Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_AREA_FORWARDING_ALGORITHM == 'CBF'
					* Config Id: CF04
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB and
					*      the IUT having received Beacon information from ItsNodeD
					*      the IUT having received a GBC packet from ItsNodeC
					*          containing TrafficClass.SCF set to 1
					*          containing GBC Extended Header
					*              containing DestinationArea
					*                  indicating AREA1
					*      the IUT having saved the packet into CBF buffer
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives the same GBC packet from ItsNodeD
					*      }
					*      then {
					*          the IUT removes the GBC packet from the CBF buffer
					*          the IUT discards the new received GBC packet
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/CBF/BV-07
					* @reference   EN 302 636-4-1 [1], Annex E.3
					*/
					testcase TC_GEONW_PON_GBC_AREA_CBF_BV_07() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_AREA_CBF_BV_07();
                   
					} // end TC_GEONW_PON_GBC_AREA_CBF_BV_07
                
					/**
					* @desc    Check that a received GBC packet is triggering contention if received for the first time
					*          when IUT is inside of the destination area from an unknown sender
					* <pre>
					* Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_AREA_FORWARDING_ALGORITHM == 'CBF'
					* Config Id: CF04
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB and
					*      the IUT not having received any message from ItsNodeD
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives the a GBC packet generated by ItsNodeC from ItsNodeD
					*              containing TrafficClass.SCF set to 1
					*              containing GBC Extended Header
					*                  containing DestinationArea
					*                      indicating AREA1
					*      }
					*      then {
					*          the IUT saves the GBC packet into the CBF buffer and
					*          the IUT starts the contention timer set to CBF_MAX and
					*          the IUT broadcasts the received GeoBroedcast packet
					*              upon expiry of the contention timer
					*      }
					*  }
					*
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/CBF/BV-21
					* @reference   EN 302 636-4-1 [1], Annex E.3
					*/
					testcase TC_GEONW_PON_GBC_AREA_CBF_BV_21() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_AREA_CBF_BV_21();
                    
					} // end TC_GEONW_PON_GBC_AREA_CBF_BV_21
                
                
					/**
					* @desc    Check that a received GBC packet is triggering contention if received for the first time
					*          when IUT is inside of the destination area from an unknown sender
					* <pre>
					* Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_AREA_FORWARDING_ALGORITHM == 'CBF'
					* Config Id: CF04
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB and
					*      the IUT having received Beacon information from ItsNodeD
					*        containing Beacon ExtendedHeader
					*            containing SOPV field
					*                containing PAI
					*                    set to '0'
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives the a GBC packet generated by ItsNodeC from ItsNodeD
					*              containing TrafficClass.SCF set to 1
					*              containing GBC Extended Header
					*                  containing DestinationArea
					*                      indicating AREA1
					*      }
					*      then {
					*          the IUT saves the GBC packet into the CBF buffer and
					*          the IUT starts the contention timer set to CBF_MAX and
					*          the IUT re-broadcasts the received GeoBroedcast packet
					*              upon expiry of the contention timer
					*      }
					*  }
					*
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/CBF/BV-22
					* @reference   EN 302 636-4-1 [1], Annex E.3
					*/
					testcase TC_GEONW_PON_GBC_AREA_CBF_BV_22() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_AREA_CBF_BV_22();
                    
					} // end TC_GEONW_PON_GBC_AREA_CBF_BV_22
					                
				} // end gbcAreaContentionBasedForwarding
				
				group gbcAreaAdvancedForwarding {

					/**
					* @desc    Check that a received GBC packet with Broadcast MAC destination is triggering
					*          contention if received for the first time from an unknown sender when IUT is inside the
					*          destination area
					* <pre>
					* Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_AREA_FORWARDING_ALGORITHM == 'ADVANCED'
					* Config Id: CF05
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB and
					*      the IUT not having received any message from ItsNodeE
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives a GBC packet from ItsNodeE
					*              addressed to link-layer broadcast address
					*              containing TrafficClass.SCF set to 1
					*              containing GBC Extended Header
					*                  containing DestinationArea
					*                      indicating AREA1
					*      }
					*      then {
					*          the IUT saves the GBC packet into the CBF buffer and
					*          the IUT starts the contention timer set to CBF_MAX and
					*          the IUT re-broadcasts the received GBC packet
					*              upon expiry of the contention timer
					*      }
					*  }
					*
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/ADV/BV-21
					* @reference   EN 302 636-4-1 [1], Annex F.4
					*/
					testcase TC_GEONW_PON_GBC_AREA_ADV_BV_21() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_AREA_ADV_BV_21();
                    
					} // end TC_GEONW_PON_GBC_AREA_ADV_BV_21

					/**
					* @desc    Check that a received GBC packet is discarded if received more than MAX_COUNTER
					*          times when IUT is inside of the destination area
					* <pre>
					* Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_AREA_FORWARDING_ALGORITHM == 'ADVANCED'
					* Config Id: CF06
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB and
					*      the IUT having received Beacon information from ItsNodeF and
					*      the IUT having received a GBC packet GBC1 from ItsNodeF
					*          containing TrafficClass.SCF set to 1
					*          containing GBC Extended Header
					*              containing DestinationArea
					*                  indicating AREA1
					*      the IUT having saved the packet into CBF buffer
					*      the IUT having received MAX_COUNTER - 1 times the GBC1 packet
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives the same GBC packet GBC1
					*      }
					*      then {
					*          the IUT removes GBC1 from the CBF buffer
					*          the IUT discards the new received GBC packet
					*      }
					*  }
					*
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/ADV/BV-23
					* @reference   EN 302 636-4-1 [1], Annex F.4
					*/
					testcase TC_GEONW_PON_GBC_AREA_ADV_BV_23() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_AREA_ADV_BV_23();
                    
					} // end TC_GEONW_PON_GBC_AREA_ADV_BV_23
                
					/**
					* @desc    Check that a received GBC packet is discarded if received more than 1 times when IUT
					*          is inside of the destination area and inside the sectorial area of the GBC packet Sender
					* <pre>
					* Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_AREA_FORWARDING_ALGORITHM == 'ADVANCED'
					* Config Id: CF05
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB and
					*      the IUT having received Beacon information from ItsNodeE and
					*      the IUT having received a GBC packet GBC1 from ItsNodeB
					*          containing TrafficClass.SCF set to 1
					*          containing GBC Extended Header
					*              containing DestinationArea
					*                  indicating AREA1
					*      the IUT having saved the packet into CBF buffer
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives the same GBC packet GBC1 from ItsNodeE
					*          the IUT is inside the sectorial area of ItsNodeB
					*      }
					*      then {
					*          the IUT removes GBC1 from the CBF buffer
					*          the IUT discards the new received GBC packet
					*      }
					*  }
					*
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/ADV/BV-24
					* @reference   EN 302 636-4-1 [1], Annex F.4
					*/
					testcase TC_GEONW_PON_GBC_AREA_ADV_BV_24() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_AREA_ADV_BV_24();
                    
					} // end TC_GEONW_PON_GBC_AREA_ADV_BV_24
                
					/**
					* @desc    Check that a received GBC packet is triggering contention if received more than 1 times when the IUT
					*          is inside of the destination area and outside the sectorial area of the GBC packet Sender (Angle_FSR > Angle_TH)
					* <pre>
					* Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_AREA_FORWARDING_ALGORITHM == 'ADVANCED'
					* Config Id: CF06
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB and
					*      the IUT having received Beacon information from ItsNodeF and
					*      the IUT having received a GBC packet GBC1 from ItsNodeB
					*          containing TrafficClass.SCF set to 1
					*          containing GBC Extended Header
					*              containing DestinationArea
					*                  indicating AREA1
					*      the IUT having saved the packet into CBF buffer
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives the same GBC packet GBC1 from ItsNodeF
					*          the IUT is outside the sectorial area of ItsNodeB
					*      }
					*      then {
					*          the IUT saves the GBC packet GBC1 from ItsNodeF and
					*          the IUT starts the contention timer and
					*          the IUT re-broadcasts the received GBC packet
					*              upon expiry of the contention timer
					*      }
					*  }
					*
					*  Note: In this configuration IUT is outside sectorial area of ItsNodeB to the angle FSR
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/ADV/BV-25
					* @reference   EN 302 636-4-1 [1], Annex F.4
					*/
					testcase TC_GEONW_PON_GBC_AREA_ADV_BV_25() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_AREA_ADV_BV_25();
                    
					} // end TC_GEONW_PON_GBC_AREA_ADV_BV_25

					/**
					* @desc    Check that a received GBC packet is triggering contention if received more than 1 times when IUT
					*          is inside the destination area and outside the sectorial area of the GBC packet Sender (Dist_R > Dist_F)
					* <pre>
					* Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_AREA_FORWARDING_ALGORITHM == 'ADVANCED'
					* Config Id: CF07
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB and
					*      the IUT having received Beacon information from ItsNodeD and
					*      the IUT having received a GBC packet GBC1 from ItsNodeB
					*          containing TrafficClass.SCF set to 1
					*          containing GBC Extended Header
					*              containing DestinationArea
					*                  indicating AREA1
					*      the IUT having saved packet into the CBF buffer
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives the same GBC packet GBC1 from ItsNodeD
					*          the IUT is outside the sectorial area of ItsNodeB
					*      }
					*      then {
					*          the IUT saves the GBC packet into the CBF buffer and
					*          the IUT starts the contention timer and
					*          the IUT re-broadcasts the received GBC packet
					*              upon expiry of the contention timer
					*      }
					*  }
					*
					* Note: In this configuration IUT is outside sectorial area of ItsNodeB because of dist_R > dist_F
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/ADV/BV-26
					* @reference   EN 302 636-4-1 [1], Annex F.4
					*/
					testcase TC_GEONW_PON_GBC_AREA_ADV_BV_26() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_AREA_ADV_BV_26();
                    
					} // end TC_GEONW_PON_GBC_AREA_ADV_BV_26
                
					/**
					* @desc    Check that a received GBC packet with Unicast MAC destination is triggering line
					*          forwarding if received for the first time when IUT is inside the destination area
					* <pre>
					* Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_AREA_FORWARDING_ALGORITHM == 'ADVANCED'
					* Config Id: CF05
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB and
					*      the IUT having received Beacon information from ItsNodeE and
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives a GBC packet from ItsNodeE
					*              addressed to IUT's link-layer address
					*              containing TrafficClass.SCF set to 1
					*              containing GBC Extended Header
					*                  containing DestinationArea
					*                      indicating AREA1
					*      }
					*      then {
					*          the IUT selects ItsNodeB as the next hop ITS station and
					*          the IUT forwards the GBC packet
					*      }
					*  }
					*
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/ADV/BV-27
					* @reference   EN 302 636-4-1 [1], Annex F.4
					*/
					testcase TC_GEONW_PON_GBC_AREA_ADV_BV_27() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_AREA_ADV_BV_27();
                    
					} // end TC_GEONW_PON_GBC_AREA_ADV_BV_27
					
					/**
					* @desc    Check that a received GBC packet with Unicast MAC destination is triggering
					*           rebroadcast if received for the first time when IUT is inside the destination area.
					* <pre>
					* Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_AREA_FORWARDING_ALGORITHM == 'ADVANCED'
					* Config Id: CF05
					* Initial conditions:
					*  with {
					*   the IUT being in the "initial state" and
					*   the IUT having received Beacon information from ItsNodeB and
					*   the IUT having received Beacon information from ItsNodeE
					*  }
					* Expected behaviour:
					*  ensure that {
					*   when {
					*       the IUT receives a GBC packet from ItsNodeE addressed to IUT's link-layer address
					*           containing TrafficClass.SCF set to 1
					*           containing GBC Extended Header
					*               containing DestinationArea
					*                   indicating AREA1
					*   }
					*   then {
					*       the IUT saves the GBC packet into the CBF buffer and
					*       the IUT starts the contention timer set to CBF_MAX and
					*       the IUT re-broadcasts the received GBC packet
					*           upon expiry of the contention timer
					*   }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/AREA/ADV/BV-28
					* @reference   EN 302 636-4-1 [1], Annex F.4
					*/
					testcase TC_GEONW_PON_GBC_AREA_ADV_BV_28() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_AREA_ADV_BV_28();
                    
					} // end TC_GEONW_PON_BAA_BV_28
                
					/**