ItsDenm_TestCases.ttcn

           * PICS Selection: none 
           * Initial conditions:
           *  with {
           *      the IUT being in the "initial state"
           *      and the IUT having received an AppDENM_trigger request from application layer
           *          not containing repetitionDuration
           *      and the IUT having generated an the corresponding event
           *          containing management container
           *              containing actionID
           *                  indicating ACTION_ID1
           *  }
           * Expected behaviour:
           *  ensure that {
           *      when { 
           *          the IUT has detected that repetitionDuration is not provided for the event associated with ACTION_ID1
           *      }
           *      then {
           *          the IUT does not repeat the transmission of the valid DENM associated with ACTION_ID1
           *      }
           *  }
           * </pre>
           * 
           * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/EVRP/BV-06, ETSI EN 302 637-3, clause 8.1.2
           */
          testcase TC_DEN_EVRP_BV_06() runs on ItsDenm system ItsDenmSystem {
              
              f_DEN_EVRP_BV_06();
              
          } // end TC_DEN_EVRP_BV_06
          
          /**
           * @desc    Check that existing actionID in originating ITS-S are updated when stationID is modified
           *
           * <pre>        
           * PICS Selection: none 
           * Initial conditions:
           *  with {
           *      the IUT being in the "initial state"
           *      and the IUT having received an AppDENM_trigger request from application layer
           *      	containing repetitionInterval
           *      		indicating INTERVAL_1
           *      	and containing repetitionDuration
           *      		indicating DURATION_1
           *      	and containing validityDuration
           *      		indicating DURATION_2 > DURATION_1
           *      and the IUT having generated the corresponding event
           *      	containing management container
           *      		containing actionID
           *      			containing originatororiginatingStationID
           *      				indicating STATION_ID_1
           *      		and containing validityDuration
           *      			indicating DURATION_1
           *     and the IUT having changed its StationID
           *  }
           * Expected behaviour:
           *  ensure that {
           *      when { 
           *          the IUT changes its StationID and is alerted of expiration of the time associated with INTERVAL_1
           *      }
           *      then {
           *      		the IUT repeats the transmission of the valid DENM
           *      			containing management container
           *      				containing actionID
           *      					containing originatingStationID
           *      						indicating its new StationID
           *      }
           *  }
           * </pre>
           * 
           * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/EVRP/BV-08, ETSI EN 302 637-3, clause 6.1.1.2
           */
          testcase TC_DEN_EVRP_BV_08() runs on ItsDenm system ItsDenmSystem {
              
              f_DEN_EVRP_BV_08();
              
          } // end TC_DEN_EVRP_BV_08
           
          /**
           * @desc		Check that actionID is not modified in repetitions of DENM if stationID is not modified
           *
           * <pre>        
           * PICS Selection: none 
           * Initial conditions:
           *  with {
           *      the IUT being in the "initial state"
           *      and the IUT having received an AppDENM_trigger request from application layer
           *      	containing repetitionInterval
           *      		indicating INTERVAL_1
           *      	and containing repetitionDuration
           *      		indicating DURATION_1
           *      	and containing validityDuration
           *      		indicating DURATION_2 > DURATION_1
           *      and the IUT having generated the corresponding event
           *      	containing management container
           *      		containing actionID
           *      			indicating ACTION_ID_1
           *      		and containing validityDuration
           *      			indicating DURATION_1
           *     and the IUT not having changed its StationID
           *  }
           * Expected behaviour:
           *  ensure that {
           *      when { 
           *          the IUT is alerted of expiration of the time associated with INTERVAL_1
           *      }
           *      then {
           *      		the IUT repeats the transmission of the valid DENM
           *      			containing management container
           *      				containing actionID
           *      					indicating its ACTION_ID_1
           *      }
           *  }
           * </pre>
           * 
           * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/EVRP/BV-09, ETSI EN 302 637-3, clause 8.2.1.2
           */
          testcase TC_DEN_EVRP_BV_09() runs on ItsDenm system ItsDenmSystem {
              
              f_DEN_EVRP_BV_09();
              
          } // end TC_DEN_EVRP_BV_09
           
          /**
           * @desc		Check that actionID is not modified in repetitions of DENM if stationID is not modified
           *
           * <pre>        
           * PICS Selection: none 
           * Initial conditions:
           *  with {
           *      the IUT being in the "initial state"
           *      and the IUT having received an AppDENM_trigger request from application layer
           *      	containing repetitionInterval
           *      		indicating INTERVAL_1
           *      	and containing repetitionDuration
           *      		indicating DURATION_1
           *      	and containing validityDuration
           *      		indicating DURATION_2 > DURATION_1
           *      and the IUT having generated the corresponding event
           *      	containing management container
           *      		containing actionID
           *      			indicating ACTION_ID_1
           *      		and containing validityDuration
           *      			indicating DURATION_2
           *      		and containing referenceTime
           *      			indicating REFERENCE_TIME_1
           *  }
           * Expected behaviour:
           *  ensure that {
           *      when { 
           *          the IUT is alerted of expiration of the time associated with INTERVAL_1
           *      }
           *      then {
           *      		the IUT repeats the transmission of the valid DENM
           *      			containing management container
           *      				containing actionID
           *      					indicating its ACTION_ID_1
           *      				and containing referenceTime
           *      					indicating REFERENCE_TIME_1
           *      }
           *  }
           * </pre>
           * 
           * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/EVRP/BV-10, ETSI EN 302 637-3, clause 8.2.1.2
           */
          testcase TC_DEN_EVRP_BV_10() runs on ItsDenm system ItsDenmSystem {
              
              f_DEN_EVRP_BV_10();
              
          } // end TC_DEN_EVRP_BV_10
           
          /**
           * @desc		Check that DEN Basic Service stops retransmitting DENM after event's validityDuration expiration, 
           *            when validityDuration was not provided
           *
           * <pre>        
           * PICS Selection: none 
           * Initial conditions:
           *  with {
           *      the IUT being in the "initial state"
           *      and the IUT having received an AppDENM_trigger request from application layer
           *      	containing repetitionInterval
           *      		indicating INTERVAL_1
           *      	and containing repetitionDuration
           *      		indicating DURATION_1 > defaultValidityDuration
           *      	and not containing validityDuration
           *      and the IUT having generated the corresponding event
           *      	containing management container
           *      		containing actionID
           *      			indicating ACTION_ID_1
           *  }
           * Expected behaviour:
           *  ensure that {
           *      when {
           *          the IUT is alerted of expiration of the defaultValidityDuration
           *      }
           *      then {
           *      		the IUT stops the retransmission of the DENM associated with ACTION_ID1
           *      }
           *  }
           * </pre>
           * 
           * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/EVRP/BV-11, ETSI EN 302 637-3, clause 8.2.1.5
           */
          testcase TC_DEN_EVRP_BV_11() runs on ItsDenm system ItsDenmSystem {
              
              f_DEN_EVRP_BV_11();
              
          } // end TC_DEN_EVRP_BV_11
              
      } // end denMessageRepetition
              
      // 5.2.1.6
      group denMessageLowerLayerParameters {

          /**
           * @desc    Check that DENM is encapsulated in BTP type B packet
           * <pre>        
           * PICS Selection: PICS_DENM_GENERATION 
           * Initial conditions:
           *  with {
           *      the IUT being in the "initial state"
           *  }
           * Expected behaviour:
           *  ensure that {
           *      when {
           *          a DENM is generated
           *      }
           *      then {
           *          the IUT sends a DENM
           *              encapsulated in a BTP-B packet
           *      }
           *  }
           * </pre>
           * 
           * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/PAR/BV-01, EN 302 637-3 clause 5.4.2.2
           */
          testcase TC_DEN_PAR_BV_01() runs on ItsDenm system ItsDenmSystem {
          
              f_DEN_PAR_BV_01();
      
          } // end TC_DEN_PAR_BV_01

          /**
           * @desc    Check that DENM is encapsulated in a GBC packet
           * <pre>        
           * PICS Selection: PICS_DENM_GENERATION 
           * Initial conditions:
           *  with {
           *      the IUT being in the "initial state"
           *  }
           * Expected behaviour:
           *  ensure that {
           *      when {
           *          a DENM is generated
           *      }
           *      then {
           *          the IUT sends a DENM
           *              encapsulated in a GBC packet
           *      }
           *  }
           * </pre>
           * 
           * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/PAR/BV-02, EN 302 637-3 clause 5.4.2.2
           */
          testcase TC_DEN_PAR_BV_02() runs on ItsDenm system ItsDenmSystem {
              
              f_DEN_PAR_BV_02();
              
          } // end TC_DEN_PAR_BV_02          

      } // end denMessageLowerLayerParameters
      
      group denMessageSSP {
        
        /**
         * @desc    Check that IUT does not send a DENM if it is not permitted by signing certificate
         *         
         * <pre>
         * PICS Selection: PICS_DENM_GENERATION AND PICS_SECURITY
         * Initial conditions:
         *    with {
         * 	      the IUT being in the "initial state"
         * 	      the IUT is authorized to sign DENMs with the certificate
         * 		      containing DENM SSP
         * 		          not containing pemisions to send trafficCondition cause code
         *    }
         * Expected behaviour:
         *    ensure that {
         *    	when {
         *    		the IUT receives an AppDENM_trigger request from the application layer
         *    			containing situation container
         *    				containing eventType
         *    					containing causeCode
         *    						indicating trafficCondition
         *    	}
         *    	then {
         *    		the IUT does not send this DENM
         *    	}
         *    }
         * </pre>
         * 
         * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/SSP/BV-01, ETSI EN 302 637-3, clause 8.4.2
         */
        testcase TC_DEN_SSP_BV_01() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_SSP_BV_01();
            
        } // end TC_DEN_SSP_BV_01
      
        /**
         * @desc    Check that IUT does not send a DENM if it is not permitted by signing certificate
         *         
         * <pre>
         * PICS Selection: PICS_DENM_GENERATION AND PICS_SECURITY
         * Initial conditions:
         *    with {
         * 	      the IUT being in the "initial state"
         * 	      the IUT is authorized to sign DENMs with the certificate
         * 		      containing DENM SSP
         * 		          not containing pemisions to send 'accident' cause code
         *    }
         * Expected behaviour:
         *    ensure that {
         *    	when {
         *    		the IUT receives an AppDENM_trigger request from the application layer
         *    			containing situation container
         *    				containing eventType
         *    					containing causeCode
         *    						indicating 'accident'
         *    	}
         *    	then {
         *    		the IUT does not send this DENM
         *    	}
         *    }
         * </pre>
         * 
         * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/SSP/BV-01, ETSI EN 302 637-3, clause 8.4.2
         */
        testcase TC_DEN_SSP_BV_02() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_SSP_BV_02();
            
        } // end TC_DEN_SSP_BV_02
      }
    } // end denMessageTransmission
    
    // 5.2.2
    group denMessageReception {
        
        /**
         * @desc    Check that receiving ITS-S transmits DENM to application if it concerns an unknown ActionID and if it is not a termination DENM
         *         
         * <pre>
         * PICS Selection: none
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT not having received DENM
         *          containing management container
         *              containing actionID
         *                  indicating ACTION_ID1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the IUT receives a DENM that is not a termination
         *              containing management container
         *                  containing actionID
         *                      indicating ACTION_ID1
         *      }
         *      then {
         *          the IUT transmits the DENM content to upper layer
         *      }
         *  }
         * </pre>
         * 
         * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/MSRV/BV-01, ETSI EN 302 637-3, clause 8.4.2
         */
        testcase TC_DEN_MSRV_BV_01() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_MSRV_BV_01();
            
        } // end TC_DEN_MSRV_BV_01
        
        /**
         * @desc    Check that receiving ITS-S transmits DENM to application if it concerns a known ActionID 
         *          and referenceTime is greater than highest value received for this ActionID
         * <pre>
         * PICS Selection: none
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT having received DENM
         *          containing management container
         *              containing actionID
         *                  indicating ACTION_ID1
         *              and containing referenceTime
         *                  indicating  REFERENCETIME_1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the IUT receives a DENM
         *              containing management container
         *                  containing actionID
         *                      indicating ACTION_ID1
         *                  and containing referenceTime
         *                      indicating REFERENCETIME_2 greater than REFERENCETIME_1

         *      }
         *      then {
         *          the IUT transmits the DENM content to upper layer
         *      }
         *  }
         * </pre>
         * 
         * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/MSRV/BV-02, ETSI EN 302 637-3, clause 8.4.2
         */
        testcase TC_DEN_MSRV_BV_02() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_MSRV_BV_02();
            
        } // end TC_DEN_MSRV_BV_02
                
        /**
         * @desc    Check that receiving ITS-S discards termination DENM if it concerns an unknown ActionID (own actionID)
         * <pre>
         * PICS Selection: none 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT having received several events
         *      and the IUT not having received DENM
         *          containing actionID
         *              indicating ACTION_ID1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the IUT receives a termination DENM
         *              containing actionID
         *                  indicating ACTION_ID1
         *      }
         *      then {
         *          the IUT discards the DENM
         *          and the IUT does not forward the DENM content to upper layer
         *      }
         *  }
         * </pre>
         * 
         * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/MSRV/BO-03, ETSI EN 302 637-3, clause 8.3.2
         */
        testcase TC_DEN_MSRV_BO_03() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_MSRV_BO_03();
            
        } // end TC_DEN_MSRV_BO_03
            
        /**
         * @desc    Check that receiving ITS-S discards termination DENM if it concerns an unknown ActionID (other actionID)
         * <pre>
         * PICS Selection: none 
         * Initial conditions:
         *  with {
         *      and the IUT having received several events
         *      and the IUT not having received DENM
         *          containing actionID
         *              indicating ACTION_ID1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the IUT receives a termination DENM
         *              containing actionID
         *                  indicating ACTION_ID1
         *      }
         *      then {
         *          the IUT discards the DENM
         *          and the IUT does not forward the DENM content to upper layer
         *      }
         *  }
         * </pre>
         * 
         * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/MSRV/BO-04, ETSI EN 302 637-3, clause 8.3.2
         */
        testcase TC_DEN_MSRV_BO_04() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_MSRV_BO_04();
            
        } // end TC_DEN_MSRV_BO_04
            
        /**
         * @desc    Check that receiving ITS-S discards DENM if referenceTime is lower than highest value received for this ActionID
         * <pre>
         * PICS Selection: none
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT having received DENM
         *          containing management container
         *              containing actionID
         *                  indicating ACTION_ID1
         *              and containing referenceTime
         *                  indicating REFERENCETIME_1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the IUT receives a DENM
         *              containing management container
         *                  containing actionID
         *                      indicating ACTION_ID1
         *                  and containing referenceTime
         *                      indicating REFERENCETIME_2 lower than REFERENCETIME_1
         *      }
         *      then {
         *          the IUT discards the DENM
         *          and the IUT does not forward the DENM content to upper layer
         *      }
         *  }
         * </pre>
         * 
         * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/MSRV/BO-05, ETSI EN 302 637-3, clause 8.3.2
         */
        testcase TC_DEN_MSRV_BO_05() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_MSRV_BO_05();
            
        } // end TC_DEN_MSRV_BO_05
            
        /**
         * @desc    Check that receiving ITS-S discards DENM if detectionTime is smaller than highest value received for this ActionID
         *          
         * <pre>
         * PICS Selection: none
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT having received DENM
         *          containing management container
         *              containing actionID
         *                  indicating ACTION_ID1
         *              and containing referenceTime
         *                  indicating REFERENCETIME_1
         *              and containing detectionTime
         *                  indicating TIME_1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the IUT receives a DENM
         *              containing management container
         *                  containing actionID
         *                      indicating ACTION_ID1
         *                  and containing referenceTime
         *                      indicating REFERENCETIME_1
         *                  and containing detectionTime
         *                      indicating TIME_2 not more recent than TIME_1
         *      }
         *      then {
         *          the IUT discards the DENM
         *          and the IUT does not forward the DENM content to upper layer
         *      }
         *  }
         * </pre>
         * 
         * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/MSRV/BO-06, ETSI EN 302 637-3, clause 8.3.2
         */
        testcase TC_DEN_MSRV_BO_06() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_MSRV_BO_06();
            
        } // end TC_DEN_MSRV_BO_06
            
        /**
         * @desc    Check that receiving ITS-S transmits DENM to application if it concerns a known ActionID and referenceTime 
         *          is equal to highest received value and detectionTime is more recent
         * <pre>
         * PICS Selection: none
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT having received DENM
         *          containing management container
         *              containing actionID
         *                  indicating ACTION_ID1
         *              and containing referenceTime
         *                  indicating REFERENCETIME_1
         *              and containing detectionTime
         *                  indicating TIME_1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the IUT receives a DENM
         *              containing management container
         *                  containing actionID
         *                      indicating ACTION_ID1
         *                  and containing referenceTime
         *                      indicating REFERENCETIME_1
         *                  and containing detectionTime
         *                      indicating TIME_2 more recent than TIME_1
         *      }
         *      then {
         *          the IUT transmits the DENM content to upper layer
         *      }
         *  }
         * </pre>
         * 
         * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/MSRV/BV-07, ETSI EN 302 637-3, clause 8.3.2
         */
        testcase TC_DEN_MSRV_BV_07() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_MSRV_BV_07();
            
        } // end TC_DEN_MSRV_BV_07
        
        group denMessageReceptionSSP {
        	
            /**
             * @desc    Check that receiving ITS-S discards DENM for new event 
             * 			if SSP value of the signing certificate is not consistent with the causeCode
             *          
             * <pre>
             * PICS Selection: none
             * Initial conditions:
             *  with {
             *      the IUT being in the "initial state"
             *  }
             * Expected behaviour:
             *  ensure that {
             *  	when {
             *  		the IUT receives a secured DENM
             *  			containing situation container
             *  				containing eventType
             *  					containing causeCode
             *  						indicating 'trafficCondition'
             *  			containing signing certificate
             *  				containing SSP
             *  					not permitting to send DENM
             *  						containing causeCode
             *  							indicating 'trafficCondition'
             *  	}
             *  	then {
             *  		the IUT discards the DENM
             *  		and the IUT does not forward the DENM content to upper layer
             *  	}
             *  }
             * </pre>
             * 
             * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/MSRV/BV-08-01, ETSI EN 302 637-3, clause 8.4.2
             */
			testcase TC_DEN_MSRV_BO_08_01() runs on ItsDenm system ItsDenmSystem {
    
				f_DEN_MSRV_BO_08_01();
    
			} // end TC_DEN_MSRV_BO_08_01

            /**
             * @desc    Check that receiving ITS-S discards DENM for new event 
             * 			if SSP value of the signing certificate is not consistent with the causeCode
             *          
             * <pre>
             * PICS Selection: none
             * Initial conditions:
             *  with {
             *      the IUT being in the "initial state"
             *  }
             * Expected behaviour:
             *  ensure that {
             *  	when {
             *  		the IUT receives a secured DENM
             *  			containing situation container
             *  				containing eventType
             *  					containing causeCode
             *  						indicating 'accident'
             *  			containing signing certificate
             *  				containing SSP
             *  					not permitting to send DENM
             *  						containing causeCode
             *  							indicating 'accident'
             *  	}
             *  	then {
             *  		the IUT discards the DENM
             *  		and the IUT does not forward the DENM content to upper layer
             *  	}
             *  }
             * </pre>
             * 
             * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/MSRV/BV-08-02, ETSI EN 302 637-3, clause 8.4.2
             */
            testcase TC_DEN_MSRV_BO_08_02() runs on ItsDenm system ItsDenmSystem {
    
				f_DEN_MSRV_BO_08_02();
    
            } // end TC_DEN_MSRV_BO_08_02
        
            /**
             * @desc    Check that receiving ITS-S discards DENM for existing event 
             *          if SSP value of the signing certificate is not consistent with the causeCode
             *          
             * <pre>
             * PICS Selection: none
             * Initial conditions:
             *   with {
             *   	the IUT being in the "initial state"
             *   	and the IUT having received a secured DENM
             * 			containing management container
             * 				containing actionID
             * 					indicating ACTION_ID1
             *   		containing situation container
             *   			containing eventType
             *   				containing causeCode
             *   					indicating 'trafficCondition'
             *   		containing signing certificate
             *  			containing SSP
             *  				permitting to send DENM
             *  					containing causeCode
             *  						indicating 'trafficCondition'
             *   }
             * Expected behaviour:
             *   ensure that {
             *   	when {
             *   		the IUT receives a secured DENM
             *   			containing management container
             *   				containing actionID
             *   					indicating ACTION_ID1
             *   			containing situation container
             *   				containing eventType
             *   					containing causeCode
             *   						indicating 'trafficCondition'
             *   			containing signing certificate
             *  				containing SSP
             *  					permitting to send DENM
             *  						containing causeCode
             *  							indicating 'trafficCondition'
             *   	}
             *   	then {
             *   		the IUT discards the DENM
             *   		and the IUT does not forward the DENM content to upper layer
             *   	}
             *   }
             * </pre>
             * 
             * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/MSRV/BV-09-01, ETSI EN 302 637-3, clause 8.4.2
             */
			testcase TC_DEN_MSRV_BO_09_01() runs on ItsDenm system ItsDenmSystem {
    
				f_DEN_MSRV_BO_09_01();
    
			} // end TC_DEN_MSRV_BO_09_01

			/**
			 * @desc    Check that receiving ITS-S discards DENM for existing event 
			 *          if SSP value of the signing certificate is not consistent with the causeCode
			 *          
			 * <pre>
			 * PICS Selection: none
			 * Initial conditions:
			 *   with {
			 *   	the IUT being in the "initial state"
			 *   	and the IUT having received a secured DENM
			 * 			containing management container
			 * 				containing actionID
			 * 					indicating ACTION_ID1
			 *   		containing situation container
			 *   			containing eventType
			 *   				containing causeCode
			 *   					indicating 'accident'
			 *   		containing signing certificate
			 *  			containing SSP
			 *  				permitting to send DENM
			 *  					containing causeCode
			 *  						indicating 'accident'
			 *   }
			 * Expected behaviour:
			 *   ensure that {
			 *   	when {
			 *   		the IUT receives a secured DENM
			 *   			containing management container
			 *   				containing actionID
			 *   					indicating ACTION_ID1
			 *   			containing situation container
			 *   				containing eventType
			 *   					containing causeCode
			 *   						indicating 'accident'
			 *   			containing signing certificate
			 *  				containing SSP
			 *  					permitting to send DENM
			 *  						containing causeCode
			 *  							indicating 'accident'
			 *   	}
			 *   	then {
			 *   		the IUT discards the DENM
			 *   		and the IUT does not forward the DENM content to upper layer
			 *   	}
			 *   }
			 * </pre>
			 * 
			 * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/MSRV/BV-09-02, ETSI EN 302 637-3, clause 8.4.2
			 */
            testcase TC_DEN_MSRV_BO_09_02() runs on ItsDenm system ItsDenmSystem {
    
				f_DEN_MSRV_BO_09_02();
    
            } // end TC_DEN_MSRV_BO_09_02
            
        } // end denMessageReceptionSSP


        /**
         * @desc    Check that receiving ITS-S replies to requestResponseIndication
         *          
         * <pre>
         * PICS Selection: none
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the IUT receives a DENM
         *              containing management container
         *                  containing actionID
         *                      indicating ACTION_ID1
         *              and containing alacarte container
         *                  containing ImpactReductionContainer
         *                  	containing requestResponseIndication
         *                      	indicating request(0)
         *      }
         *      then {
         *          the IUT sends a DENM
         *              containing management container
         *                  containing actionID
         *                      indicating ACTION_ID2
         *              and containing alacarte container
         *                  containing ImpactReductionContainer
         *                  	containing requestResponseIndication
         *                      	indicating response(1)
         *      }
         *  }
         * </pre>
         * 
         * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/MSRV/BV-10, ETSI EN 302 637-3, clause B.40
         */
        testcase TC_DEN_MSRV_BV_10() runs on ItsDenm system ItsDenmSystem {

            f_DEN_MSRV_BV_10();

        } // end TC_DEN_MSRV_BV_10
        
        
    } // end denMessageReception
    
    // 5.2.3
    group denKeepAliveForwarding {

        /**
         * @desc    Check that forwarding ITS-S forwards DENM if no DENM with same ActionId has been received during forwarding delay
         * <pre>
         * PICS Selection: PICS_KAF 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *          and the IUT having received a DENM
         *              containing actionID
         *                  indicating ACTION_ID1
         *              and containing transmissionInterval
         *                  indicating TRANS_INTERVAL1
         *              and containing validityDuration
         *                  indicating value more than 3 times greater than TRANS_INTERVAL1
         *          and the IUT having starting timer T_Forwarding for this DENM
         *          and the IUT not having received further DENM 
         *              containing actionID
         *                  indicating ACTION_ID1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the timer T_Forwarding expires
         *      }
         *      then {
         *          the IUT reconstructs and sends the DENM associated to ACTION_ID1
         *      }
         *  }
         * </pre>
         * 
         * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/KAFW/BV-01, ETSI EN 302 637-3, clause 8.2.2
         */
        testcase TC_DEN_KAFW_BV_01() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_KAFW_BV_01();
            
        } // end TC_DEN_KAFW_BV_01
        
        /**
         * @desc    Check that forwarding ITS-S forwards DENM if no DENM with same ActionId and referenceTime greater 
         *          or equal to the last received DENM has been received during forwarding delay
         * <pre>
         * PICS Selection: PICS_KAF 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT having received a DENM
         *          containing actionID
         *              indicating ACTION_ID1
         *          and containing transmissionInterval
         *              indicating TRANS_INTERVAL1
         *          and containing referenceTime
         *              indicating REFERENCETIME_1
         *          and containing validityDuration
         *              indicating value more than 3 times greater than TRANS_INTERVAL1
         *      and the IUT having starting timer T_Forwarding for this DENM
         *      and the IUT having received DENM
         *          containing actionID
         *              indicating ACTION_ID1
         *          and containing referenceTime
         *              indicating value REFERENCETIME_2 < REFERENCETIME_1
         *      and the IUT not having received further DENM 
         *          containing actionID
         *              indicating ACTION_ID1
         *          and containing referenceTime
         *              indicating value REFERENCETIME_3 > REFERENCETIME_1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the timer T_Forwarding expires
         *      }
         *      then {
         *          the IUT reconstructs and sends the DENM associated to ACTION_ID1
         *      }
         *  }
         * </pre>
         * 
         * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/KAFW/BV-02, ETSI EN 302 637-3, clause 8.2.2
         */
        testcase TC_DEN_KAFW_BV_02() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_KAFW_BV_02();
            
        } // end TC_DEN_KAFW_BV_02
                
        /**
         * @desc    Check that forwarding delay is set to min(2*transmissionInterval + rnd(0, 150ms), validityDuration)
         * <pre>
         * PICS Selection: PICS_KAF 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT having received a DENM
         *          containing actionID
         *              indicating ACTION_ID1
         *          and containing transmissionInterval
         *              indicating TRANS_INTERVAL1
         *          and containing validityDuration
         *              indicating value DURATION_1 more than 3 times greater than TRANS_INTERVAL1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the timer T_Forwarding expires
         *      }
         *      then {
         *          the IUT reconstructs and sends the DENM associated to ACTION_ID1 at a point of time corresponding to
         *          min ( 2*transmissionInterval + rnd ( 0, 150ms ), validityDuration )
         *      }
         *  }
         * </pre>
         * 
         * @see     ETSI TS 102 869-2 v1.4.1 TP/DEN/KAFW/TI-03, ETSI EN 302 637-3, clause 8.2.1.4
         */
        testcase TC_DEN_KAFW_TI_03() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_KAFW_TI_03();
            
        } // end TC_DEN_KAFW_TI_03
            
        /**
         * @desc    Check that Forwarding ITS-S replaces the ITS PDU header of forwarded DENMs
         * <pre>
         * PICS Selection: PICS_KAF 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT having received a DENM
         *          containing actionID
         *              indicating ACTION_ID1
         *          and containing transmissionInterval
         *              indicating TRANS_INTERVAL1
         *          and containing validityDuration
         *              indicating value more than 3 times greater than TRANS_INTERVAL1
         *      and the IUT having starting timer T_Forwarding for this DENM
         *      and the IUT not having received further DENM 
         *          containing actionID
         *              indicating ACTION_ID1
         *  }
         * Expected behaviour:
         *  ensure that {