ItsCam_TestCases.ttcn 93.5 KB
Newer Older
filatov's avatar
filatov committed
/**
 *    @author   ETSI / STF405 / STF449 / STF484
filatov's avatar
filatov committed
 *    @version  $URL$
 *              $Id$
 *    @desc     CAM Testcases 
filatov's avatar
filatov committed
 *
 */

module ItsCam_TestCases {
    
    // LibIts
    import from LibItsCam_TestSystem all;
    
    // Ats Its
    import from ItsCam_TpFunctions all;
filatov's avatar
filatov committed

    // 5.2.1
    group camMessageDissemination { 
        
        group camMessageFormat {
            
            /**
             * @desc Check that protocolVersion is set to 1 and messageID is 
             *       set to 2.
             * <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 {
             *             a CAM is generated 
             *         }
             *         then {
             *             the IUT sends a valid CAM
             *                 containing ITS PDU header
             *                     containing protocolVersion
             *                         indicating value 1
             *                     and containing messageID
             *                         indicating value 2
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/FMT/BV-01
filatov's avatar
filatov committed
             * @reference ETSI EN 302 637-2 , Annex B.1
             */
            testcase TC_CAM_MSD_FMT_BV_01() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_FMT_BV_01();
filatov's avatar
filatov committed
                
            } // end TC_CAM_MSD_FMT_BV_01
            
            /**
             * @desc Check that LF container is included in 1st CAM since CA 
             *       basic service activation.
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND NOT PIC_RSU
filatov's avatar
filatov committed
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         and the IUT has not sent any CAM yet
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             a CAM is generated 
             *         }
             *         then {
             *             the IUT sends a valid CAM
             *                 containing cam
             *                     containing camParameters
             *                         containing lowFrequencyContainer
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/FMT/BV-02
filatov's avatar
filatov committed
             * @reference ETSI EN 302 637-2 , clause 6.1.3
             */
            testcase TC_CAM_MSD_FMT_BV_02() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_FMT_BV_02();
filatov's avatar
filatov committed
                
            } // end TC_CAM_MSD_FMT_BV_02
            
            /**
             * @desc Check that LF container is included if time elapsed since 
             *       the generation of the last CAM with the low frequency 
             *       container generation is equal or larger than 500 ms.
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND NOT PIC_RSU
filatov's avatar
filatov committed
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         and the IUT has sent a CAM
             *             containing cam
             *                 containing camParameters
             *                     containing lowFrequencyContainer at time TIME_1
             *         and the IUT has not sent CAM
             *             containing cam
             *                 containing camParameters
             *                     containing lowFrequencyContainer after TIME_1
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             a CAM is generated at time TIME_2 >= (TIME_1 + 500ms)
             *         }
             *         then {
             *             the IUT sends a valid CAM
             *                 containing cam
             *                     containing camParameters
             *                         containing lowFrequencyContainer
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/FMT/BV-03
filatov's avatar
filatov committed
             * @reference ETSI EN 302 637-2 , clause 6.1.3
             */
            testcase TC_CAM_MSD_FMT_BV_03() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_FMT_BV_03();
filatov's avatar
filatov committed
                
            } // end TC_CAM_MSD_FMT_BV_03
            
            /**
             * @desc Check that specialVehicle container is included in 1st CAM 
             *       since CA basic service activation.
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND PICS_SPECIALVEHICLECONTAINER AND NOT PIC_RSU
filatov's avatar
filatov committed
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         and the IUT is configured to advertise itself as a special vehicle
             *         and the IUT has not sent any CAM yet
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             a CAM is generated
             *         }
             *         then {
             *             the IUT sends a valid CAM
             *                 containing cam
             *                     containing camParameters
             *                         containing specialVehicleContainer
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/FMT/BV-04
filatov's avatar
filatov committed
             * @reference ETSI EN 302 637-2 , clause 6.1.3
             */
            testcase TC_CAM_MSD_FMT_BV_04() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_FMT_BV_04();
filatov's avatar
filatov committed
                
            } // end TC_CAM_MSD_FMT_BV_04
            
            /**
             * @desc Check that specialVehicle container is included if time 
             *       elapsed since the generation of the last CAM with the 
             *       special vehicle container generation is equal or larger 
             *       than 500 ms.
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND PICS_SPECIALVEHICLECONTAINER AND NOT PIC_RSU
filatov's avatar
filatov committed
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         and the IUT has sent a CAM
             *             containing cam
             *                 containing camParameters
             *                     containing specialVehicleContainer at time TIME_1
             *         and the IUT has not sent CAM
             *             containing cam
             *                 containing camParameters
             *                     containing specialVehicleContainer after TIME_1
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             a CAM is generated at time TIME_2 >= (TIME_1 + 500ms)
             *         }
             *         then {
             *             the IUT sends a valid CAM
             *                 containing cam
             *                     containing camParameters
             *                         containing specialVehicleContainer
             *         }
             *     }
             * </pre>
             * 
             * @see       ETSI TS 102 868-2 TP/CAM/MSD/FMT/BV-05
filatov's avatar
filatov committed
             * @reference ETSI EN 302 637-2 , clause 6.1.3
             */
            testcase TC_CAM_MSD_FMT_BV_05() runs on ItsCam system ItsCamSystem {
                
                f_CAM_MSD_FMT_BV_05();
filatov's avatar
filatov committed
                
            } // end TC_CAM_MSD_FMT_BV_05
            
        } // end group camMessageFormat
        
        group camInformationAdaptation {
            
            group camInVehicleData {
                
                /**
                 * @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:  Curvature value
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .curvature
                 *     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
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_01() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_01();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_01
                
                /**
                 * @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:  Brake pedal being activated
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .accelerationControl
                 *                .brakePedalActive
                 *     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-02
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_02() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_02();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_02
                
                /**
                 * @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:  Brake pedal being deactivated
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .accelerationControl
                 *                .brakePedalActive
                 *     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-03
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_03() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_03();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_03
                
                /**
                 * @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: Gas pedal being activated
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .accelerationControl
                 *                .gasPedalActive
                 *     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-04
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_04() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_04();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_04
                
                /**
                 * @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: Gas pedal being deactivated
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .accelerationControl
                 *                .gasPedalActive
                 *     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-05
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_05() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_05();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_05
                
                /**
                 * @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: Emergency brake being activated
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .accelerationControl
                 *                .emergencyBrakeActive
                 *     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-06
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_06() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_06();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_06
                
                /**
                 * @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: Emergency brake being deactivated
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .accelerationControl
                 *                .emergencyBrakeActive
                 *     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-07
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_07() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_07();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_07
                
                /**
                 * @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: Collision warning being activated
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .accelerationControl
                 *                .collisionWarningActive
                 *     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-08
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_08() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_08();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_08
                
                /**
                 * @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: Collision warning being deactivated
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .accelerationControl
                 *                .collisionWarningActive
                 *     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-09
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_09() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_09();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_09
                
                /**
                 * @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: ACC being activated
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .accelerationControl
                 *                .accActive
                 *     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-10
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_10() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_10();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_10
                
                /**
                 * @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: ACC being deactivated
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .accelerationControl
                 *                .accActive
                 *     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-11
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_11() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_11();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_11
                
                /**
                 * @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: Cruise control being activated
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .accelerationControl
                 *                .cruiseControl
                 *     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-12
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_12() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_12();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_12
                
                /**
                 * @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: Cruise control being deactivated
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .accelerationControl
                 *                .cruiseControl
                 *     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-13
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_13() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_13();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_13
                
                /**
                 * @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 limiter being activated
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .accelerationControl
                 *                .speedLimiterActive
                 *     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-14
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_14() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_14();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_14
                
                /**
                 * @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 limiter control being deactivated
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .accelerationControl
                 *                .speedLimiterActive
                 *     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-15
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_15() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_15();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_15
                
                /**
                 * @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: Low beam headlights being activated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .lowBeamHeadlightsOn
                 *     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-16
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_16() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_16();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_16
                
                /**
                 * @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: Low beam headlights being deactivated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .lowBeamHeadlightsOn
                 *     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-17
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_17() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_17();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_17
                
                /**
                 * @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: High beam headlights being activated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .highBeamHeadlightsOn
                 *     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-18
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_18() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_18();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_18
                
                /**
                 * @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: High beam headlights being deactivated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .highBeamHeadlightsOn
                 *     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-19
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_19() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_19();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_19
                
                /**
                 * @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: Left turn signal being activated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .leftTurnSignalOn
                 *     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-20
filatov's avatar
filatov committed
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_20() runs on ItsCam system ItsCamSystem {
                    
                    f_CAM_MSD_INA_BV_01_20();
filatov's avatar
filatov committed
                    
                } // end TC_CAM_MSD_INA_BV_01_20
                
                /**
                 * @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: Left turn signal being deactivated