ItsGeoNetworking_TestCases.ttcn

					* @desc    Check that a received GBC packet with Broadcast destination is triggering contention if
					*          received for the first time from known 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 having received Beacon information from ItsNodeE
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives a GBC packet from ItsNodeE
					*              addressed to broadcast link-layer address
					*              containing TrafficClass.SCF set to 1
					*              containing GBC Extended Header
					*                  containing DestinationArea
					*                      indicating AREA1
					*      }
					*      then {
					*          the IUT calculates and 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/ADV/BV-29
					* @reference   EN 302 636-4-1 [1], Annex F.4
					*/
					testcase TC_GEONW_PON_GBC_AREA_ADV_BV_29() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GBC_AREA_ADV_BV_29();
                    
					} // end TC_GEONW_PON_GBC_AREA_ADV_BV_29					
					                
				} // end gbcAreaAdvancedForwarding
                
			} // end gbcAreaForwarding

        } // end geoGeoBroadcast
        
        // 6.2.2.10
        group geoTopologicallyScopedBroadcast {
            
            /**
            * @desc    Check that a TSB request over upper Gn SAP triggers the origination of a TSB
            *          packet
            * <pre>
            * Pics Selection: PICS_GN_TSB_SRC
            * Config Id: CF02
            * 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
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT is requested to send a TSB packet
            *      }
            *      then {
            *          the IUT broadcasts a TSB packet
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/TSB/BV-01
            * @reference   EN 302 636-4-1 [1], clauses 10.3.9.2
            */
            testcase TC_GEONW_PON_TSB_BV_01() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_TSB_BV_01();
                    
            } // end TC_GEONW_PON_TSB_BV_01
                
            /**
            * @desc    Check that a received TSB packet is triggering re-broadcasting if received for the first time
            * <pre>
            * Pics Selection: PICS_GN_TSB_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 TSB packet
            *              containing Basic Header
            *                  containing RHL field
            *                      indicating HL1 higher than 1
            *      }
            *      then {
            *          the IUT re-broadcasts the TSB packet
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/TSB/BV-02
            * @reference   EN 302 636-4-1 [1], clauses 10.3.9.3
            */
            testcase TC_GEONW_PON_TSB_BV_02() runs on ItsMtc system ItsGeoNetworkingSystem {
				
                f_GEONW_PON_TSB_BV_02();
				
            } // end TC_GEONW_PON_TSB_BV_02
                                    
            /**
            * @desc    Check that the protocol header fields (RHL) are correctly updated during a TSB re-
            *          broadcasting step
            * <pre>
            * Pics Selection: PICS_GN_TSB_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 TSB packet
            *              containing Basic Header
            *                  containing RHL field
            *                      indicating HL1
            *              containing Common Header
            *                  containing MHL field
            *                      indicating value MHL1
            *      }
            *      then {
            *          the IUT re-broadcasts the TSB 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/TSB/BV-03
            * @reference   EN 302 636-4-1 [1], clauses 10.3.9.3
            */
            testcase TC_GEONW_PON_TSB_BV_03() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_TSB_BV_03();
                    
            } // end TC_GEONW_PON_TSB_BV_03
                
            /**
            * @desc    Check that the RHL restriction is correctly handled at a TSB re-broadcasting step
            * <pre>
            * Pics Selection: PICS_GN_TSB_FWD
            * Config Id: CF02
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state"
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a TSB packet
            *              containing Basic Header
            *                  containing RHL field
            *                      indicating 1
            *      }
            *      then {
            *          the IUT does not re-broadcast the TSB packet
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/TSB/BO-04
            * @reference   EN 302 636-4-1 [1], clauses 10.3.9.3
            */
            testcase TC_GEONW_PON_TSB_BO_04() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_TSB_BO_04();
                    
            } // end TC_GEONW_PON_TSB_BO_04

            /**
            * @desc  Check that a received TSB packet is passed over the Gn SAP to the correct upper protocol if it is
            *        received for the first time
            * <pre>
            * Pics Selection: PICS_GN_TSB_DST
            * Config Id: CF01
            * Initial conditions:
            *  with {
            *    the IUT being in the "initial state"
            *  }
            * Expected behaviour:
            *  ensure that {
            *    when {
            *      the IUT receives a TSB packet
            *    }
            *    then {
            *      the IUT passes the received TSB packet to the correct Upper Layer protocol
            *    }
            *  }
            * </pre>
            *
            * @see     ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/TSB/BV-05
            * @reference   EN 302 636-4-1 [1], clauses 10.3.9.3
            */
            testcase TC_GEONW_PON_TSB_BV_05() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_TSB_BV_05();
                
            } // end TC_GEONW_PON_TSB_BV_05

            /**
            * @desc    Check that a received TSB packet is not triggering re-broadcasting if received for the second or
            *          more time
            * <pre>
            * Pics Selection: PICS_GN_TSB_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 and
            *      the IUT having received a TSB packet from ItsNodeB
            *          containing Basic Header
            *              containing RHL field
            *                  indicating HL1 higher than 1
            *          containing TSB Extended Header
            *              containing SN field
            *                  indicating value SN1 and
            *      the IUT having re-broadcast the TSB packet
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives the same TSB packet from ItsNodeD
            *              containing Basic Header
            *                  containing RHL field
            *                      indicating HL1 - 1
            *              containing TSB Extended Header
            *                  containing SN field
            *                      indicating value SN1
            *      }
            *      then {
            *          the IUT does not re-broadcast the TSB packet
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/TSB/BO-07
            * @reference   EN 302 636-4-1 [1], clauses 10.3.9.3
            */
            testcase TC_GEONW_PON_TSB_BO_07() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_TSB_BO_07();
                    
            } // end TC_GEONW_PON_TSB_BO_07

            
            /**
            * @desc    Check that a received TSB packet is not passed over the Gn SAP if it is received for the second
            *          or more time
            * <pre>
            * Pics Selection: PICS_GN_TSB_DST
            * Config Id: CF02
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT having received a TSB packet from ItsNodeB
            *          containing Basic Header
            *              containing RHL field
            *                  indicating HL1 higher than 1
            *          containing TSB Extended Header
            *              containing SN field
            *                  indicating value SN1 and
            *      the IUT having passed the received TSB packet to the correct Upper Layer protocol
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives the same TSB packet from ItsNodeD
            *              containing Basic Header
            *                  containing RHL field
            *                      indicating HL1 - 1
            *              containing TSB Extended Header
            *                  containing SN field
            *                      indicating value SN1
            *      }
            *      then {
            *          the IUT does not pass the received TSB packet to any Upper Layer protocol
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/TSB/BO-08
            * @reference   EN 302 636-4-1 [1], clauses 10.3.9.3
            */
            testcase TC_GEONW_PON_TSB_BO_08() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_TSB_BO_08();
                    
            } // end TC_GEONW_PON_TSB_BO_08
                
        } // end geoTopologicallyScopedBroadcast
        
        // 6.2.2.11
        group geoSingleHopBroadcast {
            
            /**
            * @desc  Check that a SHB request over upper Gn SAP triggers the origination of a SHB
            *        packet
            * <pre>
            * Pics Selection: PICS_GN_SHB_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 SHB packet
            *      }
            *      then {
            *          the IUT broadcasts the SHB packet
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/SHB/BV-01
            * @reference   EN 302 636-4-1 [1], clauses 10.3.10.2
            */
            testcase TC_GEONW_PON_SHB_BV_01() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_SHB_BV_01();
                    
            } // end TC_GEONW_PON_SHB_BV_01
                
            /**
            * @desc  Check that a received SHB packet is passed over the Gn SAP to the correct upper protocol if it is
            *        received for the first time
            * <pre>
            * Pics Selection: PICS_GN_SHB_DST
            * Config Id: CF02
            * Initial conditions:
            *  with {
            *    the IUT being in the "initial state"
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a SHB packet
            *      }
            *      then {
            *          the IUT passes the received SHB packet to the Upper Layer protocol
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/SHB/BV-05
            * @reference   EN 302 636-4-1 [1], clauses 10.3.10.3
            */
            testcase TC_GEONW_PON_SHB_BV_05() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_SHB_BV_05();
                
            } // end TC_GEONW_PON_SHB_BV_05
            
        } // end geoSingleHopBroadcast
        
        // 6.2.2.12
        group geoGeoAnycast {
            
			group gacNonAreaForwarding {
                
				group gacNonAreaAllForwardingAlgorithm {

					/**
					* @desc    Check that the protocol header fields (RHL) are correctly updated during a GAC
					*          forwarding step
					* <pre>
					* Pics Selection: PICS_GN_GAC_FWD
					* Config Id: CF03
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB
                    *      the IUT having received Beacon information from ItsNodeC
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives a GAC packet from ItsNodeC
					*              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 AREA2
					*      }
					*      then {
					*          the IUT retrnasmits the GAC packet
					*              containing Basic Header
					*                  containing RHL field
					*                      indicating value (HL1 - 1)
					*              containing Common Header
					*                  containing MHL field
					*                      indicating value MHL1
					*              containing DestinationArea
					*                  indicating AREA2
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GAC/NONAREA/ALL/BV-03
					* @reference   EN 302 636-4-1 [1], clauses 10.3.6.3 and 10.3.12.3
					*/
					testcase TC_GEONW_PON_GAC_NONAREA_ALL_BV_03() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GAC_NONAREA_ALL_BV_03();
                    
					} // end TC_GEONW_PON_GAC_NONAREA_ALL_BV_03					

					/**
					* @desc    Check that the RHL restriction is correctly handled at a GAC forwarding step
					* <pre>
					* Pics Selection: PICS_GN_GAC_FWD
					* Config Id: CF03
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB
                    *      the IUT having received Beacon information from ItsNodeC
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives a GAC packet from ItsNodeC
					*              containing TrafficClass.SCF set to 1
					*              containing Basic Header
					*                  containing RHL field
					*                      indicating 1
					*              containing GAC Extended Header
					*                  containing DestinationArea
					*                      indicating AREA2
					*      }
					*      then {
					*         the IUT does not retransmit the GAC packet
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GAC/NONAREA/ALL/BO-04
					* @reference   EN 302 636-4-1 [1], clauses 10.3.12.3
					*/
					testcase TC_GEONW_PON_GAC_NONAREA_ALL_BO_04() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GAC_NONAREA_ALL_BO_04();
                    
					} // end TC_GEONW_PON_GAC_NONAREA_ALL_BO_04
					
					/**
					* @desc    Check that a received GAC packet is not passed over the Gn SAP if it is received for the
					*          first time outside the GAC destination area
					* <pre>
					* Pics Selection: PICS_GN_GAC_FWD
					* Config Id: CF01
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state"
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives a GAC packet from ItsNodeB
					*              containing TrafficClass.SCF set to 1
					*              containing DestinationArea
					*                  indicating AREA2
					*      }
					*      then {
					*          the IUT does not pass the received GAC packet to any Upper Layer protocol
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GAC/BV-06
					* @reference   EN 302 636-4-1 [1], clauses 10.3.12.3
					*/
					testcase TC_GEONW_PON_GAC_NONAREA_ALL_BV_06() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GAC_NONAREA_ALL_BV_06();
                
					} // end TC_GEONW_PON_GAC_NONAREA_ALL_BV_06
					
					/**
					* @desc    Check that a received GAC packet is discarded when indicating a too big GeoArea
					* <pre>
					* Pics Selection: PICS_GN_GAC_FWD
					* 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
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives a GAC packet from ItsNodeC
					*              containing TrafficClass.SCF set to 1
					*              containing DestinationArea
					*                  indicating a geoArea bigger than itsGnMaxGeoAreaSize
					*      }
					*      then {
					*          the IUT does not retransmit the received GAC packet
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GAC/NONAREA/ALL/BO-09
					* @reference   EN 302 636-4-1 [1], Annex B.3
					*/
					testcase TC_GEONW_PON_GAC_NONAREA_ALL_BO_09() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GAC_NONAREA_ALL_BO_09();
                    
					} // end TC_GEONW_PON_GAC_NONAREA_ALL_BO_09			
					
					/**
					* @desc    Check that a received GAC packet from inside the destination area is discarded if received for 
					*          the first time from a known sender when IUT is outside the destination area.
					* <pre>
					* Pics Selection: PICS_GN_GAC_FWD
					* 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 ItsNodeC and
					*      the IUT having received Beacon information from ItsNodeD
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives a GAC packet from ItsNodeD
                    *              containing TrafficClass.SCF set to 1
                    *              containing GAC Extended Header
                    *                  containing DestinationArea
                    *                      indicating AREA2
					*      }
					*      then {
					*          the IUT discards the received GAC packet
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GAC/NONAREA/ALL/BV-10
					* @reference   EN 302 636-4-1 [1], Annex D
					*/
					testcase TC_GEONW_PON_GAC_NONAREA_ALL_BV_10() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GAC_NONAREA_ALL_BV_10();
                    
					} // end TC_GEONW_PON_GAC_NONAREA_ALL_BV_10 											
                
				} // end gacNonAreaAllForwardingAlgorithm
                
				group gacNonAreaGreedyForwarding {
					
					/**
					* @desc    Check that a GAC request over upper Gn SAP triggers line forwarding if the IUT is outside the Destination Area
					* <pre>
					* Pics Selection: PICS_GN_GAC_SRC  AND (PICS_GN_NON_AREA_FORWARDING_ALGORITHM == 'GREEDY' OR PICS_GN_NON_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 is requested to send a GAC packet
					*              containing TrafficClass.SCF set to 1
					*              containing DestinationArea
					*                  indicating AREA2
					*      }
					*      then {
					*          the IUT selects ItsNodeB as the next hop and
					*          the IUT sends the GAC packet (see note)
					*              containing DestinationArea
					*                  indicating AREA2
					*      }
					*  }
					*  NOTE: Next hop ITS Station being identified by the MAC layer address of ItsNodeB
					*
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GAC/NONAREA/GRD/BV-02
					* @reference   EN 302 636-4-1 [1], clauses 10.3.12.2, Annex E.2
					*/
					testcase TC_GEONW_PON_GAC_NONAREA_GRD_BV_01() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GAC_NONAREA_GRD_BV_01();
                    
					} // end TC_GEONW_PON_GAC_NONAREA_GRD_BV_01
					
					/**
					* @desc    Check that a received GAC packet is triggering line forwarding if received out of its
					*          destination area for the first time
					* <pre>
					* Pics Selection: PICS_GN_GAC_FWD AND (PICS_GN_NON_AREA_FORWARDING_ALGORITHM == 'GREEDY' OR PICS_GN_NON_AREA_FORWARDING_ALGORITHM == 'UNSPECIFIED')
					* Config Id: CF04
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB
					*      the IUT having received Beacon information from ItsNodeD
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives a GAC packet from ItsNodeC
					*              containing TrafficClass.SCF set to 1
					*              containing DestinationArea
					*                  indicating AREA2
					*      }
					*      then {
					*          the IUT selects ItsNodeB as the next hop and
					*          the IUT forwards the GAC packet (see note)
					*      }
					*  }
					*  NOTE: Next hop ITS Station being identified by the MAC layer address of ItsNodeB
					*
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GAC/NONAREA/GRD/BV-02
					* @reference   EN 302 636-4-1 [1], clauses 10.3.12.3, Annex E.2
					*/
					testcase TC_GEONW_PON_GAC_NONAREA_GRD_BV_02() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GAC_NONAREA_GRD_BV_02();
                    
					} // end TC_GEONW_PON_GAC_BV_02		
					
					/**
					* @desc    Check that a received GAC packet is not triggering line forwarding if received out of its
					*          destination area for the second or more time
					* <pre>
					* Pics Selection: PICS_GN_GAC_FWD AND (PICS_GN_NON_AREA_FORWARDING_ALGORITHM == 'GREEDY' OR PICS_GN_NON_AREA_FORWARDING_ALGORITHM == 'UNSPECIFIED')
					* Config Id: CF04
					* Initial conditions:
					*  with {
					*      the IUT being in the "initial state" and
					*      the IUT having received Beacon information from ItsNodeB
					*      the IUT having received Beacon information from ItsNodeD
					*      the IUT having received a GAC packet from ItsNodeC
					*          containing TrafficClass.SCF set to 1
					*          containing Basic Header
					*              containing RHL field
					*                  indicating value HL1 higher than 1
					*          containing GAC Extended Header
					*              containing SN field
					*                  indicating value SN1 and
					*              containing DestinationArea
					*                  indicating AREA2
					*      the IUT having forwarded the GAC packet
					*  }
					* Expected behaviour:
					*  ensure that {
					*      when {
					*          the IUT receives the same GAC packet from other neighbour
					*              containing Basic Header
					*                  containing RHL field
					*                      indicating value lower than HL1
					*              containing GAC Extended Header
					*                  containing SN field
					*                      indicating value SN1
					*      }
					*      then {
					*          the IUT does not forward the received GAC packet
					*      }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GAC/NONAREA/GRD/BO-07
					* @reference   EN 302 636-4-1 [1], clauses 10.3.12.3
					*/
					testcase TC_GEONW_PON_GAC_NONAREA_GRD_BO_07() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GAC_NONAREA_GRD_BO_07();
                    
					} // end TC_GEONW_PON_GAC_NONAREA_GRD_BO_07													
                
				} // end gacNonAreaGreedyForwarding

				group gacNonAreaContentionBasedForwarding {

					/**
					* @desc    Check that a GAC request over upper Gn SAP triggers immediate broadcasting of a
					*           GAC packet if the IUT is outside the Destination Area
					* <pre>
					* Pics Selection: PICS_GN_GAC_SRC AND PICS_GN_NON_AREA_FORWARDING_ALGORITHM == 'CBF'
					* 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 GAC packet
					*           containing TrafficClass.SCF set to 1
					*           containing DestinationArea
					*               indicating AREA2
					*   }
					*   then {
					*       the IUT broadcasts immediately the GAC packet 
					*   }
					*  }
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GAC/NONAREA/CBF/BV-01
					* @reference   EN 302 636-4-1 [1], clauses 10.3.12.2
					*/
					testcase TC_GEONW_PON_GAC_NONAREA_CBF_BV_01() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GAC_NONAREA_CBF_BV_01();
                    
					} // end TC_GEONW_PON_GAC_NONAREA_CBF_BV_01					

					/**
					* @desc    Check that a received GAC packet is forwarded at the correct time according to the contention 
					*          based forwarding rules
					* <pre>
					* Pics Selection: PICS_GN_GAC_SRC 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 GAC 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 GAC packet
                    *           upon expiry of calculated CBF delay (see note)
 					*   }
					*  }
					* NOTE: The CBF delay timer value is calculated from the itsGnDefaultMaxCommunicationRange, itsGnCbfMinTime, 
					*       and itsGnCbfMaxTime MIB attributes, and the distance value between IUT and ItsNodeC.  
					*  
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GAC/NONAREA/CBF/BV-02
					* @reference   EN 302 636-4-1 [1], clauses 10.3.12.2, Annex E3
					*/
					testcase TC_GEONW_PON_GAC_NONAREA_CBF_BV_02() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GAC_NONAREA_CBF_BV_02();
                    
					} // end TC_GEONW_PON_GAC_NONAREA_CBF_BV_02 
					
					/**
					* @desc    Check that GAC packet forwarding correctly avoids packet duplication according to the contention 
					*          based forwarding rules
					* <pre>
					* Pics Selection: PICS_GN_GAC_SRC 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 GAC 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 GAC packet from ItsNodeB
                    *           before expiration of the CBF timer
					*   }
					*   then {
					*       the IUT does not re-broadcast the GAC packet 
					*   }
					*  }
					* NOTE: The CBF delay timer value is calculated from the itsGnDefaultMaxCommunicationRange, itsGnCbfMinTime, 
					*       and itsGnCbfMaxTime MIB attributes, and the distance value between IUT and ItsNodeC.  
					*  
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GAC/NONAREA/CBF/BV-07
					* @reference   EN 302 636-4-1 [1], clauses 10.3.12.3, Annex E3
					*/
					testcase TC_GEONW_PON_GAC_NONAREA_CBF_BV_07() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GAC_NONAREA_CBF_BV_07();
                    
					} // end TC_GEONW_PON_GAC_NONAREA_CBF_BV_07 					

					/**
					* @desc    Check that a received GAC packet forwarding is correctly handling the minimum delay value 
					*          according to the contention based forwarding rules
					* <pre>
					* Pics Selection: PICS_GN_GAC_SRC 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 
                    *       larger than the itsGnDefaultMaxCommunicationRange MIB attribute
					*  }
					* Expected behaviour:
					*  ensure that {
					*   when {
					*       the IUT receives a GAC 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 GAC packet
                    *           upon expiry of itsGnCbfMinTime delay
					*   }
					*  }
					*  
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GAC/NONAREA/CBF/BV-20
					* @reference   EN 302 636-4-1 [1], clauses 10.3.12.3, Annex E3
					*/
					testcase TC_GEONW_PON_GAC_NONAREA_CBF_BV_20() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GAC_NONAREA_CBF_BV_20();
                    
					} // end TC_GEONW_PON_GAC_NONAREA_CBF_BV_20 
					
					/**
					* @desc    Check that a received GAC 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_GAC_SRC 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 a GAC packet generated by ItsNodeC from ItsNodeD
                    *           containing TrafficClass.SCF set to 1
                    *           containing GAC Extended Header
                    *               containing DestinationArea
                    *                   indicating AREA2
					*   }
					*   then {
					*       the IUT re-broadcasts the GAC packet
					*           upon expiry of CBF_MAX
					*   }
					*  }
					*  
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GAC/NONAREA/CBF/BV-21
					* @reference   EN 302 636-4-1 [1], Annex E3
					*/
					testcase TC_GEONW_PON_GAC_NONAREA_CBF_BV_21() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GAC_NONAREA_CBF_BV_21();
                    
					} // end TC_GEONW_PON_GAC_NONAREA_CBF_BV_21 					

					/**
					* @desc    Check that a received GAC 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_GAC_SRC 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 a GAC packet generated by ItsNodeC from ItsNodeD
					*           containing TrafficClass.SCF set to 1
					*           containing GAC Extended Header
					*               containing DestinationArea
					*                   indicating AREA2
					*   }
					*   then {
					*       the IUT re-broadcasts the GAC packet
					*           upon expiry of CBF_MAX
					*   }
					*  }
					*  
					* </pre>
					*
					* @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GAC/NONAREA/CBF/BV-22
					* @reference   EN 302 636-4-1 [1], Annex E3
					*/
					testcase TC_GEONW_PON_GAC_NONAREA_CBF_BV_22() runs on ItsMtc system ItsGeoNetworkingSystem {
                
						f_GEONW_PON_GAC_NONAREA_CBF_BV_22();
                    
					} // end TC_GEONW_PON_GAC_NONAREA_CBF_BV_22 
                
				} // end gacNonAreaContentionBasedForwarding
                                
			} // end gacNonAreaForwarding
			
			group gacAreaForwarding {

				/**
				* @desc    Check that GAC request over upper Gn SAP triggers broadcasting of a GAC packet if the IUT is within the Destination Area
				* <pre>
				* Pics Selection: PICS_GN_GAC_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 GAC packet
				*              containing TrafficClass.SCF set to 1
				*              containing DestinationArea
				*                  indicating AREA1
				*      }
				*      then {
				*          the IUT broadcasts immediately the GAC packet
				*              containing DestinationArea
				*                  indicating AREA1
				*      }
				*  }
				* </pre>
				*
				* @see     ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GAC/AREA/ALL/BV-01
				* @reference   EN 302 636-4-1 [1], clauses 10.3.12.2
				*/
				testcase TC_GEONW_PON_GAC_AREA_ALL_BV_01() runs on ItsMtc system ItsGeoNetworkingSystem {
                
					f_GEONW_PON_GAC_AREA_ALL_BV_01();
                    
				} // end TC_GEONW_PON_GAC_AREA_ALL_BV_01

				/**
				* @desc    Check that a received GAC packet is not triggering forwarding or re-broadcasting if the IUT
				*          is within the Destination Area