ItsGeoNetworking_TestCases.ttcn

            *                      containing GN_ADDR field
            *                          indicating same GN_ADDR as the GN_ADDR field in the last SHB packet originated by the IUT
            *      }
            *      then {
            *          the IUT sends subsequent SHB packet
            *              containing SHB Extended Header
            *                  containing SOPV field
            *                      containing GN_ADDR field
            *                          indicating different GN_ADDR as the previous used GN_ADDR
            *      }
            *   }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GNA/BV-02
            * @reference   EN 302 636-4-1 [1], clauses 9.2.1.4
            */
            testcase TC_GEONW_PON_GNA_BV_02() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GNA_BV_02();
                
            } // end TC_GEONW_PON_GNA_BV_02
            
        } // end geoGeoNetworkingAddress
        
        // 6.2.2.7
        group geoBeaconing {
            
            /**
            * @desc    Check that the IUT transmits Beacons at prescribed periodicity in the absence of other originated
            *          packets
            * <pre>
            * Pics Selection: PICS_GN_BEACON_SRC
            * Config Id: CF01
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state"
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT generates Beacon packets
            *      }
            *      then {
            *          the IUT sends each Beacon packet
            *              after expiry of itsGnBeaconServiceRetransmitTimer
            *              and before expiry of itsGnBeaconServiceRetransmitTimer + itsGnBeaconServiceMaxJitter
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/BEA/TI-01
            * @reference   EN 302 636-4-1 [1], clauses 9.3.6.2
            */
            testcase TC_GEONW_PON_BEA_TI_01() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BEA_TI_01();
                
            } // end TC_GEONW_PON_BEA_TI_01
            
            /**
            * @desc    Check that the IUT resets its timer for next Beacon transmission when originating other packets
            * <pre>
            * Pics Selection: PICS_GN_BEACON_SRC
            * 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 is requested to send a SHB packet
            *      }
            *      then {
            *          the IUT broadcasts a SHB packet and
            *          the IUT sends the next Beacon packet
            *              after expiry of itsGnBeaconServiceRetransmitTimer
            *              and before expiry of itsGnBeaconServiceRetransmitTimer + itsGnBeaconServiceMaxJitter
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/BEA/TI-02
            * @reference   EN 302 636-4-1 [1], clauses 9.2.3 and 9.3.10.2
            */
            testcase TC_GEONW_PON_BEA_TI_02() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BEA_TI_02();
                
            } // end TC_GEONW_PON_BEA_TI_02

        } // end geoBeaconing
        
        // 6.2.2.8
        group geoGeoUnicast {
            
            /**
            * @desc    Check that a GUC request over upper Gn SAP triggers the origination of a
            *          GUC packet
            * <pre>
            * Pics Selection: PICS_GN_GUC_SRC AND (PICS_GN_GEOUNICAST_FORWARDING_ALGORITHM == 'GREEDY' OR PICS_GN_GEOUNICAST_FORWARDING_ALGORITHM == 'UNSPECIFIED')
            * 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 is requested to send a GUC packet to ItsNodeB
            *      }
            *      then {
            *          the IUT sends a GeoNetworking packet
            *              containing a correctly formatted Common Header
            *                  containing HT field
            *                      set to '2' (GEOUNICAST)
            *              containing GUC Extended Header
            *                  containing DEPV field
            *                      indicating same position as the SOPV value of the Beacon information received
            *      }
            *  }
            * </pre>
            *
            * @see     ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GUC/BV-01
            * @reference   EN 302 636-4-1 [1], clauses 9.3.8.2, 9.3.6.3
            */
            testcase TC_GEONW_PON_GUC_BV_01() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GUC_BV_01();
                
            } // end TC_GEONW_PON_GUC_BV_01
                
            /**
            * @desc    Check that a received GUC packet is routed to the correct next hop neighbour according
            *          to the greedy forwarding rules
            * <pre>
            * Pics Selection:  PICS_GN_GUC_FWD AND (PICS_GN_GEOUNICAST_FORWARDING_ALGORITHM == 'GREEDY' OR PICS_GN_GEOUNICAST_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 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 a GUC 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 selects ItsNodeB as the next hop ITS station and
            *          the IUT forwards the GUC packet
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GUC/BV-02
            * @reference   EN 302 636-4-1 [1], clauses 9.3.8.3, Annex D.2
            */
            testcase TC_GEONW_PON_GUC_BV_02() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GUC_BV_02();
                    
            } // end TC_GEONW_PON_GUC_BV_02
                
            /**
            * @desc    Check that the protocol header fields (RHL, PV) are correctly updated at each forwarding step
            * <pre>
            * Pics Selection: PICS_GN_GUC_FWD
            * 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 IUT having received a GUC packet (GEOUNI1) originated by ItsNodeA
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a GUC packet (GEOUNI2) addressed to ItsNodeA from ItsNodeC
            *              containing TrafficClass.SCF set to 1
            *              containing Basic Header
            *                  containing RHL field
            *                      indicating value greater than 1
            *              containing Common Header
            *                  containing MHL field
            *                      indicating value MHL1
            *              containing GUC Extended Header
            *                  containing DEPV field
            *                      indicating position different from the SOPV value of GEOUNI1
            *                  containing TST field
            *                      indicating older value than the TimeStamp value of GEOUNI1
            *      }
            *      then {
            *          the IUT selects ItsNodeB as the next hop ITS station and
            *          the IUT forwards GEOUNI2
            *              containing Basic Header
            *                  containing RHL field
            *                      indicating value decreased by 1 from the incoming value
            *              containing Common Header
            *                  containing MHL field
            *                      indicating value MHL1
            *              containing GUC Extended Header
            *                  containing DEPV field
            *                      indicating same position as the SOPV value of GEOUNI1
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GUC/BV-03
            * @reference   EN 302 636-4-1 [1], clauses 9.3.8.3
            */
            testcase TC_GEONW_PON_GUC_BV_03() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GUC_BV_03();
                    
            } // end TC_GEONW_PON_GUC_BV_03
                
            /**
            * @desc  Check that the RHL restriction is correctly handled at the forwarding step
            * <pre>
            * Pics Selection: PICS_GN_GUC_FWD
            * 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
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a GUC packet addressed to ItsNodeA from ItsNodeC
            *              containing TrafficClass.SCF set to 1
            *              containing Basic Header
            *                  containing RHL field
            *                      indicating 1
            *      }
            *      then {
            *          the IUT does not forward the GUC packet
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GUC/BO-04
            * @reference   EN 302 636-4-1 [1], clauses 9.3.8.3
            */
            testcase TC_GEONW_PON_GUC_BO_04() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GUC_BO_04();
                    
            } // end TC_GEONW_PON_GUC_BO_04
                
            /**
            * @desc    Check that a received GUC packet is passed over the Gn SAP to the correct upper
            *          protocol if the Destination address matches the IUT address
            * <pre>
            * Pics Selection: PICS_GN_GUC_DST
            * Config Id: CF01
            * Initial conditions:
            *  with {
            *    the IUT being in the "initial state"
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a GUC packet addressed to it
            *      }
            *      then {
            *          the IUT passes the received GUC packet to the correct Upper Layer protocol
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GUC/BV-05
            * @reference   EN 302 636-4-1 [1], clauses 9.3.8.4
            */
            testcase TC_GEONW_PON_GUC_BV_05() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GUC_BV_05();
                
            } // end TC_GEONW_PON_GUC_BV_05
            
            /**
            * @desc    Check that a received GUC packet is forwarded at the correct time according to the
            *          contention based forwarding rules
            * <pre>
            * Pics Selection: PICS_GN_GUC_FWD AND PICS_GN_GEOUNICAST_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 GUC 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 GUC packet
            *              upon expiry of calculated CBF delay (see note)
            *      }
            *  }
            *  NOTE: The CBF delay timer value is calculated from the itsGnDefaultMaxCommunicationRange,
            *        itsGnGeoUnicastCbfMinTime, and itsGnGeoUnicastCbfMaxTime MIB attributes, and the distance value
            *        between IUT and ItsNodeC
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GUC/BV-06
            * @reference   EN 302 636-4-1 [1], clauses 9.3.8.3, Annex D.3
            */
            testcase TC_GEONW_PON_GUC_BV_06() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GUC_BV_06();
                    
            } // end TC_GEONW_PON_GUC_BV_06
                
            /**
            * @desc    Check that a received GUC packet forwarding is correctly handling the minimum delay
            *          value according to the contention based forwarding rules
            * <pre>
            * Pics Selection: PICS_GN_GUC_FWD AND PICS_GN_GEOUNICAST_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
            *          larger than the itsGnDefaultMaxCommunicationRange MIB attribute
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a GUC 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 GUC packet
            *              upon expiry of itsGnGeoUnicastCbfMinTime delay
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GUC/BV-07
            * @reference   EN 302 636-4-1 [1], clauses 9.3.8.3, Annex D.3
            */
            testcase TC_GEONW_PON_GUC_BV_07() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GUC_BV_07();
                    
            } // end TC_GEONW_PON_GUC_BV_07
                
            /**
            * @desc    Check that GUC packet forwarding correctly avoids packet duplication according to the
            *          contention based forwarding rules
            * <pre>
            * Pics Selection: PICS_GN_GUC_FWD AND PICS_GN_GEOUNICAST_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 GUC 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 ItsNodeD
            *              before expiration of the CBF timer
            *      }
            *      then {
            *          the IUT does not re-broadcast the received GUC packet
            *      }
            *  }
            *  NOTE:    the CBF delay timer value is calculated from the itsGnDefaultMaxCommunicationRange,
            *           itsGnGeoUnicastCbfMinTime, and itsGnGeoUnicastCbfMaxTime MIB attributes, and the
            *           distance value between IUT and ItsNodeC
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GUC/BV-08
            * @reference   EN 302 636-4-1 [1], clauses 9.3.8.3, Annex D.3
            */
            testcase TC_GEONW_PON_GUC_BV_08() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GUC_BV_08();
                    
            } // end TC_GEONW_PON_GUC_BV_08
                
            /**
            * @desc    Check that a received GUC packet is forwarded at the correct time according to the
            *          contention based forwarding rules when the sender is unknown
            * <pre>
            * Pics Selection: PICS_GN_GUC_FWD AND PICS_GN_GEOUNICAST_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 not having received any message from ItsNodeC and
            *      the distance between IUT and ItsNodeA being
            *          less than the itsGnDefaultMaxCommunicationRange MIB attribute and
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a GUC 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 GUC packet
            *              upon expiry of CBF_MAX
            *      }
            *  }
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GUC/BV-10
            * @reference   EN 302 636-4-1 [1], clauses 9.3.8.3, Annex D.3
            */
            testcase TC_GEONW_PON_GUC_BV_10() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GUC_BV_10();
                    
            } // end TC_GEONW_PON_GUC_BV_10
                
            /**
            * @desc    Check that a GUC request over upper Gn SAP triggers the origination of a GUC packet
            * <pre>
            * Pics Selection: PICS_GN_GUC_SRC AND PICS_GN_GEOUNICAST_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
            *  }
            * Expected behaviour:
            *  ensure that {
            *  	when {
            *  		the IUT is requested to send a GUC packet to ItsNodeB
            *  	}
            *  	then {
            *  		the IUT broadcasts a GeoNetworking packet
            *  			containing a correctly formatted Common Header
            *  				containing HT field
            *  					set to '2' (GEOUNICAST)
            *  			containing GUC Extended Header
            *  				containing DEPV field
            *  					indicating same position as the SOPV value of the received Beacon information
            *  	}
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GUC/BV-11
            * @reference   EN 302 636-4-1 [1], clauses 9.3.8.3, Annex D.3
            */
            testcase TC_GEONW_PON_GUC_BV_11() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GUC_BV_11();
                    
            } // end TC_GEONW_PON_GUC_BV_11
                
            /**
            * @desc    Check that a received GUC packet is not triggering forwarding if received twice or more
            * <pre>
            * Pics Selection: PICS_GN_GUC_FWD AND (PICS_GN_GEOUNICAST_FORWARDING_ALGORITHM == 'GREEDY' OR PICS_GN_GEOUNICAST_FORWARDING_ALGORITHM == 'UNSPECIFIED')
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *  	the IUT being in the "initial state" and
            *  	the IUT having received Beacon information from ItsNodeC and
            *  	the IUT having received Beacon information from ItsNodeB and
            *  	the IUT having received a GUC 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 forwarded the GUC packet
            *  }
            * Expected behaviour:
            *  ensure that {
            *  	when {
            *  		the IUT receives the same GUC packet from ItsNodeB
            *  			containing Basic Header
            *  				containing RHL field
            *  					indicating HL1 - 1
            *  	}
            *  	then {
            *  		the IUT does forward the packet
            *  	}
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GUC/BO-12
            * @reference   EN 302 636-4-1 [1], clause 9.3.9.3
            */
            testcase TC_GEONW_PON_GUC_BO_12() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GUC_BO_12();
                    
            } // end TC_GEONW_PON_GUC_BO_12
                
            /**
            * @desc    Check that a received GUC packet is not passed over the Gn SAP to the correct upper protocol
            * 			when the Destination address matches the IUT address if received twice or more
            * <pre>
            * Pics Selection: PICS_GN_GUC_DST AND (PICS_GN_GEOUNICAST_FORWARDING_ALGORITHM == 'GREEDY' OR PICS_GN_GEOUNICAST_FORWARDING_ALGORITHM == 'UNSPECIFIED')
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *  	the IUT being in the "initial state" and
            *  	the IUT having received Beacon information from ItsNodeC and
            *  	the IUT having received Beacon information from ItsNodeB and
            *  	the IUT having received a GUC packet addressed to IUT from ItsNodeC
            *  		containing TrafficClass.SCF set to 1
            *  		containing Basic Header
            *  			containing RHL field
            *  				indicating value greater than 1 and
            *  	the IUT having forwarded the GUC packet
            *  }
            * Expected behaviour:
            *  ensure that {
            *  	when {
            *  		the IUT receives the same GUC packet from ItsNodeB
            *  			containing Basic Header
            *  				containing RHL field
            *  					indicating HL1 - 1
            *  	}
            *  	then {
            *  		the IUT does not pass the received GUC packet to any Upper Layer protocol
            *  	}
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GUC/BO-13
            * @reference   EN 302 636-4-1 [1], clause 9.3.9.3
            */
            testcase TC_GEONW_PON_GUC_BO_13() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GUC_BO_13();
                    
            } // end TC_GEONW_PON_GUC_BV_13
                
        } // end geoGeoUnicast
        
        // 6.2.2.9
        group geoGeoBroadcast {
            
            /**
            * @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/BV-01
            * @reference   EN 302 636-4-1 [1], clauses 9.3.11.2
            */
            testcase TC_GEONW_PON_GBC_BV_01() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GBC_BV_01();
                    
            } // end TC_GEONW_PON_GBC_BV_01
                
            /**
            * @desc    Check that a GBC request over upper Gn SAP triggers line forwarding if the IUT is outside the Destination Area
            * <pre>
            * Pics Selection: PICS_GN_GBC_SRC AND (PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'SIMPLE'
            *			 							OR PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'UNSPECIFIED'
            *										OR PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'ADVANCED')
            * 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 selects ItsNodeB as the next hop ITS station and
            *          the IUT sends the GBC 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/GBC/BV-02
            * @reference   EN 302 636-4-1 [1], clauses 9.3.11.2, Annex E.2
            */
            testcase TC_GEONW_PON_GBC_BV_02() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GBC_BV_02();
                    
            } // end TC_GEONW_PON_GBC_BV_02
                
            /**
            * @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_SRC AND (PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'SIMPLE'
            * 										OR PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'UNSPECIFIED'
            * 										OR PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'ADVANCED')
            * 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/BV-03
            * @reference   EN 302 636-4-1 [1], clauses 9.3.11.3, Annex E.2
            */
            testcase TC_GEONW_PON_GBC_BV_03() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GBC_BV_03();
                    
            } // end TC_GEONW_PON_GBC_BV_03
                
            /**
            * @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_GEOBROADCAST_FORWARDING_ALGORITHM == 'SIMPLE' OR PICS_GN_GEOBROADCAST_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/BO-04
            * @reference   EN 302 636-4-1 [1], clauses 9.3.11.3, Annex A.2
            */
            testcase TC_GEONW_PON_GBC_BO_04() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GBC_BO_04();
                    
            } // end TC_GEONW_PON_GBC_BO_04
                
            /**
            * @desc    Check that a received GBC packet is triggering line forwarding if received out of its
            *          destination area for the first time from a known ITS-Station
            * <pre>
            * Pics Selection: PICS_GN_GBC_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 and
            *      the IUT having received Beacon information from ItsNodeC
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a GBC packet generated by ItsNodeC
            *              containing TrafficClass.SCF set to 1
            *              containing DestinationArea
            *                  indicating AREA2
            *      }
            *      then {
            *          the IUT selects ItsNodeB as the next hop ITS station and
            *          the IUT forwards the GBC 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/GBC/BV-05
            * @reference   EN 302 636-4-1 [1], clauses 9.3.11.3, Annex E.2
            */
            testcase TC_GEONW_PON_GBC_BV_05() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GBC_BV_05();
                    
            } // end TC_GEONW_PON_GBC_BV_05
                
            /**
            * @desc    Check that a received GBC packet is not triggering line forwarding if received out of its
            *          destination area for the second or more time
            * <pre>
            * Pics Selection: PICS_GN_GBC_FWD  AND (PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'SIMPLE' OR PICS_GN_GEOBROADCAST_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 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 Basic Header
            *              containing RHL field
            *                  indicating value HL1 higher than 1
            *          containing GBC Extended Header
            *              containing SN field
            *                  indicating value SN1
            *              containing DestinationArea
            *                  indicating AREA2
            *      the IUT having forwarded the received 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 forward the received GBC packet
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/BO-06
            * @reference   EN 302 636-4-1 [1], clauses 9.3.11.3
            */
            testcase TC_GEONW_PON_GBC_BO_06() runs on ItsMtc system ItsGeoNetworkingSystem {
                
	            f_GEONW_PON_GBC_BO_06();
                    
            } // end TC_GEONW_PON_GBC_BO_06
                
            /**
            * @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 re-broadcasts 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/BV-07
            * @reference   EN 302 636-4-1 [1], clauses 9.3.11.3
            */
            testcase TC_GEONW_PON_GBC_BV_07() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GBC_BV_07();
                    
            } // end TC_GEONW_PON_GBC_BV_07
                
            /**
            * @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 re-broadcast the GBC packet
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GBC/BV-08
            * @reference   EN 302 636-4-1 [1], clauses 9.3.11.3
            */
            testcase TC_GEONW_PON_GBC_BV_08() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GBC_BV_08();
                    
            } // end TC_GEONW_PON_GBC_BV_08
                
            /**
            * @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/BV-09
            * @reference   EN 302 636-4-1 [1], clauses 9.3.11.3
            */
            testcase TC_GEONW_PON_GBC_BV_09() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GBC_BV_09();
                
            } // end TC_GEONW_PON_GBC_BV_09
            
            /**
            * @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  AND (PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'SIMPLE' OR PICS_GN_GEOBROADCAST_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 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/BO-10
            * @reference   EN 302 636-4-1 [1], clauses 9.3.11.3
            */
            testcase TC_GEONW_PON_GBC_BO_10() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GBC_BO_10();
                    
            } // end TC_GEONW_PON_GBC_BO_10
                
            /**
            * @desc    Check that a received GBC packet is not passed over the Gn SAP if it is received for the
            *          first time outside the  GBC destination area
            * <pre>