ItsCam_TestCases.ttcn 93.5 KB
Newer Older
filatov's avatar
filatov committed
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .leftTurnSignalOn
                 *     VALUE: 0
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-01-21
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_21() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_21();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_21
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
filatov's avatar
filatov committed
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Right turn signal being activated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .rightTurnSignalOn
                 *     VALUE: 1
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-01-22
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_22() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_22();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_22
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
filatov's avatar
filatov committed
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Right turn signal being deactivated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .rightTurnSignalOn
                 *     VALUE: 0
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-01-23
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_23() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_23();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_23
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
filatov's avatar
filatov committed
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Daytime running lights being activated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .daytimeRunningLightsOn
                 *     VALUE: 1
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-01-24
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_24() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_24();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_24
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
filatov's avatar
filatov committed
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Daytime running lights being deactivated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .daytimeRunningLightsOn
                 *     VALUE: 0
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-01-25
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_25() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_25();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_25
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
filatov's avatar
filatov committed
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Reverse light being activated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .reverseLightOn
                 *     VALUE: 1
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-01-26
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_26() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_26();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_26
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
filatov's avatar
filatov committed
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Reverse light being deactivated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .reverseLightOn
                 *     VALUE: 0
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-01-27
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_27() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_27();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_27
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
filatov's avatar
filatov committed
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Fog lights being activated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .fogLightOn
                 *     VALUE: 1
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-01-28
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_28() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_28();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_28
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
filatov's avatar
filatov committed
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Fog lights being deactivated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .fogLightOn
                 *     VALUE: 0
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-01-29
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_29() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_29();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_29
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
filatov's avatar
filatov committed
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Parking lights being activated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .parkingLightsOn
                 *     VALUE: 1
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-01-30
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_30() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_30();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_30
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
filatov's avatar
filatov committed
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Parking lights being deactivated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .parkingLightsOn
                 *     VALUE: 0
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-01-31
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_31() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_31();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_31
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
filatov's avatar
filatov committed
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Heading value
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .heading
                 *     VALUE: measured value
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-01-32
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_32() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_32();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_32
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
filatov's avatar
filatov committed
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Speed value
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .speed
                 *     VALUE: measured value
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-01-33
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_33() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_33();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_33
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
filatov's avatar
filatov committed
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Drive direction value
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .driveDirection
                 *     VALUE: measured value
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-01-34
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_34() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_34();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_34
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
filatov's avatar
filatov committed
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Yaw rate value
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .yawRate
                 *     VALUE: measured value
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-01-35
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_35() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_35();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_35
                
            } // end group camInVehicleData
            
            /**
             * @desc Check that publicTransportContainer is included if 
             *       vehicleRole is set to publicTransport(1).
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND PICS_PUBLICTRANS
filatov's avatar
filatov committed
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT’s vehicle role being set to publicTransport(1)
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             a CAM is generated
             *         }
             *         then {
             *             the IUT sends a valid CAM
             *                 containing cam
             *                     containing camParameters
             *                         containing specialVehicleContainer
             *                             containing publicTransportContainer
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-02
filatov's avatar
filatov committed
             * @reference ETSI EN 302 637-2 , Annex B.11
             */
            testcase TC_CAM_MSD_INA_BV_02() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_INA_BV_02();
filatov's avatar
filatov committed
                
            } // end TC_CAM_MSD_INA_BV_02
            
            /**
             * @desc Check that specialTransportContainer is included if 
             *       vehicleRole is set to specialTransport(2).
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND PICS_SPECIALTRANS
filatov's avatar
filatov committed
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT’s vehicle role being set to specialTransport(2)
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             a CAM is generated
             *         }
             *         then {
             *             the IUT sends a valid CAM
             *                 containing cam
             *                     containing camParameters
             *                         containing specialVehicleContainer
             *                             containing specialTransportContainer
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-03
filatov's avatar
filatov committed
             * @reference ETSI EN 302 637-2 , Annex B.12
             */
            testcase TC_CAM_MSD_INA_BV_03() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_INA_BV_03();
filatov's avatar
filatov committed
                
            } // end TC_CAM_MSD_INA_BV_03
            
            /**
             * @desc Check that dangerousGoodsContainer is included if 
             *       vehicleRole is set to dangerousGoods(3).
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND PICS_DANGEROUSGOODS
filatov's avatar
filatov committed
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT’s vehicle role being set to dangerousGoods(3)
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             a CAM is generated
             *         }
             *         then {
             *             the IUT sends a valid CAM
             *                 containing cam
             *                     containing camParameters
             *                         containing specialVehicleContainer
             *                             containing dangerousGoodsContainer
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-04
filatov's avatar
filatov committed
             * @reference ETSI EN 302 637-2 , Annex B.13
             */
            testcase TC_CAM_MSD_INA_BV_04() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_INA_BV_04();
filatov's avatar
filatov committed
                
            } // end TC_CAM_MSD_INA_BV_04
            
            /**
             * @desc Check that roadWorksContainerBasic is included if 
             *       vehicleRole is set to roadWork(4).
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND PICS_ROADWORKS
filatov's avatar
filatov committed
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT’s vehicle role being set to roadWork(4)
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             a CAM is generated
             *         }
             *         then {
             *             the IUT sends a valid CAM
             *                 containing cam
             *                     containing camParameters
             *                         containing specialVehicleContainer
             *                             containing roadWorksContainerBasic
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-05
filatov's avatar
filatov committed
             * @reference ETSI EN 302 637-2 , Annex B.14
             */
            testcase TC_CAM_MSD_INA_BV_05() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_INA_BV_05();
filatov's avatar
filatov committed
                
            } // end TC_CAM_MSD_INA_BV_05
            
            /**
             * @desc Check that rescueContainer is included if vehicleRole is 
             *       set to rescue(5).
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND PICS_RESCUE
filatov's avatar
filatov committed
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT’s vehicle role being set to rescue(5)
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             a CAM is generated
             *         }
             *         then {
             *             the IUT sends a valid CAM
             *                 containing cam
             *                     containing camParameters
             *                         containing specialVehicleContainer
             *                             containing rescueContainer
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-06
filatov's avatar
filatov committed
             * @reference ETSI EN 302 637-2 , Annex B.15
             */
            testcase TC_CAM_MSD_INA_BV_06() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_INA_BV_06();
filatov's avatar
filatov committed
                
            } // end TC_CAM_MSD_INA_BV_06
            
            /**
             * @desc Check that emergencyContainer is included if vehicleRole 
             *       is set to emergency(6).
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND PICS_EMERGENCY
filatov's avatar
filatov committed
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT’s vehicle role being set to emergency(6)
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             a CAM is generated
             *         }
             *         then {
             *             the IUT sends a valid CAM
             *                 containing cam
             *                     containing camParameters
             *                         containing specialVehicleContainer
             *                             containing emergencyContainer
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-07
filatov's avatar
filatov committed
             * @reference ETSI EN 302 637-2 , Annex B.16
             */
            testcase TC_CAM_MSD_INA_BV_07() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_INA_BV_07();
filatov's avatar
filatov committed
                
            } // end TC_CAM_MSD_INA_BV_07
            
            /**
             * @desc Check that safetyCarContainer is included if vehicleRole 
             *       is set to safetyCar(7).
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND PICS_SAFETY_CAR
filatov's avatar
filatov committed
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT’s vehicle role being set to safetyCar(7)
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             a CAM is generated
             *         }
             *         then {
             *             the IUT sends a valid CAM
             *                 containing cam
             *                     containing camParameters
             *                         containing specialVehicleContainer
             *                             containing safetyCarContainer
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/INA/BV-08
filatov's avatar
filatov committed
             * @reference ETSI EN 302 637-2 , Annex B.17
             */
            testcase TC_CAM_MSD_INA_BV_08() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_INA_BV_08();
filatov's avatar
filatov committed
                
            } // end TC_CAM_MSD_INA_BV_08
            
        } // end group camInformationAdaptation
        
        group camGenerationFrequency {
            
                /**
                 * @desc Check that CAMs are not generated more frequently than 
                 *       T_GenCamMin.
                 * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND PICS_T_GENCAMMIN
filatov's avatar
filatov committed
                 * 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 any CAM before expiry of T_GenCamMin
                 *         }
                 *     }
                 * </pre>
                 * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/GFQ/TI-01
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 6.1.3
                 */
            testcase TC_CAM_MSD_GFQ_TI_01() runs on ItsCam system ItsCamSystem {
                f_CAM_MSD_GFQ_TI_01();
            } // end TC_CAM_MSD_GFQ_TI_01
filatov's avatar
filatov committed
                    
                /**
                 * @desc Check that CAMs are not generated less frequently than 
                 *       T_GenCamMax.
                 * <pre>
                 * Pics Selection: PICS_CAM_GENERATION
filatov's avatar
filatov committed
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state"
                 *     }
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             IUT sends a CAM
                 *         }
                 *         then {
                 *             the IUT sends another CAM before expiry of T_GenCamMax
                 *         }
                 *     }
                 * </pre>
                 * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/GFQ/TI-02
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 6.1.3
                 */
            testcase TC_CAM_MSD_GFQ_TI_02() runs on ItsCam system ItsCamSystem {
                f_CAM_MSD_GFQ_TI_02();
            } // end TC_CAM_MSD_GFQ_TI_02
filatov's avatar
filatov committed
                    
            /**
             * @desc Check that TGenCam is set to T_GenCamMax after generating 
             *       N_GenCam due to condition 2.
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION
filatov's avatar
filatov committed
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT having sent a CAM at time TIME_1
             *         the IUT having sent an anticipated CAM due to condition 2 at time (TIME_1 + INTERVAL_1)
             *         the IUT having sent (N_GenCam - 1) subsequent CAMs every INTERVAL_1
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             the IUT sends CAM
             *         }
             *         then {
             *             the IUT sends another CAM after expiry of T_GenCamMax
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/GFQ/TI-03
filatov's avatar
filatov committed
             * @reference ETSI EN 302 637-2 , clause 6.1.3
             */
            testcase TC_CAM_MSD_GFQ_TI_03() runs on ItsCam system ItsCamSystem {
                f_CAM_MSD_GFQ_TI_03();
            } // end TC_CAM_MSD_GFQ_TI_03
filatov's avatar
filatov committed
                
            /**
             * @desc Check that CAM is generated immediately when the time 
             *       elapsed since the last CAM generation is equal or larger 
             *       than T_GenCam_Dcc and the absolute difference between 
             *       current direction of the originating ITS-S (towards North) 
             *       and  direction included in previous CAM exceeds 4°.
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION
filatov's avatar
filatov committed
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT having sent a CAM at time TIME_1
             *             containing cam
             *                 containing camParameters
             *                     containing highFrequencyContainer
             *                         containing basicVehicleContainerHighFrequency
             *                             containing heading set to HEADING_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(CurrentHeading – HEADING_1) > 4°
             *         }
             *         then {
             *             the IUT sends a CAM immediately
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/GFQ/BV-04
filatov's avatar
filatov committed
             * @reference ETSI EN 302 637-2 , clause 6.1.3
             */
            testcase TC_CAM_MSD_GFQ_BV_04() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_GFQ_BV_04();
filatov's avatar
filatov committed
                
            } // end TC_CAM_MSD_GFQ_BV_04
            
            /**
             * @desc Check that CAM is generated immediately when the time 
             *       elapsed since the last CAM generation is equal or larger 
             *       than T_GenCam_Dcc and the current position and position 
             *       included in previous CAM exceeds 4 m.
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION
filatov's avatar
filatov committed
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT having sent a CAM at time TIME_1
             *             containing cam
             *                 containing camParameters
             *                     containing basicContainer 
             *                         containing referencePosition set to POSITION_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 distance(CurrentPosition – POSITION_1) > 4 m
             *         }
             *         then {
             *             the IUT sends a CAM immediately
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/GFQ/BV-05
filatov's avatar
filatov committed
             * @reference ETSI EN 302 637-2 , clause 6.1.3
             */
            testcase TC_CAM_MSD_GFQ_BV_05() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_GFQ_BV_05();
filatov's avatar
filatov committed
                
            } // end TC_CAM_MSD_GFQ_BV_05
            
            /**
             * @desc Check that CAM is generated immediately when the time 
             *       elapsed since the last CAM generation is equal or larger 
             *       than T_GenCam_Dcc and the absolute difference between 
             *       current speed and speed included in previous CAM 
             *       exceeds 0,5 m/s.
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION
filatov's avatar
filatov committed
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT having sent a CAM at time TIME_1
             *             containing cam
             *                 containing camParameters
             *                     containing highFrequencyContainer
             *                         containing basicVehicleContainerHighFrequency
             *                             containing speed set to SPEED_1