ItsGeoNetworking_TestCases.ttcn

            *      the IUT being in the "initial state" and
            *      the IUT having no Location Table Entry for ItsNodeA and
            *      the IUT having been requested to send a GUC packet ItsNodeA
            *          containing LT field
            *              indicating LT1 and
            *      the IUT having sent a LS_REQUEST packet
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a GUC packet addressed to it from ItsNodeA before expiry of LT1
            *      }
            *      then {
            *          the IUT sends the waiting GUC packet to ItsNodeA
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV-12
            * @reference   EN 302 636-4-1 [1], clauses 9.3.8.4, 9.3.7.1.2 and 7.4.2
            */
            testcase TC_GEONW_PON_LOS_BV_12() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_LOS_BV_12();
                
            } // end TC_GEONW_PON_LOS_BV_12
            
            /**
            * @desc    Check LS buffer characteristics: FIFO type and Lifetime
            * <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 been requested to send a GUC packet to ItsNodeA
            *          containing TrafficClass.SCF set to 1
            *          containing LT field
            *              indicating value LT1
            *          containing payload field
            *              indicating value PL1 and
            *      the IUT having sent a LS_REQUEST packet and
            *      the IUT having been requested to send a second GUC packet to ItsNodeA
            *          containing TrafficClass.SCF set to 1
            *          containing LT field
            *              indicating LT2 lower than LT1
            *          containing payload field
            *              indicating value PL2
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives the LS_REPLY packet from ItsNodeA
            *              after expiry of LT2
            *              before expiry of LT1
            *      }
            *      then {
            *          the IUT sends GUC packet addressed to ItsNodeA
            *              containing payload field
            *                  indicating value PL1
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV-13
            * @reference   EN 302 636-4-1 [1], clauses 7.4.3, 9.3.7.1.2
            */
            testcase TC_GEONW_PON_LOS_BV_13() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
				
                f_GEONW_PON_LOS_BV_13();
				
            } // end TC_GEONW_PON_LOS_BV_13
            
            /**
            * @desc    Check that GeoNetworking packets in LS buffer are discarded when LS does not complete.
            * <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 been requested to send a GUC packet to ItsNodeA
            *          containing TrafficClass.SCF set to 1
            *          containing LT field
            *              indicating value LT1 higher than (itsGnLocationServiceTimer * itsGnLocationServiceMaxRetrans) and
            *      the IUT having sent a LS_REQUEST packet itsGnLocationServiceMaxRetrans times
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a GUC packet from ItsNodeA
            *              before expiration of LT1
            *      }
            *      then {
            *          the IUT does not send any packet to ItsNodeA (see note)
            *      }
            *  }
            *  NOTE: Stored GUC packets have been discarded upon LS failure
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV-14
            * @reference   EN 302 636-4-1 [1], clauses 7.4.3
            */
            testcase TC_GEONW_PON_LOS_BV_14() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {

                f_GEONW_PON_LOS_BV_14();

            } // end TC_GEONW_PON_LOS_BV_14

            /**
            * @desc    Check flushing of the LS buffer, initiated by the processing of a common header from the target destination
            * <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 been requested to send a GUC packet ItsNodeA
            *  		containing LT field
            *  			indicating LT1 and
            *  	the IUT having sent a LS_REQUEST packet
            *  }
            * Expected behaviour:
            *  ensure that {
            *  	when {
            *  		the IUT receives a GUC packet addressed to ItsNodeB from ItsNodeA before expiry of LT1
            *  	}
            *  	then {
            *  		the IUT sends the waiting GUC packet to ItsNodeA
            *  	}
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV-15
            * @reference   EN 302 636-4-1 [1], clauses 9.3.8.3, 9.3.7.1.2 and 7.4.2
            */
            testcase TC_GEONW_PON_LOS_BV_15() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_LOS_BV_15();
                
            } // end TC_GEONW_PON_LOS_BV_15

            /**
            * @desc    Check LS Request retransmission termination when indirect response is received
            * <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 been requested to send a GUC packet to ItsNodeA
            *  		containing TrafficClass.SCF set to 1
            *  		containing LT field
            *  			indicating value LT1 higher than (itsGnLocationServiceTimer * itsGnLocationServiceMaxRetrans) and
            *  	the IUT having sent a LS_REQUEST packet
            *  	the IUT having retransmitted the LS_REQUEST packet less than itsGnLocationServiceMaxRetrans
            *  }
            * Expected behaviour:
            *  ensure that {
            *  	when {
            *  		the IUT receives a GUC packet addressed to it from ItsNodeA before expiry of LT1
            *  	}
            *  	then {
            *  		the IUT does not retransmits the LS_REQUEST packet
            *  	}
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV-16
            * @reference   EN 302 636-4-1 [1], clauses 9.3.8.4, 9.3.7.1.2, 9.3.7.1.3 and 9.3.8.2
            */
            testcase TC_GEONW_PON_LOS_BV_16() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_LOS_BV_16();
                
            } // end TC_GEONW_PON_LOS_BV_16

            /**
            * @desc    Check LS Request retransmission termination when indirect response is received
            * <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 been requested to send a GUC packet to ItsNodeA
            *  		containing TrafficClass.SCF set to 1
            *  		containing LT field
            *  			indicating value LT1 higher than (itsGnLocationServiceTimer * itsGnLocationServiceMaxRetrans) and
            *  	the IUT having sent a LS_REQUEST packet
            *  	the IUT having retransmitted the LS_REQUEST packet less than itsGnLocationServiceMaxRetrans
            *  }
            * Expected behaviour:
            *  ensure that {
            *  	when {
            *  		the IUT receives a GUC packet addressed to ItsNodeB from ItsNodeA before expiry of LT1
            *  	}
            *  	then {
            *  		the IUT does not retransmits the LS_REQUEST packet
            *  	}
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/LOS/BV-17
            * @reference   EN 302 636-4-1 [1], clauses 9.3.8.3, 9.3.7.1.2, 9.3.7.1.3 and 9.3.8.2
            */
            testcase TC_GEONW_PON_LOS_BV_17() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_LOS_BV_17();
                
            } // end TC_GEONW_PON_LOS_BV_17
            
        } // end geoLocationService
        
        // 6.2.2.5
        group geoForwardingPacketBuffer {
            
            /**
            * @desc    Check Source packet buffering into UC forwarding buffer for unreachable Unicast destinations
            *          (absence of a suitable next hop candidate)
            * <pre>
            * Pics Selection: PICS_GN_GUC_SRC
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received any Beacon information from ItsNodeB and
            *      the IUT having a Location Table Entry for ItsNodeA (see note) and
            *      the IUT having been requested to send a GUC packet addressed to ItsNodeA
            *          containing TrafficClass.SCF set to 1
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a Beacon packet from ItsNodeB
            *      }
            *      then {
            *          the IUT selects the ItsNodeB as the next hop and
            *          the IUT sends the buffered GUC packet
            *      }
            *  }
            *  NOTE: Location Table Entry is created by sending any GeoNetworking packet, originated by ItsNodeA, from ItsNodeC to IUT
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-01
            * @reference   EN 302 636-4-1 [1], clauses 7.5.3, 9.3.6.3, 9.3.4.2 and 9.3.8.3
            */
            testcase TC_GEONW_PON_FPB_BV_01() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_FPB_BV_01();
                
            } // end TC_GEONW_PON_FPB_BV_01
            
            /**
            * @desc    Check Forwarder packet buffering into UC forwarding buffer for unreachable Unicast destinations
            *          (absence of a suitable next hop candidate)
            * <pre>
            * Pics Selection: PICS_GN_GUC_SRC
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received any Beacon information from ItsNodeB and
            *      the IUT having received GUC packets addressed to ItsNodeA from ItsNodeC
            *          containing TrafficClass.SCF set to 1
            *          containing Basic Header
            *              containing LT field
            *                  indicating LT1
            *              containing RHL field
            *                  indicating value greater than 1
            *          containing GUC Extended Header
            *              containing SN field
            *                  indicating value SN1
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a Beacon packet from ItsNodeB
            *      }
            *      then {
            *          the IUT selects the ItsNodeB as the next hop and
            *          the IUT forwards the buffered GUC packet
            *              containing Basic Header
            *                  containing RHL field
            *                      indicating value decreased by 1
            *              containing GUC Extended Header
            *                  containing SN field
            *                      indicating value SN1
            *      }
            *   }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-02
            * @reference   EN 302 636-4-1 [1], clauses 9.3.8.3, 7.5.3, 9.3.6.3
            */
            testcase TC_GEONW_PON_FPB_BV_02() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_FPB_BV_02();
                
            } // end TC_GEONW_PON_FPB_BV_02
            
            /**
            * @desc    Check UC forwarding buffer characteristics: FIFO type
            * <pre>
            * Pics Selection: PICS_GN_GUC_SRC
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received any Beacon information from ItsNodeB and
            *      the IUT having received a GUC (GEOUNI1) packet addressed to ItsNodeA from ItsNodeC
            *          containing TrafficClass.SCF set to 1
            *          containing Basic Header
            *              containing LT field
            *                  indicating value LT1 and
            *              containing RHL field
            *                  indicating value greater than 1
            *          containing GUC Extended Header
            *              containing SN field
            *                  indicating value SN1
            *      the IUT having received a second GUC (GEOUNI2) packet addressed to ItsNodeA from ItsNodeC
            *          containing TrafficClass.SCF set to 1
            *          containing Basic Header
            *              containing LT field
            *                  indicating LT2
            *              containing RHL field
            *                  indicating value greater than 1
            *          containing GUC Extended Header
            *              containing SN field
            *                  indicating value SN2
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a Beacon packet from ItsNodeB
            *          before expiry of LT1 and LT2
            *      }
            *      then {
            *          the IUT selects ItsNodeB as the next hop and
            *          the IUT forwards the GEOUNI1 buffered packet
            *              containing GUC Extended Header
            *                  containing SN field
            *                      indicating value SN1
            *          the IUT forwards the GEOUNI2 buffered packet
            *              containing GUC Extended Header
            *                  containing SN field
            *                      indicating value SN2
            *      }
            *   }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-03
            * @reference   EN 302 636-4-1 [1], clauses 7.5.3, 9.3.6.3 and 9.3.8.3
            */
            testcase TC_GEONW_PON_FPB_BV_03() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_FPB_BV_03();
                
            } // end TC_GEONW_PON_FPB_BV_03
                
            /**
            * @desc    Check UC forwarding buffer characteristics: discarding upon LT expiration
            * <pre>
            * Pics Selection: PICS_GN_GUC_SRC
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received any 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 LT field
            *                  indicating LT1
            *              containing RHL field
            *                  indicating value greater than 1
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a Beacon packet from ItsNodeB
            *          after expiry of LT1
            *      }
            *      then {
            *          the IUT does not forward the buffered GUC packet addressed to ItsNodeA
            *      }
            *   }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-03
            * @reference   EN 302 636-4-1 [1], clauses 7.5.3, 9.3.6.3 and 9.3.8.3
            */
            testcase TC_GEONW_PON_FPB_BV_04() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_FPB_BV_04();
                    
            } // end TC_GEONW_PON_FPB_BV_04
                
            /**
            * @desc    Check Source packet buffering into BC forwarding buffer for no GBC recipients
            * <pre>
            * Pics Selection: none
            * Config Id: CF02
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received Beacon information from ItsNodeD and
            *      the IUT not having received Beacon information from ItsNodeB and
            *      the IUT having been requested to send a GBC packet to AREA1
            *          containing TrafficClass.SCF set to 1
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a Beacon packet from either ItsNodeB or ItsNodeD
            *      }
            *      then {
            *          the IUT broadcasts the buffered GBC packet
            *      }
            *   }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-06
            * @reference   EN 302 636-4-1 [1], clauses 9.3.5, 7.5.3, 9.3.6.3 and 9.3.11.2
            */
            testcase TC_GEONW_PON_FPB_BV_06() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_FPB_BV_06();
                    
            } // end TC_GEONW_PON_FPB_BV_06
                
            /**
            * @desc    Check BC forwarding buffer characteristics: FIFO type
            * <pre>
            * Pics Selection: none
            * Config Id: CF02
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received Beacon information from ItsNodeD and
            *      the IUT not having received Beacon information from ItsNodeB and
            *      the IUT having been requested to send a GBC (GEOBROAD1) packet to AREA1
            *          containing TrafficClass.SCF set to 1
            *          containing Basic Header
            *              containing LT field
            *                  indicating LT1
            *          containing GBC Extended Header
            *              containing SN field
            *                  indicating value SN1
            *      the IUT having been requested to send a GBC (GEOBROAD2) packet to AREA1
            *          containing TrafficClass.SCF set to 1
            *          containing Basic Header
            *              containing LT field
            *                  indicating LT2
            *          containing GBC Extended Header
            *              containing SN field
            *                  indicating value SN2
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a Beacon packet from either ItsNodeD or ItsNodeB
            *          before expiry of LT1 and LT2
            *      }
            *      then {
            *          the IUT broadcasts GEOBROAD1 packet
            *              containing GBC Extended Header
            *                  containing SN field
            *                      indicating value SN1
            *          the IUT broadcasts GEOBROAD2 packet
            *              containing GBC Extended Header
            *                  containing SN field
            *                      indicating value SN2
            *      }
            *   }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-07
            * @reference   EN 302 636-4-1 [1], clauses 7.5.3, 9.3.6.3 and 9.3.11.2
            */
            testcase TC_GEONW_PON_FPB_BV_07() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_FPB_BV_07();
                    
            } // end TC_GEONW_PON_FPB_BV_07
                
            /**
            * @desc    Check BC forwarding buffer characteristics: discarding upon LT expiration
            * <pre>
            * Pics Selection: none
            * Config Id: CF02
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received Beacon information from ItsNodeD and
            *      the IUT not having received Beacon information from ItsNodeB and
            *      the IUT having been requested to send a GBC (GEOBROAD1) packet to AREA1
            *          containing TrafficClass.SCF set to 1
            *          containing Basic Header
            *              containing LT field
            *                  indicating LT1
            *      the IUT having been requested to send a GBC (GEOBROAD2) packet to AREA1
            *          containing TrafficClass.SCF set to 1
            *          containing Basic Header
            *              containing LT field
            *                  indicating LT2
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a Beacon packet from either ItsNodeB or ItsNodeD
            *          after expiry of LT1 and LT2
            *      }
            *      then {
            *          the IUT does not broadcast any of the buffered GEOBROAD1 and GEOBROAD2
            *      }
            *   }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-08
            * @reference   EN 302 636-4-1 [1], clauses 7.5.3, 9.3.6.3 and 9.3.11.2
            */
            testcase TC_GEONW_PON_FPB_BV_08() runs on ItsMtc system ItsGeoNetworkingSystem {
                 
                f_GEONW_PON_FPB_BV_08(); 
                    
            } // end TC_GEONW_PON_FPB_BV_08
                 
            /**
            * @desc    Check Source packet buffering into UC forwarding buffer for handling of LT fields in absence of a suitable next hop candidate
            * <pre>
            * Pics Selection: PICS_GN_GUC_SRC
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received any Beacon information from ItsNodeB and
            *      the IUT having a Location Table Entry for ItsNodeA and
            *      the IUT having been requested to send a GUC packet addressed to ItsNodeA
            *          containing TrafficClass.SCF set to 1
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a Beacon packet from ItsNodeB
            *      }
            *      then {
            *          the IUT selects the ItsNodeB as the next hop and
            *          the IUT sends the buffered GUC packet
            *              containing GUC Extended Header
            *                  containing LT field
            *                      indicating (default LT value – WaitingTime(see note))
            *      }
            *  }
            *  NOTE: WaitingTime == time difference between Upper layer packet generation and the neighbour Beacon reception
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-09
            * @reference   EN 302 636-4-1 [1], clauses 7.5.3, 9.3.6.3 and 9.3.8.2
            */
            testcase TC_GEONW_PON_FPB_BV_09() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_FPB_BV_09();
                    
            } // end TC_GEONW_PON_FPB_BV_09
                
            /**
            * @desc    Check Source packet buffering into BC forwarding buffer for handling of LT fields for no GBC recipients
            * <pre>
            * Pics Selection: none
            * Config Id: CF02
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received Beacon information from ItsNodeD and
            *      the IUT not having received Beacon information from ItsNodeB and
            *      the IUT having been requested to send a GBC packet to AREA1
            *          containing TrafficClass.SCF set to 1
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a Beacon packet from either ItsNodeB or ItsNodeD
            *      }
            *      then {
            *          the IUT broadcasts the buffered GBC packet
            *              containing GBC Extended Header
            *                  containing LT field
            *                      indicating (default LT value - WaitingTime (see note))
            *      }
            *  }
            *  NOTE: WaitingTime == time difference between Upper layer packet generation and the neighbour Beacon reception
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-10
            * @reference   EN 302 636-4-1 [1], clauses 7.5.3, 9.3.6.3 and 9.3.11.2
            */
            testcase TC_GEONW_PON_FPB_BV_10() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_FPB_BV_10();
                    
            } // end TC_GEONW_PON_FPB_BV_10
                
            /**
            * @desc    Check immediate broadcasting in absence of a suitable next hop candidate when SCF is disabled
            * <pre>
            * Pics Selection: PICS_GN_GUC_SRC
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received any Beacon information from ItsNodeB and
            *      the IUT having a Location Table Entry for ItsNodeA (see note)
            *  }
            *
            *  MESSAGE : GUC packet addressed to ItsNodeA
            *
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT is requested to send a MESSAGE
            *          containing TrafficClass.SCF set to 0
            *      }
            *      then {
            *          the IUT broadcast the MESSAGE immediately
            *      }
            *  }
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-11-X
            * @reference   EN 302 636-4-1 [1], Annex D2
            */
            testcase TC_GEONW_PON_FPB_BV_11_01() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_FPB_BV_11_01();
                
            } // end TC_GEONW_PON_FPB_BV_11_01

            /**
            * @desc    Check immediate broadcasting in absence of a suitable next hop candidate when SCF is disabled
            * <pre>
            * Pics Selection: PICS_GN_GAC_SRC
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received any Beacon information from ItsNodeB and
            *      the IUT having a Location Table Entry for ItsNodeA (see note)
            *  }
            *
            *  MESSAGE : GAC packet
            *                containing DestinationArea
            *                    indicating AREA2
            *
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT is requested to send a MESSAGE
            *          containing TrafficClass.SCF set to 0
            *      }
            *      then {
            *          the IUT broadcast the MESSAGE immediately
            *      }
            *  }
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-11-X
            * @reference   EN 302 636-4-1 [1], Annex D2
            */
            testcase TC_GEONW_PON_FPB_BV_11_02() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_FPB_BV_11_02();
                    
            } // end TC_GEONW_PON_FPB_BV_11_02
                
            /**
            * @desc    Check immediate broadcasting in absence of a suitable next hop candidate when SCF is disabled
            * <pre>
            * Pics Selection: PICS_GN_GBC_SRC
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received any Beacon information from ItsNodeB and
            *      the IUT having a Location Table Entry for ItsNodeA (see note)
            *  }
            *
            *  MESSAGE : GBC packet
            *                containing DestinationArea
            *                    indicating AREA2
            *
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT is requested to send a MESSAGE
            *          containing TrafficClass.SCF set to 0
            *      }
            *      then {
            *          the IUT broadcast the MESSAGE immediately
            *      }
            *  }
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-11-X
            * @reference   EN 302 636-4-1 [1], Annex D2
            */
            testcase TC_GEONW_PON_FPB_BV_11_03() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_FPB_BV_11_03();
                    
            } // end TC_GEONW_PON_FPB_BV_11_03
                
            /**
            * @desc    Check immediate broadcasting in absence of a suitable next hop candidate when SCF is disabled
            * <pre>
            * Pics Selection: PICS_GN_TSB_SRC
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received any Beacon information from ItsNodeB and
            *      the IUT having a Location Table Entry for ItsNodeA (see note)
            *  }
            *
            *  MESSAGE : TSB packet
            *
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT is requested to send a MESSAGE
            *          containing TrafficClass.SCF set to 0
            *      }
            *      then {
            *          the IUT broadcast the MESSAGE immediately
            *      }
            *  }
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-11-X
            * @reference   EN 302 636-4-1 [1], Annex D2
            */
            testcase TC_GEONW_PON_FPB_BV_11_04() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_FPB_BV_11_04();
                    
            } // end TC_GEONW_PON_FPB_BV_11_04

            /**
            * @desc    Check immediate broadcasting in absence of a suitable next hop candidate when SCF is disabled
            * <pre>
            * Pics Selection: PICS_GN_SHB_SRC
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received any Beacon information from ItsNodeB and
            *      the IUT having a Location Table Entry for ItsNodeA (see note)
            *  }
            *
            *  MESSAGE : SHB packet
            *
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT is requested to send a MESSAGE
            *          containing TrafficClass.SCF set to 0
            *      }
            *      then {
            *          the IUT broadcast the MESSAGE immediately
            *      }
            *  }
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-11-X
            * @reference   EN 302 636-4-1 [1], Annex D2
            */
            testcase TC_GEONW_PON_FPB_BV_11_05() runs on ItsMtc system ItsGeoNetworkingSystem {
                    
                f_GEONW_PON_FPB_BV_11_05();
                    
            } // end TC_GEONW_PON_FPB_BV_11_05
                
            /**
            * @desc    Check immediate broadcasting in absence of a suitable next hop candidate when SCF is disabled
            * <pre>
            * Pics Selection: PICS_GN_GUC_SRC
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received any Beacon information from ItsNodeB
            *  }
            *
            *  MESSAGE : GUC packet addressed to ItsNodeA
            *
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a MESSAGE
            *          containing TrafficClass.SCF set to 0
            *      }
            *      then {
            *          the IUT broadcast the MESSAGE immediately
            *      }
            *  }
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-12-X
            * @reference   EN 302 636-4-1 [1], Annex D2
            */
            testcase TC_GEONW_PON_FPB_BV_12_01() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_FPB_BV_12_01();
                    
            } // end TC_GEONW_PON_FPB_BV_12_01

            /**
            * @desc    Check immediate broadcasting in absence of a suitable next hop candidate when SCF is disabled
            * <pre>
            * Pics Selection: PICS_GN_GAC_SRC
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received any Beacon information from ItsNodeB
            *  }
            *
            *  MESSAGE : GAC packet
            *                containing DestinationArea
            *                    indicating AREA2
            *
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a MESSAGE
            *          containing TrafficClass.SCF set to 0
            *      }
            *      then {
            *          the IUT broadcast the MESSAGE immediately
            *      }
            *  }
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-12-X
            * @reference   EN 302 636-4-1 [1], Annex D2
            */
            testcase TC_GEONW_PON_FPB_BV_12_02() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_FPB_BV_12_02();
                    
            } // end TC_GEONW_PON_FPB_BV_12_02
                
            /**
            * @desc    Check immediate broadcasting in absence of a suitable next hop candidate when SCF is disabled
            * <pre>
            * Pics Selection: PICS_GN_GBC_SRC
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received any Beacon information from ItsNodeB
            *  }
            *
            *  MESSAGE : GBC packet
            *                containing DestinationArea
            *                    indicating AREA2
            *
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a MESSAGE
            *          containing TrafficClass.SCF set to 0
            *      }
            *      then {
            *          the IUT broadcast the MESSAGE immediately
            *      }
            *  }
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-12-X
            * @reference   EN 302 636-4-1 [1], Annex D2
            */
            testcase TC_GEONW_PON_FPB_BV_12_03() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_FPB_BV_12_03();
                
            } // end TC_GEONW_PON_FPB_BV_12_03
                
            /**
            * @desc    Check immediate broadcasting in absence of a suitable next hop candidate when SCF is disabled
            * <pre>
            * Pics Selection: PICS_GN_TSB_SRC
            * Config Id: CF03
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT not having received any Beacon information from ItsNodeB
            *  }
            *
            *  MESSAGE : TSB packet
            *
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a MESSAGE
            *          containing TrafficClass.SCF set to 0
            *      }
            *      then {
            *          the IUT broadcast the MESSAGE immediately
            *      }
            *  }
            *
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/FPB/BV-12-X
            * @reference   EN 302 636-4-1 [1], Annex D2
            */
            testcase TC_GEONW_PON_FPB_BV_12_04() runs on ItsMtc system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_FPB_BV_12_04();
                    
            } // end TC_GEONW_PON_FPB_BV_11_04

        } // end geoForwardingPacketBuffer
        
        // 6.2.2.6
        group geoGeoNetworkingAddress {
            
            /**
            * @desc    Check the initial GeoNetworking address assignment by IUT with auto-address configuration
            * <pre>
            * Pics Selection: PICS_GN_ADDR_AUTO
            * Config Id: CF01
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT's itsGnLocalAddrConfMethod MIB parameter is set to AUTO (0)
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT generates a Beacon packet
            *      }
            *      then {
            *          the IUT sends a GeoNetworking message
            *              containing a correctly formatted Common Header
            *                  containing HT field
            *                      set to '1' (BEACON)
            *                  containing HST field
            *                      set to '0' (UNSPECIFIED)
            *              containing a Beacon Extender Header
            *                  containing SOPV field
            *                      containing GN_ADDR field
            *                          indicating itsGnLocalGnAddr MIB parameter
            *      }
            *  }
            * </pre>
            *
            * @see         ETSI TS 102 871-2 v1.3.1 TP/GEONW/PON/GNA/BV-01
            * @reference   EN 302 636-4-1 [1], clauses 9.2.1.2 and 9.3.6.2
            */
            testcase TC_GEONW_PON_GNA_BV_01() runs on ItsGeoNetworking system ItsGeoNetworkingSystem {
                
                f_GEONW_PON_GNA_BV_01();
                
            } // end TC_GEONW_PON_GNA_BV_01
            
            /**
            * @desc    Check the proper functioning of duplicate address detection mechanism
            * <pre>
            * Pics Selection: PICS_GN_DAD
            * Config Id: CF01
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT having sent an SHB packet
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a SHB packet
            *              containing SHB Extended Header
            *                  containing SOPV field