ItsCam_TestCases.ttcn

             *                 containing camParameters
             *                     containing highFrequencyContainer
             *                         containing basicVehicleContainerHighFrequency
             *                             containing speed set to SPEED_1
             *         the IUT not having sent any CAM since T_GenCam_Dcc
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *            T_GenCam_Dcc expires
             *            and the IUT is alerted that abs(CurrentSpeed – SPEED_1) > 0,5 m/s
             *         }
             *         then {
             *             the IUT sends a CAM immediately
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/GFQ/BV-06
             * @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.3
             */
            testcase TC_CAM_MSD_GFQ_BV_06() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_GFQ_BV_06();
                
            } // end TC_CAM_MSD_GFQ_BV_06
            
            /**
             * @desc Check that CAM is generated immediately when the time 
             *       elapsed since the last CAM generation is equal or larger 
             *       than T_GenCam and equal or larger than T_GenCam_Dcc.
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND NOT PIC_RSU
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT having sent a CAM
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             T_GenCam expires
             *             and T_GenCam_Dcc expires
             *         }
             *         then {
             *             the IUT sends another CAM
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/GFQ/TI-07
             * @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.3
             */
            testcase TC_CAM_MSD_GFQ_TI_07() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_GFQ_TI_07();
                
            } // end TC_CAM_MSD_GFQ_TI_07
                
            /**
             * @desc Check that maximum CAM generation frequency for RSU ITS-S is 1Hz
             *       
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND PICS_RSU
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             IUT sends a CAM
             *         }
             *         then {
             *             the IUT does not send another CAM afterbefore 1s
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/GFQ/TI-08
             * @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.4
             */
            testcase TC_CAM_MSD_GFQ_TI_08() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_GFQ_TI_08();

            } // end TC_CAM_MSD_GFQ_TI_08
                
        } // end group camGenerationFrequency

        group camLowerLayerParameters {
                
            /**
             * @desc Check that CAM is encapsulated in BTP type B packet
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_IS_IUT_SECURED
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *     }
             * Expected behaviour:
             *  ensure that {
             *      when {
             *          a CAM is generated
             *      }
             *      then {
             *          the IUT sends a CAM
             *              encapsulated in a BTP-B packet
             *      }
             *  } 
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/PAR/BV-01
             * @reference ETSI EN 302 637-2 v1.4.1, clause 5.3.4.1
             */
            testcase TC_CAM_MSD_PAR_BV_01() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_PAR_BV_01();
                
            } // end TC_CAM_MSD_PAR_BV_01
            
            /**
             * @desc Check that CAM is encapsulated in SHB packet
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_IS_IUT_SECURED
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *     }
             * Expected behaviour:
             *  ensure that {
             *      when {
             *          a CAM is generated
             *      }
             *      then {
             *          the IUT sends a CAM
             *              encapsulated in a SHB packet
             *      }
             *  } 
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/PAR/BV-02
             * @reference ETSI EN 302 637-2 v1.4.1, clause 5.3.4.1
             */
            testcase TC_CAM_MSD_PAR_BV_02() runs on ItsCam system ItsCamSystem {
        
                f_CAM_MSD_PAR_BV_02();
            
            } // end TC_CAM_MSD_PAR_BV_02
            
            /**
             * @desc Check that CAM is encapsulated in GN packet with lifetime lower than 1s
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_IS_IUT_SECURED
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *     }
             * Expected behaviour:
             *  ensure that {
             *      when {
             *          a CAM is generated
             *      }
             *      then {
             *          the IUT sends a CAM
             *              encapsulated in a GN packet
             *                  containing Basic Header
             *                      containing Lifetime field 
             *                          indicating value lower than 1s
             *      }
             *  } 
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/PAR/BV-03
             * @reference ETSI EN 302 637-2 v1.4.1, clause 5.3.4.1
             */
            testcase TC_CAM_MSD_PAR_BV_03() runs on ItsCam system ItsCamSystem {
            
                f_CAM_MSD_PAR_BV_03();
            
            } // end TC_CAM_MSD_PAR_BV_03                        

        } // end group camLowerLayerParameters        

        group camGenerationSSP {
            
            /**
             * @desc Check that the IUT does not send a CAM
             *          when its content is not permitted by signing certificate
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND PICS_IS_IUT_SECURED
             * Initial conditions: 
             *        with {
             *            the IUT being in the "initial state"
             *          the IUT is authorized to sign CAMs with the certificate
             *              containing CAM SSP
             *                  indicating bit at position '1' set to 0
             *      }
             * Expected behaviour:
             *  ensure that {
             *      when {
             *          the IUT generates a CAM
             *              containing CenDsrcTollingZone
             *      }
             *      then {
             *          the IUT does not send this CAM
             *      }
             *  } 
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/SSP/BO-01
             * @reference ETSI EN 302 637-2 v1.4.1, clause 6.2.2.1
             */
            testcase TC_CAM_MSD_SSP_BO_01() runs on ItsCam system ItsCamSystem {
            
                f_CAM_MSD_SSP_BO_01();
            
            } // end TC_CAM_MSD_SSP_BO_01                        

            /**
             * @desc Check that the IUT does not send a CAM
             *          when its content is not permitted by signing certificate
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND PICS_IS_IUT_SECURED
             *                 AND PICS_SPECIALVEHICLECONTAINER AND PICS_PUBLICTRANS
             * Initial conditions: 
             *        with {
             *            the IUT being in the "initial state"
             *          the IUT is authorized to sign CAMs with the certificate
             *              containing CAM SSP
             *                  indicating bit at position '2' set to 0
             *      }
             * Expected behaviour:
             *  ensure that {
             *      when {
             *          the IUT generates a CAM
             *              containing publicTransportContainer
             *      }
             *      then {
             *          the IUT does not send this CAM
             *      }
             *  } 
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/SSP/BO-02
             * @reference ETSI EN 302 637-2 v1.4.1, clause 6.2.2.1
             */
            testcase TC_CAM_MSD_SSP_BO_02() runs on ItsCam system ItsCamSystem {
            
                f_CAM_MSD_SSP_BO_02();
            
            } // end TC_CAM_MSD_SSP_BO_02

            /**
             * @desc Check that the IUT does not send a CAM
             *          when its content is not permitted by signing certificate
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND PICS_IS_IUT_SECURED
             *                 AND PICS_SPECIALVEHICLECONTAINER AND PICS_SPECIALTRANS
             * Initial conditions: 
             *        with { 
             *            the IUT being in the "initial state"
             *          the IUT is authorized to sign CAMs with the certificate
             *              containing CAM SSP
             *                  indicating bit at position '3' set to 0
             *      }
             * Expected behaviour:
             *  ensure that {
             *      when {
             *          the IUT generates a CAM
             *              containing specialTransportContainer
             *      }
             *      then {
             *          the IUT does not send this CAM
             *      }
             *  } 
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/SSP/BO-03
             * @reference ETSI EN 302 637-2 v1.4.1, clause 6.2.2.1
             */
            testcase TC_CAM_MSD_SSP_BO_03() runs on ItsCam system ItsCamSystem {
            
                f_CAM_MSD_SSP_BO_03();
            
            } // end TC_CAM_MSD_SSP_BO_03   
                                 
        } // end group camGenerationSSP        
        
    } // end group camMessageDissemination
      
    group camMessageProcessing {
        
        /**
         * @desc Check that content of received CAM is transmitted to 
         *       applications and other facilities.
         * <pre>
         * Pics Selection: PICS_CAM_RECEPTION
         * Initial conditions: 
         *     with {
         *         the IUT being in the "initial state"
         *     }
         * Expected behaviour:
         *     ensure that {
         *         when {
         *             the IUT receives a valid CAM
         *         }
         *         then {
         *             the IUT forwards the CAM content to upper layers
         *             and the IUT forwards the CAM content to other facilities
         *         }
         *     }
         * </pre>
         * 
         * @see       ETSI TS 102 868-2 v1.5.1 TP/CAM/MSP/BV-01
         * @reference ETSI EN 302 637-2 v1.4.1, clause 4.2.2
         */
        testcase TC_CAM_MSP_BV_01() runs on ItsCam system ItsCamSystem {
            
            f_CAM_MSP_BV_01();
            
        } // end TC_CAM_MSP_BV_01
        
        group camProcessingSSP {
            /**
             * @desc Check that IUT discards CAM if SSP value of the signing certificate 
             *       is not consistent with the provided containers.
             * <pre>
             * Pics Selection: PICS_CAM_RECEPTION AND PICS_IS_IUT_SECURED
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *     }
             * Expected behaviour:
             *     ensure that {
             *            when {
             *                the IUT receives a secured CAM
             *                    containing CenDsrcTollingZone/ProtectedCommunicationZonesRSU
             *                    signed with certificate
             *                        containing CAM SSP bit at position 0
             *                            indicating 0
             *            }
             *            then {
             *                the IUT discards the CAM
             *                and the IUT does not forward the CAM content to upper layers
             *                and the IUT does not forward the CAM content to other facilities
             *            }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 v1.5.1 TP/CAM/MSP/SSP/BV-01-01
             * @reference ETSI EN 302 637-2 v1.4.1, clause 6.2.2.1
             */
            testcase TC_CAM_MSP_SSP_BV_01() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSP_SSP_BV_01();
    
            } // end TC_CAM_MSP_BV_01
    
            /**
             * @desc Check that IUT discards CAM if SSP value of the signing certificate 
             *       is not consistent with the provided containers.
             * <pre>
             * Pics Selection: PICS_CAM_RECEPTION AND PICS_IS_IUT_SECURED 
             * Initial conditions: 
             *         with {
             *            the IUT being in the "initial state"
             *        }
             * Expected behaviour:
             *        ensure that {
             *            when {
             *                the IUT receives a secured CAM
             *                    containing publicTransportContainer
             *                    and signed with certificate
             *                        containing CAM SSP bit at position 1
             *                            indicating 0
             *            }
             *            then {
             *                the IUT discards the CAM
             *                and the IUT does not forward the CAM content to upper layers
             *                and the IUT does not forward the CAM content to other facilities
             *            }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 v1.5.1 TP/CAM/MSP/SSP/BV-01-02
             * @reference ETSI EN 302 637-2 v1.4.1, clause 6.2.2.1
             */
            testcase TC_CAM_MSP_SSP_BV_02() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSP_SSP_BV_02();
                
            } // end TC_CAM_MSP_BV_02
            
            /**
             * @desc Check that IUT discards CAM if SSP value of the signing certificate 
             *       is not consistent with the provided containers.
             * <pre>
             * Pics Selection: PICS_CAM_RECEPTION AND PICS_IS_IUT_SECURED 
             * Initial conditions: 
             *         with {
             *            the IUT being in the "initial state"
             *        }
             * Expected behaviour:
             *        ensure that {
             *            when {
             *                the IUT receives a secured CAM
             *                    containing specialTransportContainer
             *                    and signed with certificate
             *                        containing CAM SSP bit at position 2
             *                            indicating 0
             *            }
             *            then {
             *                the IUT discards the CAM
             *                and the IUT does not forward the CAM content to upper layers
             *                and the IUT does not forward the CAM content to other facilities
             *            }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 v1.5.1 TP/CAM/MSP/SSP/BV-01-03
             * @reference ETSI EN 302 637-2 v1.4.1, clause 6.2.2.1
             */
            testcase TC_CAM_MSP_SSP_BV_03() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSP_SSP_BV_03();
                
            } // end TC_CAM_MSP_BV_03
        
        }// end group camProcessingSSP
        
    } // end group camMessageProcessing
    
} // end ItsCam_TestCases