ItsGeoNetworking_TestCases.ttcn

            *      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.4.1 TP/GEONW/PON/BCA/BV-01
            * @reference   EN 302 636-4-1 [1], Annex E.3
            */
            testcase TC_GEONW_PON_BCA_BV_01() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BCA_BV_01();
                   
            } // end TC_GEONW_PON_BCA_BV_01
                
            /**
            * @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_GEOBROADCAST_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.4.1 TP/GEONW/PON/BCA/BV-02
            * @reference   EN 302 636-4-1 [1], Annex E.3
            */
            testcase TC_GEONW_PON_BCA_BV_02() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BCA_BV_02();
                    
            } // end TC_GEONW_PON_BCA_BV_02
                
            /**
            * @desc    Check that a received GBC packet from outside of the destination area is triggering line
            *          forwarding if received for the first time when IUT is outside of the destination area
            * <pre>
            * Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_GEOBROADCAST_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 AREA2
            *      }
            *      then {
            *          the IUT selects ItsNodeB as next hop ITS station and
            *          the IUT forwards the GBC packet (see note)
            *      }
            *  }
            *
            *  NOTE: Next hop ITS Statoin being identified by the MAC layer address of ItsNodeB
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.4.1 TP/GEONW/PON/BCA/BV-03
            * @reference   EN 302 636-4-1 [1], Annex E.3
            */
            testcase TC_GEONW_PON_BCA_BV_03() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BCA_BV_03();
                    
            } // end TC_GEONW_PON_BCA_BV_03
                
            /**
            * @desc    Check that a received GBC packet from inside of the destination area is discarded if
            *          received for the first time when IUT is outside of the destination area
            * <pre>
            * Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_GEOBROADCAST_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
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives the a GBC packet from ItsNodeD
            *              containing TrafficClass.SCF set to 1
            *              containing GBC Extended Header
            *                  containing DestinationArea
            *                      indicating AREA2
            *      }
            *      then {
            *          the IUT discards the received GBC packet
            *      }
            *  }
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.4.1 TP/GEONW/PON/BCA/BO-04
            * @reference   EN 302 636-4-1 [1], Annex E.3
            */
            testcase TC_GEONW_PON_BCA_BO_04() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BCA_BO_04();
                    
            } // end TC_GEONW_PON_BCA_BO_04
                
            /**
            * @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_GEOBROADCAST_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.4.1 TP/GEONW/PON/BCA/BV-05
            * @reference   EN 302 636-4-1 [1], Annex E.3
            */
            testcase TC_GEONW_PON_BCA_BV_05() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BCA_BV_05();
                    
            } // end TC_GEONW_PON_BCA_BV_05
                
            /**
            * @desc    Check that a received GBC packet from outside of the destination area is triggering re-broadcast
            * 		    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_GEOBROADCAST_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 immediately
            *      }
            *  }
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.4.1 TP/GEONW/PON/BCA/BV-06
            * @reference   EN 302 636-4-1 [1], Annex E.3
            */
            testcase TC_GEONW_PON_BCA_BV_06() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BCA_BV_06();
                    
            } // end TC_GEONW_PON_BCA_BV_06
                
            /**
            * @desc    Check that a received GBC packet is rebroadcasted 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_GEOBROADCAST_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
            *      }
            *  }
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.4.1 TP/GEONW/PON/BCA/BV-07
            * @reference   EN 302 636-4-1 [1], Annex E.3
            */
            testcase TC_GEONW_PON_BCA_BV_07() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BCA_BV_07();
                    
            } // end TC_GEONW_PON_BCA_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_GEOBROADCAST_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.4.1 TP/GEONW/PON/BCA/BV-08
            * @reference   EN 302 636-4-1 [1], Annex E.3
            */
            testcase TC_GEONW_PON_BCA_BV_08() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BCA_BV_08();
                    
            } // end TC_GEONW_PON_BCA_BV_08
                
            /**
            * @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_GEOBROADCAST_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.4.1 TP/GEONW/PON/BAA/BV-01
            * @reference   EN 302 636-4-1 [1], Annex E.4
            */
            testcase TC_GEONW_PON_BAA_BV_01() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BAA_BV_01();
                    
            } // end TC_GEONW_PON_BAA_BV_01
                
            /**
            * @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_GEOBROADCAST_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.4.1 TP/GEONW/PON/BAA/BV-02
            * @reference   EN 302 636-4-1 [1], Annex E.4
            */
            testcase TC_GEONW_PON_BAA_BV_02() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BAA_BV_02();
                    
            } // end TC_GEONW_PON_BAA_BV_02
                
            /**
            * @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_GEOBROADCAST_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.4.1 TP/GEONW/PON/BAA/BV-03
            * @reference   EN 302 636-4-1 [1], Annex E.4
            */
            testcase TC_GEONW_PON_BAA_BV_03() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BAA_BV_03();
                    
            } // end TC_GEONW_PON_BAA_BV_03
                
            /**
            * @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_GEOBROADCAST_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.4.1 TP/GEONW/PON/BAA/BV-04
            * @reference   EN 302 636-4-1 [1], Annex E.4
            */
            testcase TC_GEONW_PON_BAA_BV_04() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BAA_BV_04();
                    
            } // end TC_GEONW_PON_BAA_BV_04
                
            /**
            * @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_GEOBROADCAST_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.4.1 TP/GEONW/PON/BAA/BV-05
            * @reference   EN 302 636-4-1 [1], Annex E.4
            */
            testcase TC_GEONW_PON_BAA_BV_05() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BAA_BV_05();
                    
            } // end TC_GEONW_PON_BAA_BV_05
                
            /**
            * @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_GEOBROADCAST_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.4.1 TP/GEONW/PON/BAA/BV-06
            * @reference   EN 302 636-4-1 [1], Annex E.4
            */
            testcase TC_GEONW_PON_BAA_BV_06() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BAA_BV_06();
                    
            } // end TC_GEONW_PON_BAA_BV_06
                
            /**
            * @desc    Check that a received GBC packet from outside the destination area is triggering line
            *          forwarding if received for the first time from known sender when IUT is outside the destination area
            * <pre>
            * Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'ADVANCED'
            * 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 GBC packet from ItsNodeC
            *              containing TrafficClass.SCF set to 1
            *              containing GBC Extended Header
            *                  containing DestinationArea
            *                      indicating AREA2
            *      }
            *      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.4.1 TP/GEONW/PON/BAA/BV-07
            * @reference   EN 302 636-4-1 [1], Annex E.4
            */
            testcase TC_GEONW_PON_BAA_BV_07() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BAA_BV_07();
                    
            } // end TC_GEONW_PON_BAA_BV_07
                
            /**
            * @desc    Check that a received GBC packet with from inside the destination area is discarded if
            *          received for the first time from known sender when IUT is outside the destination area
            * <pre>
            * Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'ADVANCED'
            * 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 GBC packet from ItsNodeD
            *              containing TrafficClass.SCF set to 1
            *              containing GBC Extended Header
            *                  containing DestinationArea
            *                      indicating AREA2
            *      }
            *      then {
            *          the IUT discards the received GBC packet
            *      }
            *  }
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v2.1.1 TP/GEONW/PON/BAA/BO-08
            * @reference   EN 302 636-4-1 [1], Annex E.4
            */
            testcase TC_GEONW_PON_BAA_BO_08() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BAA_BO_08();
                    
            } // end TC_GEONW_PON_BAA_BO_08
                
            /**
            * @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_GEOBROADCAST_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.4.1 TP/GEONW/PON/BAA/BV-09
            * @reference   EN 302 636-4-1 [1], Annex E.4
            */
            testcase TC_GEONW_PON_BAA_BV_09() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BAA_BV_09();
                    
            } // end TC_GEONW_PON_BAA_BV_09
                
            /**
            * @desc    Check that a received GBC packet is triggering re-broadcast if received from unknown
            *          sender for the first time when IUT is outside the destination area
            * <pre>
            * Pics Selection: PICS_GN_GBC_FWD AND PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == 'ADVANCED'
            * 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 not having received any message from ItsNodeD
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives 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 immediately
            *      }
            *  }
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.4.1 TP/GEONW/PON/BAA/BV-10
            * @reference   EN 302 636-4-1 [1], Annex E.4
            */
            testcase TC_GEONW_PON_BAA_BV_10() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BAA_BV_10();
                    
            } // end TC_GEONW_PON_BAA_BV_10
                
            /**
            * @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_GEOBROADCAST_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.4.1 TP/GEONW/PON/BAA/BV-11
            * @reference   EN 302 636-4-1 [1], Annex E.4
            */
            testcase TC_GEONW_PON_BAA_BV_11() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_BAA_BV_11();
                    
            } // end TC_GEONW_PON_BAA_BV_11
                
        } // end geoGeoBroadcastCbfAlgorithm
        
    } // end geoProtocolOperation
    
    // 6.2.3 Capacities
    group geoCapacities {
        
        // 6.2.3.1
        group geoCapLocationService {
            
            /**
            * @desc  Test of LS buffer capacity according to its GnLocationServicePacketBufferSize parameter and
            *        the overflow handling procedure
            * <pre>
            * Pics Selection: PICS_GN_LS_REQ_SRC
            * Config Id: CF01
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT having no Location Table Entry for ItsNodeA and
            *      the IUT having received Beacon information from ItsNodeB and
            *      the IUT having been requested to send multiple GUC packets to ItsNodeA
            *          containing TrafficClass.SCF set to 1 and
            *      the IUT having sent a LS_REQUEST packet and
            *      the IUT not having received a LS_REPLY packet
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT is requested to send a GUC packet to ItsNodeA
            *              containing TrafficClass.SCF set to 1 and
            *          the location service buffer capacity exceeded (see note 1)
            *      }
            *      then {
            *          the IUT removes the older packet(s) in the location service buffer and,
            *          the IUT inserts the new received packet at the end of the location service buffer (see note 2)
            *      }
            *  }
            *  NOTE 1: The amount of stored data exceeds Location Service buffer capacity defined by the
            *          itsGnLocationServicePacketBufferSize MIB parameter
            *  NOTE 2: Buffered packets will be delivered upon reception of LS_REPLY message
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.4.1 TP/GEONW/CAP/LOS/BV-01
            * @reference   EN 302 636-4-1 [1], clauses 7.4.3
            */
            testcase TC_GEONW_CAP_LOS_BV_01() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
                
                f_GEONW_CAP_LOS_BV_01();
                
            } // end TC_GEONW_CAP_LOS_BV_01
            
        } // end geoCapLocationService
        
        // 6.2.3.2
        group geoCapForwardingPacketBuffer {
            
            /**
            * @desc    Test of UC forwarding buffer capacity according to itsGnUcForwardingPacketBufferSize
            *          parameter and the overflow handling procedure
            * <pre>
            * Pics Selection: PICS_GN_GUC_FWD
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT having no Location Table Entry for ItsNodeB and
            *      the IUT having received multiple GUC packets addressed to ItsNodeA from ItsNodeC
            *          containing TrafficClass.SCF set to 1
            *  }
            * 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 HL1 higher than 1
            *          the UC forwarding packet buffer capacity exceeded (see note 1)
            *      }
            *      then {
            *          the IUT removes the older packet(s) in the UC forwarding packet buffer and,
            *          the IUT inserts the new received GUC packet at the end of the UC forwarding packet buffer (see note 2)
            *      }
            *  }
            *  NOTE 1: The amount of stored data exceeds UC forwarding packet capacity defined by the
            *          itsGnUcForwardingPacketBufferSize MIB parameter
            *  NOTE 2: Buffered packets will be delivered upon reception of Beacon message from ItsNodeB
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.4.1 TP/GEONW/CAP/FPB/BV-01
            * @reference   EN 302 636-4-1 [1], clauses 7.5.3
            */
            testcase TC_GEONW_CAP_FPB_BV_01() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_CAP_FPB_BV_01();
                    
            } // end TC_GEONW_CAP_FPB_BV_01
                
            /**
            * @desc    Test of BC forwarding buffer capacity according to itsGnBcForwardingPacketBufferSize
            *          parameter and the overflow handling procedure
            * <pre>
            * Pics Selection: PICS_GN_GBC_FWD
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT having no Location Table Entry for ItsNodeB
            *      the IUT having received multiple GBC packets
            *          containing TrafficClass.SCF set to 1
            *          containing GBC Extended Header
            *              containing GBC Destination Area
            *                  indicating AREA2
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a GBC packet
            *              containing TrafficClass.SCF set to 1
            *              containing GBC Extended Header
            *                  containing GBC Destination Area
            *                      indicating AREA2 and
            *          the BC forwarding packet buffer capacity exceeded (see note 1)
            *      }
            *      then {
            *          the IUT removes the older packet(s) in the BC forwarding packet buffer and,
            *          the IUT inserts the new received GBC packet at the end of the BC forwarding packet buffer (see note 2)
            *      }
            *  }
            *  NOTE 1: The amount of stored data exceeds BC forwarding buffer capacity defined by the
            *          itsGnBcForwardingPacketBufferSize MIB parameter
            *  NOTE 2: Buffered packets will be delivered upon reception of Beacon message from ItsNodeB
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.4.1 TP/GEONW/CAP/FPB/BV-02
            * @reference   EN 302 636-4-1 [1], clauses 7.5.3
            */
            testcase TC_GEONW_CAP_FPB_BV_02() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_CAP_FPB_BV_02();
                    
            } // end TC_GEONW_CAP_FPB_BV_02
                
        } // end geoCapForwardingPacketBuffer
        
    } // end geoCapacities
    
} // end ItsGeoNetworking_TestCases